1.

電子ブック
ＥＢ
1. From Lambda Calculus to Cybersecurity Through Program Analysis : Essays Dedicated to Chris Hankin on the Occasion of His Retirement. 1st ed. 2020
edited by Alessandra Di Pierro, Pasquale Malacaria, Rajagopal Nagarajan
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12065
オンライン: https://doi.org/10.1007/978-3-030-41103-9
2.

電子ブック
ＥＢ
2. Algorithms and Architectures for Parallel Processing : 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2–4, 2020, Proceedings, Part III. 1st ed. 2020
edited by Meikang Qiu
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12454
オンライン: https://doi.org/10.1007/978-3-030-60248-2
3.

電子ブック
ＥＢ
3. Methods and Models in Mathematical Programming. 1st ed. 2019
by S. A. MirHassani, F. Hooshmand
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2019
オンライン: https://doi.org/10.1007/978-3-030-27045-2
4.

電子ブック
ＥＢ
4. 27th International Meshing Roundtable. 1st ed. 2019
edited by Xevi Roca, Adrien Loseille
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2019
シリーズ名: Lecture Notes in Computational Science and Engineering ; 127
オンライン: https://doi.org/10.1007/978-3-030-13992-6
5.

電子ブック
ＥＢ
5. Open Problems in Optimization and Data Analysis. 1st ed. 2018
edited by Panos M. Pardalos, Athanasios Migdalas
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2018
シリーズ名: Springer Optimization and Its Applications ; 141
オンライン: https://doi.org/10.1007/978-3-319-99142-9
6.

電子ブック
ＥＢ
6. Multiple Criteria Decision Aid : Methods, Examples and Python Implementations. 1st ed. 2018
by Jason Papathanasiou, Nikolaos Ploskas
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2018
シリーズ名: Springer Optimization and Its Applications ; 136
オンライン: https://doi.org/10.1007/978-3-319-91648-4
7.

電子ブック
ＥＢ
7. Software Reliability Modeling : Fundamentals and Applications
by Shigeru Yamada
出版情報: Tokyo : Springer Japan : Imprint: Springer, 2014
シリーズ名: SpringerBriefs in Statistics ;
オンライン: http://dx.doi.org/10.1007/978-4-431-54565-1
8.

電子ブック
ＥＢ
8. Foundational Java : Key Elements and Practical Programming. 1st ed. 2012
by David Parsons
出版情報: London : Springer London : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4471-2479-5
9.

電子ブック
ＥＢ
9. Game Theory for Networks : 2nd International ICST Conference, GameNets 2011, Shanghai, China, April 11-18, 2011, Revised Selected Papers. 1st ed. 2012
edited by RAHUL JAIN, Rajgopal Kannan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 75
オンライン: https://doi.org/10.1007/978-3-642-30373-9
10.

電子ブック
ＥＢ
10. Mobile Multimedia Communications : 7th International ICST Conference, MOBIMEDIA 2011, Calgari, Italy, September 5-7, 2011, Revised Selected Papers. 1st ed. 2012
edited by Luigi Atzori, Jaime Delgado, Daniel Giusto
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 79
オンライン: https://doi.org/10.1007/978-3-642-30419-4