1.

電子ブック
ＥＢ
1. Handbook of Floating-Point Arithmetic. 2nd ed. 2018
by Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres
出版情報: Cham : Springer International Publishing : Imprint: Birkhäuser, 2018
オンライン: https://doi.org/10.1007/978-3-319-76526-6
2.

電子ブック
ＥＢ
2. An Introduction to Statistics with Python : With Applications in the Life Sciences. 1st ed. 2016
by Thomas Haslwanter
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2016
シリーズ名: Statistics and Computing ;
オンライン: https://doi.org/10.1007/978-3-319-28316-6
3.

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

電子ブック
ＥＢ
4. Programming Language Concepts. 1st ed. 2012
by Peter Sestoft
出版情報: London : Springer London : Imprint: Springer, 2012
シリーズ名: Undergraduate Topics in Computer Science ; 50
オンライン: https://doi.org/10.1007/978-1-4471-4156-3
5.

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

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

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

電子ブック
ＥＢ
8. The NCL Natural Constraint Language. 1st ed. 2012
by Jianyang Zhou
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-23845-1
9.

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

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

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

電子ブック
ＥＢ
12. Tools for High Performance Computing 2011 : Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden. 1st ed. 2012
edited by Holger Brunst, Matthias S. Müller, Wolfgang E. Nagel, Michael M. Resch
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-3-642-31476-6
13.

電子ブック
ＥＢ
13. Handbook of Service Description : USDL and Its Methods. 1st ed. 2012
edited by Alistair Barros, Daniel Oberle
出版情報: New York, NY : Springer New York : Imprint: Springer, 2012
オンライン: https://doi.org/10.1007/978-1-4614-1864-1
14.

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

電子ブック
ＥＢ
15. Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings. 1st ed. 1996
edited by Helene Kirchner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: https://doi.org/10.1007/3-540-61064-2
16.

電子ブック
ＥＢ
16. Formal Methods for Industrial Applications : Specifying and Programming the Steam Boiler Control. 1st ed. 1996
edited by Jean-Raymond Abrial, Egon Börger, Hans Langmaack
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1165
オンライン: https://doi.org/10.1007/BFb0027227
17.

電子ブック
ＥＢ
17. Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19 - 22, 1996. Proceedings. 1st ed. 1996
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: https://doi.org/10.1007/3-540-61551-2
18.

電子ブック
ＥＢ
18. Building Tightly Integrated Software Development Environments: The IPSEN Approach. 1st ed. 1996
edited by Manfred Nagl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1170
オンライン: https://doi.org/10.1007/BFb0035684
19.

電子ブック
ＥＢ
19. Formal Techniques in Real-Time and Fault-Tolerant Systems : 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings. 1st ed. 1996
edited by Bengt Jonsson, Joachim Parrow
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1135
オンライン: https://doi.org/10.1007/3-540-61648-9
20.

電子ブック
ＥＢ
20. Languages and Compilers for Parallel Computing : 8th International Workshop, Columbus, Ohio, USA, August 10-12, 1995. Proceedings. 1st ed. 1996
edited by Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1033
オンライン: https://doi.org/10.1007/BFb0014187
21.

電子ブック
ＥＢ
21. Rewriting Techniques and Applications : 7th International Conference, RTA-96, New Brunswick, NJ, USA July 27 - 30, 1996. Proceedings. 1st ed. 1996
edited by Harald Ganzinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1103
オンライン: https://doi.org/10.1007/3-540-61464-8
22.

電子ブック
ＥＢ
22. Object-Technologies for Advanced Software : Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings. 1st ed. 1996
edited by Kokichi Futatsugi, Satoshi Matsuoka
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1049
オンライン: https://doi.org/10.1007/3-540-60954-7
23.

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

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

電子ブック
ＥＢ
25. Parallel Symbolic Languages and Systems : International Workshop, PSLS '95, Beaune, France, October (2-4), 1995. Proceedings. 1st ed. 1996
edited by Takayasu Ito, Robert H. Jr. Halstead, Christian Queinnec
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1068
オンライン: https://doi.org/10.1007/BFb0023052
26.

電子ブック
ＥＢ
26. Studies of Software Design : ICSE'93 Workshop, Baltimore, Maryland, USA, May (17-18), 1993. Selected Papers. 1st ed. 1996
edited by David Alex Lamb
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1078
オンライン: https://doi.org/10.1007/BFb0030514
27.

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

電子ブック
ＥＢ
28. Reliable Software Technologies - Ada Europe 96 : 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings. 1st ed. 1996
edited by Alfred Strohmeier
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1088
オンライン: https://doi.org/10.1007/BFb0013474
29.

電子ブック
ＥＢ
29. ECOOP '96 - Object-Oriented Programming : 10th European Conference, Linz, Austria, July 8-12, 1996. Proceedings. 1st ed. 1996
edited by Pierre Cointe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1098
オンライン: https://doi.org/10.1007/BFb0053051
30.

