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

電子ブック
ＥＢ
51. Computer Networks : 19th International Conference, CN 2012, Szczyrk, Poland, June 19-23, 2012. Proceedings. 1st ed. 2012
edited by Andrzej Kwiecien, Piotr Gaj, Piotr Stera
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 291
オンライン: https://doi.org/10.1007/978-3-642-31217-5
52.

電子ブック
ＥＢ
52. Web Information Systems and Technologies : 7th International Conference, WEBIST 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised Selected Papers. 1st ed. 2012
edited by Joaquim Filipe, José Cordeiro
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 101
オンライン: https://doi.org/10.1007/978-3-642-28082-5
53.

電子ブック
ＥＢ
53. Business Process Management Workshops : BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II. 1st ed. 2012
edited by Florian Daniel, Kamel Barkaoui, Schahram Dustdar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 100
オンライン: https://doi.org/10.1007/978-3-642-28115-0
54.

電子ブック
ＥＢ
54. Information and Software Technologies : 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings. 1st ed. 2012
edited by Tomas Skersys, Rimantas Butleris, Rita Butkiene
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 319
オンライン: https://doi.org/10.1007/978-3-642-33308-8
55.

電子ブック
ＥＢ
55. The Design of Cloud Workflow Systems. 1st ed. 2012
by Xiao Liu, Dong Yuan, Gaofeng Zhang, Wenhao Li, Dahai Cao, Qiang He, Jinjun Chen, Yun Yang
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Computer Science ;
オンライン: https://doi.org/10.1007/978-1-4614-1933-4
56.

電子ブック
ＥＢ
56. Resilience Assessment and Evaluation of Computing Systems. 1st ed. 2012
edited by Katinka Wolter, Alberto Avritzer, Marco Vieira, Aad van Moorsel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-29032-9
57.

電子ブック
ＥＢ
57. Business Process Management Workshops : BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I. 1st ed. 2012
edited by Florian Daniel, Kamel Barkaoui, Schahram Dustdar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 99
オンライン: https://doi.org/10.1007/978-3-642-28108-2
58.

電子ブック
ＥＢ
58. Experimentation in Software Engineering. 1st ed. 2012
by Claes Wohlin, Per Runeson, Martin Höst, Magnus C. Ohlsson, Björn Regnell, Anders Wesslén
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-29044-2
59.

電子ブック
ＥＢ
59. Advances in Computer Science and Information Technology. Networks and Communications : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part I. 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 ; 84
オンライン: https://doi.org/10.1007/978-3-642-27299-8
60.

電子ブック
ＥＢ
60. Foundations of Algebraic Specification and Formal Software Development. 1st ed. 2012
by Donald Sannella, Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Monographs in Theoretical Computer Science. An EATCS Series ;
オンライン: https://doi.org/10.1007/978-3-642-17336-3
61.

電子ブック
ＥＢ
61. Patterns, Programming and Everything. 1st ed. 2012
edited by Karin K. Breitman, R. Nigel Horspool
出版情報: London : Springer London : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4471-2350-7
62.

電子ブック
ＥＢ
62. Virtual and Networked Organizations, Emergent Technologies and Tools : First International Conference, ViNOrg 2011, Ofir, Portugal, July 6-8, 2011. Revised Selected Papers. 1st ed. 2012
edited by Goran D. Putnik, Maria Manuela Cruz-Cunha
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 248
オンライン: https://doi.org/10.1007/978-3-642-31800-9
63.

電子ブック
ＥＢ
63. Computer Applications for Graphics, Grid Computing, and Industrial Environment : International Conferences, GDC, IESH and CGAG 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, Hyun-seob Cho, Osvaldo Gervasi, Stephen S. Yau
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 351
オンライン: https://doi.org/10.1007/978-3-642-35600-1
64.

電子ブック
ＥＢ
64. Agile Processes in Software Engineering and Extreme Programming : 13th International Conference, XP 2012, Malmö, Sweden, May 21-25, 2012, Proceedings. 1st ed. 2012
edited by Claes Wohlin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 111
オンライン: https://doi.org/10.1007/978-3-642-30350-0
65.

電子ブック
ＥＢ
65. Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers. 1st ed. 2012
edited by Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 336
オンライン: https://doi.org/10.1007/978-3-642-34781-8
66.

電子ブック
ＥＢ
66. Software Process Definition and Management. 1st ed. 2012
by Jürgen Münch, Ove Armbrust, Martin Kowalczyk, Martín Soto
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: The Fraunhofer IESE Series on Software and Systems Engineering ;
オンライン: https://doi.org/10.1007/978-3-642-24291-5
67.

電子ブック
ＥＢ
67. Open Source Systems: Long-Term Sustainability : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012, Proceedings. 1st ed. 2012
edited by Imed Hammouda, Björn Lundell, Tommi Mikkonen, Walt Scacchi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 378
オンライン: https://doi.org/10.1007/978-3-642-33442-9
68.

電子ブック
ＥＢ
68. Practical Aspects of Design Science : European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers. 1st ed. 2012
edited by Markus Helfert, Brian Donnellan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 286
オンライン: https://doi.org/10.1007/978-3-642-33681-2
69.

