1.

電子ブック
ＥＢ
1. Deep Reinforcement Learning : Fundamentals, Research and Applications. 1st ed. 2020
edited by Hao Dong, Zihan Ding, Shanghang Zhang
出版情報: Singapore : Springer Nature Singapore : Imprint: Springer, 2020
オンライン: https://doi.org/10.1007/978-981-15-4095-0
2.

電子ブック
ＥＢ
2. Tools for High Performance Computing 2017 : Proceedings of the 11th International Workshop on Parallel Tools for High Performance Computing, September 2017, Dresden, Germany. 1st ed. 2019
edited by Christoph Niethammer, Michael M. Resch, Wolfgang E. Nagel, Holger Brunst, Hartmut Mix
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2019
オンライン: https://doi.org/10.1007/978-3-030-11987-4
3.

電子ブック
ＥＢ
3. Modeling and Optimization in Space Engineering : State of the Art and New Challenges. 1st ed. 2019
edited by Giorgio Fasano, János D. Pintér
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2019
シリーズ名: Springer Optimization and Its Applications ; 144
オンライン: https://doi.org/10.1007/978-3-030-10501-3
4.

電子ブック
ＥＢ
4. Oceanographic Analysis with R. 1st ed. 2018
by Dan E. Kelley
出版情報: New York, NY : Springer New York : Imprint: Springer, 2018
オンライン: https://doi.org/10.1007/978-1-4939-8844-0
5.

電子ブック
ＥＢ
5. Tools for High Performance Computing 2016 : Proceedings of the 10th International Workshop on Parallel Tools for High Performance Computing, October 2016, Stuttgart, Germany. 1st ed. 2017
edited by Christoph Niethammer, José Gracia, Tobias Hilbrich, Andreas Knüpfer, Michael M. Resch, Wolfgang E. Nagel
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
オンライン: https://doi.org/10.1007/978-3-319-56702-0
6.

電子ブック
ＥＢ
6. Optimization and Approximation. 1st ed. 2017
by Pablo Pedregal
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2017
シリーズ名: La Matematica per il 3+2 ; 108
オンライン: https://doi.org/10.1007/978-3-319-64843-9
7.

電子ブック
ＥＢ
7. Deterministic Global Optimization : An Introduction to the Diagonal Approach. 1st ed. 2017
by Yaroslav D. Sergeyev, Dmitri E. Kvasov
出版情報: New York, NY : Springer New York : Imprint: Springer, 2017
シリーズ名: SpringerBriefs in Optimization ;
オンライン: https://doi.org/10.1007/978-1-4939-7199-2
8.

電子ブック
ＥＢ
8. Numerical Simulation in Physics and Engineering : Lecture Notes of the XVI 'Jacques-Louis Lions' Spanish-French School. 1st ed. 2016
edited by Inmaculada Higueras, Teo Roldán, Juan José Torrens
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2016
シリーズ名: SEMA SIMAI Springer Series ; 9
オンライン: https://doi.org/10.1007/978-3-319-32146-2
9.

電子ブック
ＥＢ
9. A Primer on Scientific Programming with Python. 5th ed. 2016
by Hans Petter Langtangen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016
シリーズ名: Texts in Computational Science and Engineering ; 6
オンライン: https://doi.org/10.1007/978-3-662-49887-3
10.

電子ブック
ＥＢ
10. Working with the American Community Survey in R : A Guide to Using the acs Package. 1st ed. 2016
by Ezra Haber Glenn
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2016
シリーズ名: SpringerBriefs in Statistics ;
オンライン: https://doi.org/10.1007/978-3-319-45772-7
11.

電子ブック
ＥＢ
11. Post-Optimal Analysis in Linear Semi-Infinite Optimization
by Miguel A. Goberna, Marco A. López
出版情報: New York, NY : Springer New York : Imprint: Springer, 2014
シリーズ名: SpringerBriefs in Optimization ;
オンライン: http://dx.doi.org/10.1007/978-1-4899-8044-1
12.

電子ブック
ＥＢ
12. Optimization in Science and Engineering : In Honor of the 60th Birthday of Panos M. Pardalos
edited by Themistocles M. Rassias, Christodoulos A. Floudas, Sergiy Butenko
出版情報: New York, NY : Springer New York : Imprint: Springer, 2014
オンライン: http://dx.doi.org/10.1007/978-1-4939-0808-0
13.

電子ブック
ＥＢ
13. A Primer on Scientific Programming with Python. 4th ed. 2014
by Hans Petter Langtangen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
シリーズ名: Texts in Computational Science and Engineering ; 6
オンライン: http://dx.doi.org/10.1007/978-3-642-54959-5
14.

