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
11.

電子ブック
ＥＢ
11. Networked Digital Technologies : 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012. Proceedings, Part I. 1st ed. 2012
edited by Rachid Benlamri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 293
オンライン: https://doi.org/10.1007/978-3-642-30507-8
12.

電子ブック
ＥＢ
12. Uncertainty Quantification in Scientific Computing : 10th IFIP WG 2.5 Working Conference, WoCoUQ 2011, Boulder, CO, USA, August 1-4, 2011, Revised Selected Papers. 1st ed. 2012
edited by Andrew Dienstfrey, Ronald Boisvert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 377
オンライン: https://doi.org/10.1007/978-3-642-32677-6
13.

電子ブック
ＥＢ
13. Achieving Systems Safety : Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012. 1st ed. 2012
edited by Chris Dale, Tom Anderson
出版情報: London : Springer London : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4471-2494-8
14.

電子ブック
ＥＢ
14. Systems, Software and Services Process Improvement : 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings. 1st ed. 2012
edited by Dietmar Winkler, Rory V. O’Connor, Richard Messnarz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 301
オンライン: https://doi.org/10.1007/978-3-642-31199-4
15.

電子ブック
ＥＢ
15. Advances in Information Technology : 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012, Proceedings. 1st ed. 2012
edited by Borworn Papasratorn, Nipon Charoenkitkarn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 344
オンライン: https://doi.org/10.1007/978-3-642-35076-4
16.

電子ブック
ＥＢ
16. Testbeds and Research Infrastructure: Development of Networks and Communities : 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers. 1st ed. 2012
edited by Thanasis Korakis, Michael Zink, Maximilian Ott
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 44
オンライン: https://doi.org/10.1007/978-3-642-35576-9
17.

電子ブック
ＥＢ
17. Mobile and Ubiquitous Systems : 7th International ICST Conference, MobiQuitous 2010, Sydney, Australia, December 6-9, 2010, Revised Selected Papers. 1st ed. 2012
edited by Patrick Sénac, Max Ott, Aruna Seneviratne
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 73
オンライン: https://doi.org/10.1007/978-3-642-29154-8
18.

電子ブック
ＥＢ
18. Software and Systems Traceability. 1st ed. 2012
edited by Jane Huang, Orlena Gotel, Andrea Zisman
出版情報: London : Springer London : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4471-2239-5
19.

電子ブック
ＥＢ
19. Guide to Scientific Computing in C++. 1st ed. 2012
by Joe Pitt-Francis, Jonathan Whiteley
出版情報: London : Springer London : Imprint: Springer, 2012
シリーズ名: Undergraduate Topics in Computer Science ;
オンライン: https://doi.org/10.1007/978-1-4471-2736-9
20.

電子ブック
ＥＢ
20. Testbeds and Research Infrastructure: Development of Networks and Communities : 7th International ICST Conference, TridentCom 2011, Shanghai, China, April 17-19, 2011, Revised Selected Papers. 1st ed. 2012
edited by Thanasis Korakis, Hongbin Li, Phuoc Tran-Gia, Hong-Shik Park
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 90
オンライン: https://doi.org/10.1007/978-3-642-29273-6
21.

電子ブック
ＥＢ
21. Enterprise, Business-Process and Information Systems Modeling : 13th International Conference, BPMDS 2012, 17th International Conference, EMMSAD 2012, and 5th EuroSymposium, held at CAiSE 2012, Gdańsk, Poland, June 25-26, 2012, Proceedings. 1st ed. 2012
edited by Ilia Bider, Terry Halpin, John Krogstie, Selmin Nurcan, Erik Proper, Rainer Schmidt, Pnina Soffer, Stanislaw Wrycza
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 113
オンライン: https://doi.org/10.1007/978-3-642-31072-0
22.

電子ブック
ＥＢ
22. Computer Science and its Applications : CSA 2012. 1st ed. 2012
edited by Sang-Soo Yeo, Yi Pan, Yang Sun Lee, Hang Bae Chang
出版情報: Dordrecht : Springer Netherlands : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Electrical Engineering ; 203
オンライン: https://doi.org/10.1007/978-94-007-5699-1
23.

