1.

電子ブック
ＥＢ
1. Approximation and Online Algorithms : 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers. 1st ed. 2020
edited by Evripidis Bampis, Nicole Megow
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 11926
オンライン: https://doi.org/10.1007/978-3-030-39479-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. Mathematical Optimization Theory and Operations Research : 19th International Conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020, Proceedings. 1st ed. 2020
edited by Alexander Kononov, Michael Khachay, Valery A Kalyagin, Panos Pardalos
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Theoretical Computer Science and General Issues ; 12095
オンライン: https://doi.org/10.1007/978-3-030-49988-4
5.

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

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

電子ブック
ＥＢ
7. Scientific Computing : A Historical Perspective. 1st ed. 2018
by Bertil Gustafsson
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2018
シリーズ名: Texts in Computational Science and Engineering ; 17
オンライン: https://doi.org/10.1007/978-3-319-69847-2
8.

電子ブック
ＥＢ
8. Convex Analysis and Global Optimization. 2nd ed. 2016
by Hoang Tuy
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2016
シリーズ名: Springer Optimization and Its Applications ; 110
オンライン: https://doi.org/10.1007/978-3-319-31484-6
9.

電子ブック
ＥＢ
9. The Courant–Friedrichs–Lewy (CFL) Condition : 80 Years After Its Discovery
edited by Carlos A. de Moura, Carlos S. Kubrusly
出版情報: Boston : Birkhäuser Boston : Imprint: Birkhäuser, 2013
オンライン: http://dx.doi.org/10.1007/978-0-8176-8394-8
10.

電子ブック
ＥＢ
10. Modeling and Optimization in Space Engineering
edited by Giorgio Fasano, János D. Pintér
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: Springer Optimization and Its Applications ; 73
オンライン: http://dx.doi.org/10.1007/978-1-4614-4469-5
11.

電子ブック
ＥＢ
11. Mathematics, Computer Science and Logic - A Never Ending Story : The Bruno Buchberger Festschrift
edited by Peter Paule
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-3-319-00966-7
12.

電子ブック
ＥＢ
12. Teoria degli Automi Finiti
by Aldo Luca, Flavio D’Alessandro
出版情報: Milano : Springer Milan : Imprint: Springer, 2013
シリーズ名: UNITEXT ; 68
オンライン: http://dx.doi.org/10.1007/978-88-470-5474-5
13.

電子ブック
ＥＢ
13. Quantum Walks and Search Algorithms. 1st ed. 2013
by Renato Portugal
出版情報: New York, NY : Springer New York : Imprint: Springer, 2013
シリーズ名: Quantum Science and Technology ;
オンライン: https://doi.org/10.1007/978-1-4614-6336-8
14.

電子ブック
ＥＢ
14. The Relevance of the Time Domain to Neural Network Models. 1st ed. 2012
edited by A. Ravishankar Rao, Guillermo A. Cecchi
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: Springer Series in Cognitive and Neural Systems ; 3
オンライン: https://doi.org/10.1007/978-1-4614-0724-9
15.

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

電子ブック
ＥＢ
16. Wireless Internet : 6th International ICST Conference, WICON 2011, Xi'an, China, October 19-21, 2011, Revised Selected Papers. 1st ed. 2012
edited by Pinyi Ren, Chao Zhang, Xin Liu, Pei Liu, Song Ci
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 98
オンライン: https://doi.org/10.1007/978-3-642-30493-4
17.

電子ブック
ＥＢ
17. Emerging Research in Artificial Intelligence and Computational Intelligence : International Conference, AICI 2012, Chengdu, China, October 26-28, 2012. Proceedings. 1st ed. 2012
edited by Jingsheng Lei, Fu Lee Wang, Hepu Deng, Duoqian Miao
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 315
オンライン: https://doi.org/10.1007/978-3-642-34240-0
18.

電子ブック
ＥＢ
18. Advances in Computational Intelligence, Part II : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part II. 1st ed. 2012
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 298
オンライン: https://doi.org/10.1007/978-3-642-31715-6
19.

電子ブック
ＥＢ
19. Wireless Communications and Applications : First International Conference, ICWCA 2011, Sanya, China, August 1-3, 2011, 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 ; 72
オンライン: https://doi.org/10.1007/978-3-642-29157-9
20.