電子ブック
ＥＢ
30. Constraint Databases and Applications : Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP'96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected papers. 1st ed. 1996
edited by Volker Gaede, Alexander Brodsky, Oliver Günther, Divesh Srivastava, Victor Vianu, Mark Wallace
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1191
オンライン: https://doi.org/10.1007/3-540-62501-1
31.

電子ブック
ＥＢ
31. Types for Proofs and Programs : International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers. 1st ed. 1996
edited by Stefano Berardi, Mario Coppo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1158
オンライン: https://doi.org/10.1007/3-540-61780-9
32.

電子ブック
ＥＢ
32. Ada in Europe : Second International Eurospace-Ada-Europe Symposium, Frankfurt, Germany, October 2-6, 1995. 1st ed. 1996
edited by Marcel Toussaint
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1031
オンライン: https://doi.org/10.1007/BFb0015477
33.

電子ブック
ＥＢ
33. Algebraic and Logic Programming : 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings. 1st ed. 1996
edited by Michael Hanus, Mario Rodriguez-Artalejo
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1139
オンライン: https://doi.org/10.1007/3-540-61735-3
34.

電子ブック
ＥＢ
34. Constraint Databases and Applications : ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September, 8 - 9, 1995. Proceedings. 1st ed. 1996
edited by Gabriel Kuper, Mark Wallace
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1034
オンライン: https://doi.org/10.1007/3-540-60794-3
35.

電子ブック
ＥＢ
35. CONCUR '96: Concurrency Theory : 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings. 1st ed. 1996
edited by Ugo Montanari, Vladimiro Sassone
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1119
オンライン: https://doi.org/10.1007/3-540-61604-7
36.

電子ブック
ＥＢ
36. Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers. 1st ed. 1996
edited by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1130
オンライン: https://doi.org/10.1007/3-540-61629-2
37.

電子ブック
ＥＢ
37. Computer Science Logic : 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers. 1st ed. 1996
edited by Hans Kleine Buening
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1092
オンライン: https://doi.org/10.1007/3-540-61377-3
38.

電子ブック
ＥＢ
38. Compiler Construction : 6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings. 1st ed. 1996
edited by Tibor Gyimothy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1060
オンライン: https://doi.org/10.1007/3-540-61053-7
39.

電子ブック
ＥＢ
39. Programming Languages: Implementations, Logics, and Programs : 8th International Symposium, PLILP '96, Aachen, Germany, September 24 - 27, 1996. Proceedings. 1st ed. 1996
edited by Herbert Kuchen, S.Doaitse Swierstra
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1140
オンライン: https://doi.org/10.1007/3-540-61756-6
40.

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

電子ブック
ＥＢ
41. FME '96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. 1st ed. 1996
edited by Marie-Claude Gaudel, James Woodcock
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1051
オンライン: https://doi.org/10.1007/3-540-60973-3
42.

電子ブック
ＥＢ
42. Trends in Distributed Systems: CORBA and Beyond : International Workshop TreDS '96 Aachen, Germany, October 1 - 2, 1996; Proceedings. 1st ed. 1996
edited by Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1161
オンライン: https://doi.org/10.1007/3-540-61842-2
43.

電子ブック
ＥＢ
43. Static Analysis : Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings. 1st ed. 1996
edited by Radhia Cousot, David A. Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1145
オンライン: https://doi.org/10.1007/3-540-61739-6
44.

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

電子ブック
ＥＢ
45. Partial Evaluation : International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers. 1st ed. 1996
edited by Olivier Danvy, Robert Glück, Peter Thiemann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1110
オンライン: https://doi.org/10.1007/3-540-61580-6
46.

電子ブック
ＥＢ
46. Mathematical Foundations of Computer Science 1996 : 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings. 1st ed. 1996
edited by Wojciech Penczek, Andrzej Szalas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1113
オンライン: https://doi.org/10.1007/3-540-61550-4
47.

電子ブック
ＥＢ
47. Reasoning with Logic Programming. 1st ed. 1996
by Jose Julio Alferes, Luis Moniz Pereira
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1111
オンライン: https://doi.org/10.1007/3-540-61488-5
48.

電子ブック
ＥＢ
48. Automated Deduction in Equational Logic and Cubic Curves. 1st ed. 1996
by William McCune, R. Padmanabhan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1095
オンライン: https://doi.org/10.1007/3-540-61398-6
49.

電子ブック
ＥＢ
49. Adaptation and Learning in Multi-Agent Systems : IJCAI' 95 Workshop, Montreal, Canada, August 21, 1995. Proceedings. 1st ed. 1996
edited by Gerhard Weiß, Sandip Sen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1042
オンライン: https://doi.org/10.1007/3-540-60923-7
50.

電子ブック
ＥＢ
50. Grammatical Inference: Learning Syntax from Sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25 - 27, 1996. Proceedings. 1st ed. 1996
edited by Laurent Miclet, Colin de la Higuera
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Artificial Intelligence ; 1147
オンライン: https://doi.org/10.1007/BFb0033338