電子ブック
ＥＢ
69. Computer Applications for Modeling, Simulation, and Automobile : International Conferences, MAS and ASNT 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, Jemal Abawajy, Byeong-Ho Kang, Dominik Slezak, Hojjat Adeli
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 341
オンライン: https://doi.org/10.1007/978-3-642-35248-5
70.

電子ブック
ＥＢ
70. Convergence and Hybrid Information Technology : 6th International Conference, ICHIT 2012, Daejeon, Korea, August 23-25, 2012. Proceedings. 1st ed. 2012
edited by Geuk Lee, Daniel Howard, Dominik Slezak, You Sik Hong
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 310
オンライン: https://doi.org/10.1007/978-3-642-32692-9
71.

電子ブック
ＥＢ
71. Information Systems, Technology and Management : 6th International Conference, ICISTM 2012, Grenoble, France, March 28-30. Proceedings. 1st ed. 2012
edited by Sumeet Dua, Aryya Gangopadhyay, P. Thulasiraman, Umberto Straccia, Michael Shepherd, Benno Stein
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 285
オンライン: https://doi.org/10.1007/978-3-642-29166-1
72.

電子ブック
ＥＢ
72. Mobile Lightweight Wireless Systems : Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers. 1st ed. 2012
edited by Javier Del Ser, Eduard Axel Jorswieck, Joaquin Miguez, Marja Matinmikko, Daniel P Palomar, Sancho Salcedo Sanz, Sergio Gil-Lopez
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 81
オンライン: https://doi.org/10.1007/978-3-642-29479-2
73.

電子ブック
ＥＢ
73. Software Quality : 4th International Conference, SWQD 2012, Vienna, Austria, January 17-19, 2012, Proceedings. 1st ed. 2012
edited by Stefan Biffl, Dietmar Winkler, Johannes Bergsmann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 94
オンライン: https://doi.org/10.1007/978-3-642-27213-4
74.

電子ブック
ＥＢ
74. Advances in Computer Science and Information Technology. Computer Science and Information Technology : Second International Conference, CCSIT 2012, Bangalore, India, January 2-4, 2012. Proceedings, Part III. 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 ; 86
オンライン: https://doi.org/10.1007/978-3-642-27317-9
75.

電子ブック
ＥＢ
75. Software Business : Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012, Proceedings. 1st ed. 2012
edited by Michael A. Cusumano, Bala Iyer, N. Venkatraman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 114
オンライン: https://doi.org/10.1007/978-3-642-30746-1
76.

電子ブック
ＥＢ
76. Software Process Improvement and Capability Determination : 12th International Conference, SPICE 2012, Palma de Mallorca, Spain, May 29-31, 2012. Proceedings. 1st ed. 2012
edited by Antonia Mas, Antoni Mesquida, Terry Rout, Rory V. O’Connor, Alec Dorling
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 290
オンライン: https://doi.org/10.1007/978-3-642-30439-2
77.

電子ブック
ＥＢ
77. Agile Management : Leadership in an Agile Environment. 1st ed. 2012
by Ángel Medinilla
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-28909-5
78.

電子ブック
ＥＢ
78. Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes. 1st ed. 2012
by Christian Storm
出版情報: Wiesbaden : Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag, 2012
オンライン: https://doi.org/10.1007/978-3-8348-2381-6
79.

電子ブック
ＥＢ
79. Mobile Computing, Applications, and Services : Third International Conference, MobiCASE 2011, Los Angeles, CA, USA, October 24-27, 2011. Revised Selected Papers. 1st ed. 2012
edited by Joy Zhang, Jarek Wilkiewicz, Ani Nahapetian
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 95
オンライン: https://doi.org/10.1007/978-3-642-32320-1
80.

電子ブック
ＥＢ
80. 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 III. 1st ed. 2012
edited by Daoliang Li, Yingyi Chen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 370
オンライン: https://doi.org/10.1007/978-3-642-27275-2
81.

電子ブック
ＥＢ
81. The Dynamics of Global Sourcing: Perspectives and Practices : 6th Global Sourcing Workshop 2012, Courchevel, France, March 12-15, 2012, Revised Selected Papers. 1st ed. 2012
edited by Julia Kotlarsky, Ilan Oshri, Leslie P. Willcocks
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 130
オンライン: https://doi.org/10.1007/978-3-642-33920-2
82.

電子ブック
ＥＢ
82. Technological Innovation for Value Creation : Third IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012, Proceedings. 1st ed. 2012
edited by Luis M. Camarinha-Matos, Ehsan Shahamatnia, Gonçalo Nunes
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 372
オンライン: https://doi.org/10.1007/978-3-642-28255-3
83.

電子ブック
ＥＢ
83. 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 I. 1st ed. 2012
edited by Daoliang Li, Yingyi Chen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 368
オンライン: https://doi.org/10.1007/978-3-642-27281-3
84.

電子ブック
ＥＢ
84. Software Testing in the Cloud : Migration and Execution. 1st ed. 2012
by Scott Tilley, Tauhida Parveen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Computer Science ;
オンライン: https://doi.org/10.1007/978-3-642-32122-1
85.