電子ブック
ＥＢ
20. Emerging Intelligent Computing Technology and Applications : 8th International Conference, ICIC 2012, Huangshan, China, July 25-29, 2012. Proceedings. 1st ed. 2012
edited by De-Shuang Huang, Phalguni Gupta, Xiang Zhang, Prashan Premaratne
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 304
オンライン: https://doi.org/10.1007/978-3-642-31837-5
21.

電子ブック
ＥＢ
21. Computational Intelligence and Intelligent Systems : 6th International Symposium, ISICA 2012, Wuhan, China, October 27-28, 2012. Proceedings. 1st ed. 2012
edited by Zhenhua Li, Xiang Li, Yong Liu, Zhihua Cai
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 316
オンライン: https://doi.org/10.1007/978-3-642-34289-9
22.

電子ブック
ＥＢ
22. Advances in Computational Intelligence, Part I : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part I. 1st ed. 2012
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 297
オンライン: https://doi.org/10.1007/978-3-642-31709-5
23.

電子ブック
ＥＢ
23. Handbook of Natural Computing. 1st ed. 2012
edited by Grzegorz Rozenberg, Thomas Bäck, Joost N. Kok
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-540-92910-9
24.

電子ブック
ＥＢ
24. Foundations of Rule Learning. 1st ed. 2012
by Johannes Fürnkranz, Dragan Gamberger, Nada Lavrač
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Cognitive Technologies ;
オンライン: https://doi.org/10.1007/978-3-540-75197-7
25.

電子ブック
ＥＢ
25. Engineering Applications of Neural Networks : 13th International Conference, EANN 2012, London, UK, September 20-23, 2012. 1st ed. 2012
edited by Chrisina Jayne, Shigang Yue, Lazaros S. Iliadis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 311
オンライン: https://doi.org/10.1007/978-3-642-32909-8
26.

電子ブック
ＥＢ
26. Autonomous Search. 1st ed. 2012
edited by Youssef Hamadi, Eric Monfroy, Frédéric Saubion
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-21434-9
27.

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

電子ブック
ＥＢ
28. Advances in Computational Intelligence, Part IV : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part IV. 1st ed. 2012
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 300
オンライン: https://doi.org/10.1007/978-3-642-31724-8
29.

電子ブック
ＥＢ
29. Mathematics of Discrete Structures for Computer Science. 1st ed. 2012
by Gordon J. Pace
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-29840-0
30.

電子ブック
ＥＢ
30. Trends in Intelligent Robotics, Automation, and Manufacturing : First International Conference, IRAM 2012, Kuala Lumpur, Malaysia, November 28-30, 2012, Proceedings. 1st ed. 2012
edited by S.G. Poonambalam, Jussi Parkkinen, Kuppan Chetty Ramanathan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 330
オンライン: https://doi.org/10.1007/978-3-642-35197-6
31.

電子ブック
ＥＢ
31. Contemporary Computing : 5th International Conference, IC3 2012, Noida, India, August 6-8, 2012. Proceedings. 1st ed. 2012
edited by Manish Parashar, Dinesh Kaushik, Omer F. Rana, Ravi Samtaney, Yuanyuan Yang, Albert Y. Zomaya
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 306
オンライン: https://doi.org/10.1007/978-3-642-32129-0
32.

電子ブック
ＥＢ
32. Modeling Time in Computing. 1st ed. 2012
by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Monographs in Theoretical Computer Science. An EATCS Series ;
オンライン: https://doi.org/10.1007/978-3-642-32332-4
33.

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

電子ブック
ＥＢ
34. Theory and Practice of Computation : Workshop on Computation: Theory and Practice, Quezon City, Philippines, September 2011, Proceedings. 1st ed. 2012
edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez
出版情報: Tokyo : Springer Japan : Imprint: Springer, 2012
シリーズ名: Proceedings in Information and Communications Technology ; 5
オンライン: https://doi.org/10.1007/978-4-431-54106-6
35.

電子ブック
ＥＢ
35. The Complexity of Valued Constraint Satisfaction Problems. 1st ed. 2012
by Stanislav Živný
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Cognitive Technologies ;
オンライン: https://doi.org/10.1007/978-3-642-33974-5
36.

電子ブック
ＥＢ
36. Advances in Computational Intelligence, Part III : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9 - 13, 2012. Proceedings, Part III. 1st ed. 2012
edited by Salvatore Greco, Bernadette Bouchon-Meunier, Giulianella Coletti, Mario Fedrizzi, Benedetto Matarazzo, Ronald R. Yager
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Communications in Computer and Information Science ; 299
オンライン: https://doi.org/10.1007/978-3-642-31718-7
37.

