1.

電子ブック
ＥＢ
1. Learning and Intelligent Optimization : 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers. 1st ed. 2020
edited by Nikolaos F. Matsatsinis, Yannis Marinakis, Panos Pardalos
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 11968
オンライン: https://doi.org/10.1007/978-3-030-38629-0
2.

電子ブック
ＥＢ
2. 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
3.

電子ブック
ＥＢ
3. Learning and Intelligent Optimization : 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers. 1st ed. 2020
edited by Ilias S. Kotsireas, Panos M. Pardalos
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12096
オンライン: https://doi.org/10.1007/978-3-030-53552-0
4.

電子ブック
ＥＢ
4. Security and Privacy in Mobile Information and Communication Systems : 4th International Conference, MobiSec 2012, Frankfurt am Main, Germany, June 25-26, 2012, Pevised Selected Papers. 1st ed. 2012
edited by Andreas U. Schmidt, Giovanni Russello, Iovannis Krontiris, Shiguro Lian
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 107
オンライン: https://doi.org/10.1007/978-3-642-33392-7
5.

電子ブック
ＥＢ
5. Guide to Software Development : Designing and Managing the Life Cycle. 1st ed. 2012
by Arthur M. Langer
出版情報: London : Springer London : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4471-2300-2
6.

電子ブック
ＥＢ
6. Reflections on the History of Computing : Preserving Memories and Sharing Stories. 1st ed. 2012
edited by Arthur Tatnall
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP AICT Surveys ;
オンライン: https://doi.org/10.1007/978-3-642-33899-1
7.

電子ブック
ＥＢ
7. Guide to Reliable Distributed Systems : Building High-Assurance Applications and Cloud-Hosted Services. 1st ed. 2012
by Kenneth P Birman
出版情報: London : Springer London : Imprint: Springer, 2012
シリーズ名: Texts in Computer Science ;
オンライン: https://doi.org/10.1007/978-1-4471-2416-0
8.

電子ブック
ＥＢ
8. VLSI-SoC: The Advanced Research for Systems on Chip : 19th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2011, Hong Kong, China, October 3-5, 2011, Revised Selected Papers. 1st ed. 2012
edited by Salvador Mir, Chi-Ying Tsui, Ricardo Reis, Oliver C.S. Choy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 379
オンライン: https://doi.org/10.1007/978-3-642-32770-4
9.

電子ブック
ＥＢ
9. E-Business and Telecommunications : International Joint Conference, ICETE 2011, Seville, Spain, July 18-21, 2011. Revised Selected Papers. 1st ed. 2012
edited by Mohammad S. Obaidat, José L. Sevillano, Joaquim Filipe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 314
オンライン: https://doi.org/10.1007/978-3-642-35755-8
10.

電子ブック
ＥＢ
10. Digital Forensics and Cyber Crime : Third International ICST Conference, ICDF2C 2011, Dublin, Ireland, October 26-28, 2011, Revised Selected Papers. 1st ed. 2012
edited by Pavel Gladyshev, Marcus K. Rogers
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 88
オンライン: https://doi.org/10.1007/978-3-642-35515-8