電子ブック
ＥＢ
23. Mobile Wireless Middleware, Operating Systems, and Applications : 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers. 1st ed. 2012
edited by Nalini Venkatasubramanian, Vladimir Getov, Stephan Steglich
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 93
オンライン: https://doi.org/10.1007/978-3-642-30607-5
24.

電子ブック
ＥＢ
24. VLSI-SoC: Forward-Looking Trends in IC and Systems Design : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers. 1st ed. 2012
edited by Jose L. Ayala, David Atienza Alonso, Ricardo Reis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 373
オンライン: https://doi.org/10.1007/978-3-642-28566-0
25.

電子ブック
ＥＢ
25. IS Olympics: Information Systems in a Diverse World : CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers. 1st ed. 2012
edited by Selmin Nurcan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 107
オンライン: https://doi.org/10.1007/978-3-642-29749-6
26.

電子ブック
ＥＢ
26. Exploring Services Science : Third International Conference, IESS 2012, Geneva, Switzerland, February 15-17, 2012, Proceedings. 1st ed. 2012
edited by Mehdi Snene
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 103
オンライン: https://doi.org/10.1007/978-3-642-28227-0
27.

電子ブック
ＥＢ
27. Green and Smart Technology with Sensor Applications : International Conferences, GST and SIA 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings. 1st ed. 2012
edited by Hyun-seob Cho, Tai-hoon Kim, Sabah Mohammed, Hojjat Adeli, Myoung-kwan Oh, Keun-Wang Lee
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 338
オンライン: https://doi.org/10.1007/978-3-642-35251-5
28.

電子ブック
ＥＢ
28. Mobile Networks and Management : Third International ICST Conference, MONAMI 2011, Aveiro, Portugal, September 21-23, 2011, Revised Selected Papers. 1st ed. 2012
edited by Kostas Pentikousis, Rui L. Aguiar, Susana Sargento, Ramón Agüero
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 97
オンライン: https://doi.org/10.1007/978-3-642-30422-4
29.

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

電子ブック
ＥＢ
30. Introduction to Programming with Fortran : With Coverage of Fortran 90, 95, 2003, 2008 and 77. 2nd ed. 2012
by Ian Chivers, Jane Sleightholme
出版情報: London : Springer London : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-0-85729-233-9
31.

電子ブック
ＥＢ
31. Networked Digital Technologies, Part II : 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012. Proceedings, Part II. 1st ed. 2012
edited by Rachid Benlamri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 294
オンライン: https://doi.org/10.1007/978-3-642-30567-2
32.

電子ブック
ＥＢ
32. Enterprise Information Systems : 13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised Selected Papers. 1st ed. 2012
edited by Runtong Zhang, Juliang Zhang, Zhenji Zhang, Joaquim Filipe, José Cordeiro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 102
オンライン: https://doi.org/10.1007/978-3-642-29958-2
33.

電子ブック
ＥＢ
33. The Correctness-by-Construction Approach to Programming. 1st ed. 2012
by Derrick G. Kourie, Bruce W. Watson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-27919-5
34.

電子ブック
ＥＢ
34. Computer Applications for Software Engineering, Disaster Recovery, and Business Continuity : International Conferences, ASEA and DRBC 2012, Held in Conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012. Proceedings. 1st ed. 2012
edited by Tai-hoon Kim, Carlos Ramos, Haeng-kon Kim, Akingbehin Kiumi, Sabah Mohammed, Dominik Slezak
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 340
オンライン: https://doi.org/10.1007/978-3-642-35267-6
35.

電子ブック
ＥＢ
35. Bio-Inspired Models of Network, Information, and Computing Systems : 5th International ICST Conference, BIONETICS 2010, Boston. 1st ed. 2012
edited by Junichi Suzuki, Tadashi Nakano
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 87
オンライン: https://doi.org/10.1007/978-3-642-32615-8
36.

電子ブック
ＥＢ
36. Enterprise Interoperability : 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012, Proceedings. 1st ed. 2012
edited by Marten van Sinderen, Pontus Johnson, Xiaofei Xu, Guy Doumeingts
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 122
オンライン: https://doi.org/10.1007/978-3-642-33068-1
37.