電子ブック
ＥＢ
85. Computer Applications for Database, Education and Ubiquitous Computing : International Conferences, EL, DTA and UNESST 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, Jianhua Ma, Wai-chi Fang, Yanchun Zhang, Alfredo Cuzzocrea
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 352
オンライン: https://doi.org/10.1007/978-3-642-35603-2
86.

電子ブック
ＥＢ
86. Model-Based Engineering of Embedded Systems : The SPES 2020 Methodology. 1st ed. 2012
edited by Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-34614-9
87.

電子ブック
ＥＢ
87. Advanced Information Systems Engineering Workshops : CAiSE 2012 International Workshops, Gdańsk, Poland, June 25-26, 2012, Proceedings. 1st ed. 2012
edited by Marko Bajec, Johann Eder
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Business Information Processing ; 112
オンライン: https://doi.org/10.1007/978-3-642-31069-0
88.

電子ブック
ＥＢ
88. Product Lifecycle Management: Towards Knowledge-Rich Enterprises : IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers. 1st ed. 2012
edited by Louis Rivest, Abdelaziz Bouras, Borhen Louhichi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: IFIP Advances in Information and Communication Technology ; 388
オンライン: https://doi.org/10.1007/978-3-642-35758-9
89.

電子ブック
ＥＢ
89. Mobile and Ubiquitous Systems: Computing, Networking, and Services : 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers. 1st ed. 2012
edited by Alessandro Puiatti, Tao Gu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 104
オンライン: https://doi.org/10.1007/978-3-642-30973-1
90.

電子ブック
ＥＢ
90. Operational Semantics and Verification of Security Protocols. 1st ed. 2012
by Cas Cremers, Sjouke Mauw
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Information Security and Cryptography ;
オンライン: https://doi.org/10.1007/978-3-540-78636-8
91.

電子ブック
ＥＢ
91. Automated Configuration Problem Solving. 1st ed. 2012
by Charles J. Petrie
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Computer Science ;
オンライン: https://doi.org/10.1007/978-1-4614-4532-6
92.

電子ブック
ＥＢ
92. Mobile Computing, Applications, and Services : Second International ICST Conference, MOBICASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers. 1st ed. 2012
edited by Martin Griss, Guang Yang
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 76
オンライン: https://doi.org/10.1007/978-3-642-29336-8
93.

電子ブック
ＥＢ
93. On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages. 1st ed. 2012
by Brian Henderson-Sellers
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Computer Science ;
オンライン: https://doi.org/10.1007/978-3-642-29825-7
94.

電子ブック
ＥＢ
94. Enterprise Interoperability V : Shaping Enterprise Interoperability in the Future Internet. 1st ed. 2012
edited by Raúl Poler, Guy Doumeingts, Bernhard Katzy, Ricardo Chalmeta
出版情報: London : Springer London : Imprint: Springer, 2012
シリーズ名: Proceedings of the I-ESA Conferences ; 6
オンライン: https://doi.org/10.1007/978-1-4471-2819-9
95.

電子ブック
ＥＢ
95. Proceedings of the International Conference on IT Convergence and Security 2011. 1st ed. 2012
edited by Kuinam J. Kim, Seong Jin Ahn
出版情報: Dordrecht : Springer Netherlands : Imprint: Springer, 2012
シリーズ名: Lecture Notes in Electrical Engineering ; 120
オンライン: https://doi.org/10.1007/978-94-007-2911-7
96.

電子ブック
ＥＢ
96. Distributed, Embedded and Real-time Java Systems. 1st ed. 2012
edited by M. Teresa Higuera-Toledano, Andy J. Wellings
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4419-8158-5
97.

電子ブック
ＥＢ
97. Software Engineering and Knowledge Engineering: Theory and Practice : Volume 1. 1st ed. 2012
edited by Yanwen Wu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Advances in Intelligent and Soft Computing ; 114
オンライン: https://doi.org/10.1007/978-3-642-03718-4
98.

電子ブック
ＥＢ
98. Code Generation with Templates
by Jeroen Arnoldus, Mark van den Brand, A. Serebrenik, J.J. Brunekreef
出版情報: Paris : Atlantis Press, 2012
シリーズ名: Atlantis Studies in Computing ; 1
オンライン: http://dx.doi.org/10.2991/978-94-91216-56-5
99.

電子ブック
ＥＢ
99. From the Web to the Grid and Beyond : Computing Paradigms Driven by High-Energy Physics. 1st ed. 2012
edited by René Brun, Federico Carminati, Giuliana Galli Carminati
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: The Frontiers Collection ;
オンライン: https://doi.org/10.1007/978-3-642-23157-5
100.

電子ブック
ＥＢ
100. Advances in Computer Science, Engineering & Applications : Proceedings of the Second International Conference on Computer Science, Engineering and Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India, Volume 1. 1st ed. 2012
edited by David C. Wyld, Jan Zizka, Dhinaharan Nagamalai
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Advances in Intelligent and Soft Computing ; 166
オンライン: https://doi.org/10.1007/978-3-642-30157-5