電子ブック
ＥＢ
14. BiLBIQ: A Biologically Inspired Robot with Walking and Rolling Locomotion. 1st ed. 2013
by Ralf Simon King
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
シリーズ名: Biosystems & Biorobotics ;
オンライン: https://doi.org/10.1007/978-3-642-34682-8
15.

電子ブック
ＥＢ
15. A Primer on Scientific Programming with Python. 3rd ed. 2012
by Hans Petter Langtangen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Texts in Computational Science and Engineering ; 6
オンライン: http://dx.doi.org/10.1007/978-3-642-30293-0
16.

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

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

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

電子ブック
ＥＢ
19. Multicore Programming Using the ParC Language. 1st ed. 2012
by Yosi Ben-Asher
出版情報: London : Springer London : Imprint: Springer, 2012
シリーズ名: Undergraduate Topics in Computer Science ;
オンライン: https://doi.org/10.1007/978-1-4471-2164-0
20.

電子ブック
ＥＢ
20. Scalable Parallel Programming Applied to H.264/AVC Decoding. 1st ed. 2012
by Ben Juurlink, Mauricio Alvarez-Mesa, Chi Ching Chi, Arnaldo Azevedo, Cor Meenderinck, Alex Ramirez
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
シリーズ名: SpringerBriefs in Computer Science ;
オンライン: https://doi.org/10.1007/978-1-4614-2230-3
21.

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

電子ブック
ＥＢ
22. Electronique Appliquée, Electromécanique sous Simscape & SimPowerSystems (Matlab/Simulink). 1st ed. 2012
by Mohand Mokhtari, Nadia Martaj
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-24201-4
23.

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

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

電子ブック
ＥＢ
25. Compiler Design : Analysis and Transformation. 1st ed. 2012
by Helmut Seidl, Reinhard Wilhelm, Sebastian Hack
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-17548-0
26.

電子ブック
ＥＢ
26. Modern Compiler Design. 2nd ed. 2012
by Dick Grune, Kees van Reeuwijk, Henri E. Bal, Ceriel J.H. Jacobs, Koen Langendoen
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4614-4699-6
27.

電子ブック
ＥＢ
27. Introduction to Programming Concepts with Case Studies in Python. 1st ed. 2012
by Göktürk Üçoluk, Sinan Kalkan
出版情報: Vienna : Springer Vienna : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-7091-1343-1
28.

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

電子ブック
ＥＢ
29. MATLAB for Psychologists. 1st ed. 2012
by Mauro Borgo, Alessandro Soranzo, Massimo Grassi
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4614-2197-9
30.

電子ブック
ＥＢ
30. Soft Computing Methods for Microwave and Millimeter-Wave Design Problems. 1st ed. 2012
by Narendra Chauhan, Machavaram Kartikeyan, Ankush Mittal
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
シリーズ名: Studies in Computational Intelligence ; 392
オンライン: https://doi.org/10.1007/978-3-642-25563-2
31.

電子ブック
ＥＢ
31. A Primer on Scientific Programming with Python [e-books]. 2nd Edition
by Hans Petter Langtangen
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Texts in Computational Science and Engineering ; 6
オンライン: http://dx.doi.org/10.1007/978-3-642-18366-9
32.

電子ブック
ＥＢ
32. Factors and Factorizations of Graphs : Proof Techniques in Factor Theory [e-books]
by Jin Akiyama, Mikio Kano
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
シリーズ名: Lecture Notes in Mathematics ; 2031
オンライン: http://dx.doi.org/10.1007/978-3-642-21919-1
33.

電子ブック
ＥＢ
33. A Primer on Scientific Programming with Python [e-books]
by Hans Petter Langtangen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009
シリーズ名: Texts in Computational Science and Engineering ; 6
オンライン: http://dx.doi.org/10.1007/978-3-642-02475-7
34.

電子ブック
ＥＢ
34. Parallel Computation : Third International ACPC Conference with Special Emphasis on Parallel Databases and Parallel I/O Klagenfurt, Austria, September 23–25, 1996 Proceedings
edited by László Böszörményi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1127
オンライン: http://dx.doi.org/10.1007/3-540-61695-0
35.

電子ブック
ＥＢ
35. Over-Constrained Systems
edited by Michael Jampel, Eugene Freuder, Michael Maher
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1106
オンライン: http://dx.doi.org/10.1007/3-540-61479-6
36.

電子ブック
ＥＢ
36. Combinatorics and Computer Science : 8th Franco-Japanese and 4th Franco-Chinese Conference Brest, France, July 3–5, 1995 Selected Papers
edited by Michel Deza, Reinhardt Euler, Ioannis Manoussakis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1120
オンライン: http://dx.doi.org/10.1007/3-540-61576-8
37.