電子ブック
ＥＢ
37. Broadband Communications, Networks and Systems : 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25-27, 2010, Revised Selected Papers. 1st ed. 2012
edited by Ioannis Tomkos, Georgios Ellinas, Prasun Sinha
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 66
オンライン: https://doi.org/10.1007/978-3-642-30376-0
38.

電子ブック
ＥＢ
38. Business Process Management : Concepts, Languages, Architectures. 2nd ed. 2012
by Mathias Weske
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-28616-2
39.

電子ブック
ＥＢ
39. Semantic Web Services : Advancement through Evaluation. 1st ed. 2012
edited by Brian Blake, Liliana Cabral, Birgitta König-Ries, Ulrich Küster, David Martin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-28735-0
40.

電子ブック
ＥＢ
40. Computer and Computing Technologies in Agriculture : 5th IFIP TC 5, SIG 5.1 International Conference, CCTA 2011, Beijing, China, October 29-31, 2011, Proceedings, Part II. 1st ed. 2012
edited by Daoliang Li, Yingyi Chen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 369
オンライン: https://doi.org/10.1007/978-3-642-27278-3
41.

電子ブック
ＥＢ
41. Quality, Reliability, Security and Robustness in Heterogeneous Networks : 7th International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness, QShine 2010, and Dedicated Short Range Communications Workshop, DSRC 2010, Huston, TX, USA, November 17-19, 2010, Revised Selected Papers. 1st ed. 2012
edited by Xi Zhang, Daji Qiao
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 74
オンライン: https://doi.org/10.1007/978-3-642-29222-4
42.

電子ブック
ＥＢ
42. Signal Processing and Information Technology : First International Joint Conference, SPIT 2011, Amsterdam, The Netherlands, December 1-2, 2011, Revised Selected Papers. 1st ed. 2012
edited by Vinu V Das, Ezendu Ariwa, Syarifah Bahiyah Rahayu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 62
オンライン: https://doi.org/10.1007/978-3-642-32573-1
43.

電子ブック
ＥＢ
43. Collaborative Networks in the Internet of Services : 13th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2012, Bournemouth, UK, October 1-3, 2012, Proceedings. 1st ed. 2012
edited by Luis M. Camarinha-Matos, Lai Xu, Hamideh Afsarmanesh
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 380
オンライン: https://doi.org/10.1007/978-3-642-32775-9
44.

電子ブック
ＥＢ
44. Advances in Computer Science and Information Technology. Computer Science and Engineering : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part II. 1st ed. 2012
edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 85
オンライン: https://doi.org/10.1007/978-3-642-27308-7
45.

電子ブック
ＥＢ
45. S-BPM ONE - Scientific Research : 4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012, Proceedings. 1st ed. 2012
edited by Christian Stary
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 104
オンライン: https://doi.org/10.1007/978-3-642-29133-3
46.

電子ブック
ＥＢ
46. Doing Design Ethnography. 1st ed. 2012
by Andrew Crabtree, Mark Rouncefield, Peter Tolmie
出版情報: London : Springer London : Imprint: Springer, 2012
シリーズ名: Human–Computer Interaction Series ;
オンライン: https://doi.org/10.1007/978-1-4471-2726-0
47.

電子ブック
ＥＢ
47. Using Microsoft Dynamics AX 2012. 2nd ed. 2012
by Andreas Luszczak
出版情報: Wiesbaden : Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag, 2012
オンライン: https://doi.org/10.1007/978-3-8348-2191-1
48.

電子ブック
ＥＢ
48. Business Modeling and Software Design : First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers. 1st ed. 2012
edited by Boris Shishkov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 109
オンライン: https://doi.org/10.1007/978-3-642-29788-5
49.

電子ブック
ＥＢ
49. Protocol Engineering. 1st ed. 2012
by Hartmut König
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-29145-6
50.

電子ブック
ＥＢ
50. Computer Applications for Communication, Networking, and Digital Contents : International Conferences, FGCN and DCA 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings. 1st ed. 2012
edited by Tai-hoon Kim, Dae-sik Ko, Thanos Vasilakos, Adrian Stoica, Jemal Abawajy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 350
オンライン: https://doi.org/10.1007/978-3-642-35594-3