電子ブック
ＥＢ
37. Computational Complexity : Theory, Techniques, and Applications. 1st ed. 2012
edited by Robert A. Meyers
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4614-1800-9
38.

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

電子ブック
ＥＢ
39. The Universe as Automaton : From Simplicity and Symmetry to Complexity. 1st ed. 2012
by Klaus Mainzer, Leon Chua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Complexity ; 1
オンライン: https://doi.org/10.1007/978-3-642-23477-4
40.

電子ブック
ＥＢ
40. Theoretical Computer Science
edited by F. Preparata
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: C.I.M.E. Summer Schools ; 68
オンライン: http://dx.doi.org/10.1007/978-3-642-11120-4
41.

電子ブック
ＥＢ
41. Algorithmic Randomness and Complexity [e-books]. 1
by Rodney G. Downey, Denis R. Hirschfeldt
出版情報: New York, NY : Springer Science+Business Media, LLC, 2010
シリーズ名: Theory and Applications of Computability, In cooperation with the association Computability in Europe ;
オンライン: http://dx.doi.org/10.1007/978-0-387-68441-3
42.

電子ブック
ＥＢ
42. Computability of Julia Sets [e-books]
by Mark Braverman, Michael Yampolsky ; edited by Arjeh M. Cohen, Henri Cohen, David Eisenbud, Michael F. Singer, Bernd Sturmfels
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Algorithms and Computation in Mathematics ; 23
オンライン: http://dx.doi.org/10.1007/978-3-540-68547-0
43.

電子ブック
ＥＢ
43. Post-Quantum Cryptography [e-books]
edited by Daniel J. Bernstein, Johannes Buchmann, Erik Dahmen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
オンライン: http://dx.doi.org/10.1007/978-3-540-88702-7
44.

電子ブック
ＥＢ
44. Gröbner Bases, Coding, and Cryptography
edited by Massimiliano Sala, Shojiro Sakata, Teo Mora, Carlo Traverso, Ludovic Perret
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
オンライン: http://dx.doi.org/10.1007/978-3-540-93806-4
45.

電子ブック
ＥＢ
45. Media Theory : Interdisciplinary Applied Mathematics. First edition
by David Eppstein, Jean-Claude Falmagne, Sergei Ovchinnikov
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
オンライン: http://dx.doi.org/10.1007/978-3-540-71697-6
46.

電子ブック
ＥＢ
46. Algoritmi : Lo spirito dell’informatica
by David Harel, Yishai Feldman
出版情報: Milano : Springer-Verlag Italia, Milano, 2008
シリーズ名: Unitext ;
オンライン: http://dx.doi.org/10.1007/978-88-470-0580-8
47.

電子ブック
ＥＢ
47. Magnetic Nanostructures in Modern Technology : Spintronics, Magnetic MEMS and Recording. 1st ed. 2008
edited by Bruno Azzerboni, Giovanni Asti, Luigi Pareti, Massimo Ghidini
出版情報: Dordrecht : Springer Netherlands : Imprint: Springer, 2008
シリーズ名: NATO Science for Peace and Security Series B: Physics and Biophysics ;
オンライン: https://doi.org/10.1007/978-1-4020-6338-1
48.

電子ブック
ＥＢ
48. Electron Transport in Nanosystems. 1st ed. 2008
edited by Janez Bonca, Sergei Kruchinin
出版情報: Dordrecht : Springer Netherlands : Imprint: Springer, 2008
シリーズ名: NATO Science for Peace and Security Series B: Physics and Biophysics ;
オンライン: https://doi.org/10.1007/978-1-4020-9146-9
49.

電子ブック
ＥＢ
49. Self-Organizing Natural Intelligence : Issues of Knowing, Meaning, and Complexity
by Myrna Estep
出版情報: Dordrecht : Springer, 2006
オンライン: http://dx.doi.org/10.1007/1-4020-5299-5
50.

電子ブック
ＥＢ
50. Systems Approaches and Their Application : Examples from Sweden [e-books]
edited by Mats-Olov Olsson, Gunnar Sjöstedt
出版情報: Dordrecht : Springer Science + Business Media, Inc., 2005
オンライン: http://dx.doi.org/10.1007/1-4020-2370-7