電子ブック
ＥＢ
37. Concurrency and Parallelism, Programming, Networking, and Security : Second Asian Computing Science Conference, ASIAN'96 Singapore, December 2–5, 1996 Proceedings
edited by Joxan Jaffar, Roland H. C. Yap
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1179
オンライン: http://dx.doi.org/10.1007/BFb0027773
38.

電子ブック
ＥＢ
38. Parallel Virtual Machine — EuroPVM '96 : Third European PVM Conference Munich, Germany, October 7–9, 1996 Proceedings
edited by Arndt Bode, Jack Dongarra, Thomas Ludwig, Vaidy Sunderam
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1156
オンライン: http://dx.doi.org/10.1007/3-540-61779-5
39.

電子ブック
ＥＢ
39. Applied Parallel Computing Industrial Computation and Optimization : Third International Workshop, PARA '96 Lyngby, Denmark, August 18–21, 1996 Proceedings
edited by Jerzy Waśniewski, Jack Dongarra, Kaj Madsen, Dorte Olesen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1184
オンライン: http://dx.doi.org/10.1007/3-540-62095-8
40.

電子ブック
ＥＢ
40. Coordination Languages and Models : First International Conference, COORDINATION '96 Cesena, Italy, April 15–17, 1996 Proceedings
edited by Paolo Ciancarini, Chris Hankin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1061
オンライン: http://dx.doi.org/10.1007/3-540-61052-9
41.

電子ブック
ＥＢ
41. Programming Languages and Systems — ESOP '96 : 6th European Symposium on Programming Linköping, Sweden, April 22–24, 1996 Proceedings
edited by Hanne Riis Nielson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1058
オンライン: http://dx.doi.org/10.1007/3-540-61055-3
42.

電子ブック
ＥＢ
42. Object-Based Parallel and Distributed Computation : France-Japan Workshop, OBPDC '95 Tokyo, Japan, June 21–23, 1995 Selected Papers
edited by Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1107
オンライン: http://dx.doi.org/10.1007/3-540-61487-7
43.

電子ブック
ＥＢ
43. Reliable Software Technologies — Ada-Europe '96 : 1996 Ada-Europe International Conference on Reliable Software Technologies Montreux, Switzerland, June 10–14, 1996 Proceedings
edited by Alfred Strohmeier
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1088
オンライン: http://dx.doi.org/10.1007/BFb0013474
44.

電子ブック
ＥＢ
44. Reasoning with Logic Programming
edited by José Júlio Alferes, Luís Moniz Pereira
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1111
オンライン: http://dx.doi.org/10.1007/3-540-61488-5
45.

電子ブック
ＥＢ
45. Advanced Functional Programming : Second International School Olympia, WA, USA, August 26–30, 1996 Tutorial Text
edited by John Launchbury, Erik Meijer, Tim Sheard
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1129
オンライン: http://dx.doi.org/10.1007/3-540-61628-4
46.

電子ブック
ＥＢ
46. Parallel Algorithms for Irregularly Structured Problems : Third International Workshop, IRREGULAR '96 Santa Barbara, CA, USA, August 19–21, 1996 Proceedings
edited by Alfonso Ferreira, José Rolim, Yousef Saad, Tao Yang
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1117
オンライン: http://dx.doi.org/10.1007/BFb0030093
47.

電子ブック
ＥＢ
47. Trees in Algebra and Programming — CAAP '96 : 21st International Colloquium Linköping, Sweden, April 22–24, 1996 Proceedings
edited by Hélène Kirchner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: http://dx.doi.org/10.1007/3-540-61064-2
48.

電子ブック
ＥＢ
48. High-Performance Computing and Networking : International Conference and Exhibition HPCN EUROPE 1996 Brussels, Belgium, April 15–19, 1996 Proceedings
edited by Heather Liddell, Adrian Colbrook, Bob Hertzberger, Peter Sloot
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1067
オンライン: http://dx.doi.org/10.1007/3-540-61142-8
49.

電子ブック
ＥＢ
49. Extensions of Logic Programming : 5th International Workshop, ELP '96 Leipzig, Germany, March 28–30, 1996 Proceedings
edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 1050
オンライン: http://dx.doi.org/10.1007/3-540-60983-0
50.

電子ブック
ＥＢ
50. Logic Program Synthesis and Transformation : 5th International Workshop, LOPSTR'95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
edited by Maurizio Proietti
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1048
オンライン: http://dx.doi.org/10.1007/3-540-60939-3