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

電子ブック
ＥＢ
51. The Data Parallel Programming Model : Foundations, HPF Realization, and Scientific Applications. 1st ed. 1996
edited by Guy-Rene Perrin, Alain Darte
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1132
オンライン: https://doi.org/10.1007/3-540-61736-1
52.

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

電子ブック
ＥＢ
53. TAPSOFT '95: Theory and Practice of Software Development : 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings. 1st ed. 1995
edited by Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 915
オンライン: https://doi.org/10.1007/3-540-59293-8
54.

電子ブック
ＥＢ
54. KORSO: Methods, Languages, and Tools for the Construction of Correct Software : Final Report. 1st ed. 1995
edited by Manfred Broy, Stefan Jähnichen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1009
オンライン: https://doi.org/10.1007/BFb0015452
55.

電子ブック
ＥＢ
55. CONCUR '95 Concurrency Theory : 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings. 1st ed. 1995
edited by Scott Smolka
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 962
オンライン: https://doi.org/10.1007/3-540-60218-6
56.

電子ブック
ＥＢ
56. Static Analysis : Second International Symposium, SAS '95, Glasgow, UK, September 25 - 27, 1995. Proceedings. 1st ed. 1995
edited by Alan Mycroft
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 983
オンライン: https://doi.org/10.1007/3-540-60360-3
57.

電子ブック
ＥＢ
57. Constraint Programming: Basics and Trends : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers. 1st ed. 1995
edited by Andreas Podelski
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 910
オンライン: https://doi.org/10.1007/3-540-59155-9
58.

電子ブック
ＥＢ
58. ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings. 1st ed. 1995
edited by Jonathan P. Bowen, Michael G. Hinchey
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 967
オンライン: https://doi.org/10.1007/3-540-60271-2
59.

電子ブック
ＥＢ
59. Metaclasses and Their Application : Data Model Tailoring and Database Integration. 1st ed. 1995
edited by Wolfgang Klas, Michael Schrefl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 943
オンライン: https://doi.org/10.1007/BFb0027185
60.

電子ブック
ＥＢ
60. Advanced Functional Programming : First International Spring School on Advanced Functional Programming Techniques, Bastad, Sweden, May 24 - 30, 1995. Tutorial Text. 1st ed. 1995
edited by Johan Jeuring, Erik Meijer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 925
オンライン: https://doi.org/10.1007/3-540-59451-5
61.

電子ブック
ＥＢ
61. Software Engineering - ESEC '95 : 5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings. 1st ed. 1995
edited by Wilhelm Schäfer, Pere Botella
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 989
オンライン: https://doi.org/10.1007/3-540-60406-5
62.

電子ブック
ＥＢ
62. Types for Proofs and Programs : International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers. 1st ed. 1995
edited by Peter Dybjer, Bengt Nordström, Jan Smith
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 996
オンライン: https://doi.org/10.1007/3-540-60579-7
63.

電子ブック
ＥＢ
63. Category Theory and Computer Science : 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings. 1st ed. 1995
edited by David Pitt, David E. Rydeheard, Peter Johnstone
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 953
オンライン: https://doi.org/10.1007/3-540-60164-3
64.

電子ブック
ＥＢ
64. Exploitation of Fine-Grain Parallelism. 1st ed. 1995
edited by Günter Böckle
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 942
オンライン: https://doi.org/10.1007/BFb0017665
65.

電子ブック
ＥＢ
65. Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings. 1st ed. 1995
edited by Jiri Wiedermann, Petr Hajek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 969
オンライン: https://doi.org/10.1007/3-540-60246-1
66.

電子ブック
ＥＢ
66. Object-Based Models and Languages for Concurrent Systems : ECOOP '94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Bologna, Italy, July 5, 1994. Selected Papers. 1st ed. 1995
edited by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 924
オンライン: https://doi.org/10.1007/3-540-59450-7
67.

電子ブック
ＥＢ
67. Languages and Compilers for Parallel Computing : 7th International Workshop, Ithaca, NY, USA, August 8 - 10, 1994. Proceedings. 1st ed. 1995
edited by Keshav Pingali, Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 892
オンライン: https://doi.org/10.1007/BFb0025866
68.

電子ブック
ＥＢ
68. Rewriting Techniques and Applications : 6th International Conference, RTA-95, Kaiserslautern, Germany, April 5 - 7, 1995. Proceedings. 1st ed. 1995
edited by Jieh Hsiang
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 914
オンライン: https://doi.org/10.1007/3-540-59200-8
69.

電子ブック
ＥＢ
69. Functional Programming Languages in Education : 1st International Symposium FPLE '95 Nijmegen, The Netherlands, December 4-6, 1995. Proceedings. 1st ed. 1995
edited by Pieter Hartel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1022
オンライン: https://doi.org/10.1007/3-540-60675-0
70.

電子ブック
ＥＢ
70. Extensions of the UNITY Methodology : Compositionality, Fairness and Probability in Parallelism. 1st ed. 1995
by Josyula R. Rao
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 908
オンライン: https://doi.org/10.1007/3-540-59173-7
71.

電子ブック
ＥＢ
71. Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers. 1st ed. 1995
edited by Egidio Astesiano, Gianna Reggio
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 906
オンライン: https://doi.org/10.1007/BFb0014419
72.

電子ブック
ＥＢ
72. Formal Development of Reactive Systems : Case Study Production Cell. 1st ed. 1995
edited by Claus Lewerentz, Thomas Lindner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 891
オンライン: https://doi.org/10.1007/3-540-58867-1
73.

電子ブック
ＥＢ
73. ECOOP '95 - Object-Oriented Programming : 9th European Conference, Aarhus, Denmark, August 7 - 11, 1995. Proceedings. 1st ed. 1995
edited by Walter Olthoff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 952
オンライン: https://doi.org/10.1007/3-540-49538-X
74.

電子ブック
ＥＢ
74. Ada 95 Rationale : The Language - The Standard Libraries. 1st ed. 1995
edited by John Barnes
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1247
オンライン: https://doi.org/10.1007/BFb0051526
75.

電子ブック
ＥＢ
75. Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings. 1st ed. 1995
edited by Ugo Montanari, Francesca Rossi
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 976
オンライン: https://doi.org/10.1007/3-540-60299-2
76.

電子ブック
ＥＢ
76. Ada 95, Quality and Style : Guidelines for Professional Programmers. 1st ed. 1995
edited by Christine Ausnit-Hood, Kent A. Johnson, Robert G. Pettit IV, Steven B. Opdahl
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1344
オンライン: https://doi.org/10.1007/3-540-63823-7
77.

電子ブック
ＥＢ
77. Conditional and Typed Rewriting Systems : 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13 - 15, 1994. Proceedings. 1st ed. 1995
edited by Nachum Dershowitz, Naomi Lindenstrauss
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 968
オンライン: https://doi.org/10.1007/3-540-60381-6
78.

電子ブック
ＥＢ
78. Ada 95 Reference Manual: Language and Standard Libraries : International Standard ISO/IEC 8652:1995 (E). 1st ed. 1995
edited by Tucker S. Taft, Robert A. Duff
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1246
オンライン: https://doi.org/10.1007/BFb0034910
79.

電子ブック
ＥＢ
79. Efficient Graph Rewriting and Its Implementation. 1st ed. 1995
by Heiko Dörr
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 922
オンライン: https://doi.org/10.1007/BFb0031909
80.

電子ブック
ＥＢ
80. Programming Languages: Implementations, Logics and Programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Proceedings. 1st ed. 1995
edited by Manuel Hermenegildo, S.Doaitse Swierstra
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 982
オンライン: https://doi.org/10.1007/BFb0026808
81.

電子ブック
ＥＢ
81. Computer Science Logic : 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers. 1st ed. 1995
edited by Leszek Pacholski, Jerzy Tiuryn
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 933
オンライン: https://doi.org/10.1007/BFb0022242
82.

電子ブック
ＥＢ
82. Constraint Processing : Selected Papers. 1st ed. 1995
edited by Manfred Meyer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 923
オンライン: https://doi.org/10.1007/3-540-59479-5
83.

電子ブック
ＥＢ
83. Automata, Languages and Programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings. 1st ed. 1995
edited by Zoltan Fülöp, Ferenc Gecseg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 944
オンライン: https://doi.org/10.1007/3-540-60084-1
84.

電子ブック
ＥＢ
84. High-Performance Computing and Networking : International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994. Proceedings. Volume 2: Networking and Tools. 1st ed. 1994
edited by Wolfgang Gentzsch, Uwe Harms
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 797
オンライン: https://doi.org/10.1007/3-540-57981-8
85.

電子ブック
ＥＢ
85. Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers. 1st ed. 1994
edited by Jan Heering, Karl Meinke, Bernhard Möller, Tobias Nipkow
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 816
オンライン: https://doi.org/10.1007/3-540-58233-9
86.

電子ブック
ＥＢ
86. Formal Techniques in Real-Time and Fault-Tolerant Systems : Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCos, Lübeck, Germany, September 19 - 23, 1994. Proceedings. 1st ed. 1994
edited by Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 863
オンライン: https://doi.org/10.1007/3-540-58468-4
87.

電子ブック
ＥＢ
87. A Decade of Concurrency: Reflections and Perspectives : Reflections and Perspectives. REX School/Symposium Noordwijkerhout, The Netherlands, June 1 - 4, 1993. Proceedings. 1st ed. 1994
edited by J.W.de Bakker, W.-P.de Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 803
オンライン: https://doi.org/10.1007/3-540-58043-3
88.

電子ブック
ＥＢ
88. Mathematical Foundations of Programming Semantics : 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings. 1st ed. 1994
edited by Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 802
オンライン: https://doi.org/10.1007/3-540-58027-1
89.

電子ブック
ＥＢ
89. Programming Languages and System Architectures : International Conference, Zurich, Switzerland, March 2 - 4, 1994. Proceedings. 1st ed. 1994
edited by Jürg Gutknecht
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 782
オンライン: https://doi.org/10.1007/3-540-57840-4
90.

電子ブック
ＥＢ
90. Object-Oriented Methodologies and Systems : International Symposium ISOOMS '94, Palermo, Italy, September 21-22, 1994. Proceedings. 1st ed. 1994
edited by Elisa Bertino, Susan Urban
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 858
オンライン: https://doi.org/10.1007/BFb0014012
91.

電子ブック
ＥＢ
91. Distributed Programming Paradigms with Cryptography Applications. 1st ed. 1994
by Jonathan S. Greenfield
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 870
オンライン: https://doi.org/10.1007/BFb0017590
92.

電子ブック
ＥＢ
92. CONCUR '94: Concurrency Theory : 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings. 1st ed. 1994
edited by Bengt Jonsson, Joachim Parrow
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 836
オンライン: https://doi.org/10.1007/978-3-540-48654-1
93.

電子ブック
ＥＢ
93. Recent Trends in Data Type Specification : 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26 - 30, 1992. Selected Papers. 1st ed. 1994
edited by Hartmut Ehrig, Fernando Orejas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 785
オンライン: https://doi.org/10.1007/3-540-57867-6
94.

電子ブック
ＥＢ
94. Programming Languages and Systems - ESOP '94 : 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings. 1st ed. 1994
edited by Donald Sannella
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 788
オンライン: https://doi.org/10.1007/3-540-57880-3
95.

電子ブック
ＥＢ
95. An Extended Entity-Relationship Model : Fundamentals and Pragmatics. 1st ed. 1994
by Martin Gogolla
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 767
オンライン: https://doi.org/10.1007/3-540-57648-7
96.

電子ブック
ＥＢ
96. Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings. 1st ed. 1994
edited by Laurent Fribourg, Franco Turini
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 883
オンライン: https://doi.org/10.1007/3-540-58792-6
97.

電子ブック
ＥＢ
97. FME '94: Industrial Benefit of Formal Methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings. 1st ed. 1994
edited by Maurice Naftalin, Tim Denvir, Miquel Bertran
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 873
オンライン: https://doi.org/10.1007/3-540-58555-9
98.

電子ブック
ＥＢ
98. Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16 - 22, 1994. Proceedings. 1st ed. 1994
edited by Frank Pfenning
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Artificial Intelligence ; 822
オンライン: https://doi.org/10.1007/3-540-58216-9
99.

電子ブック
ＥＢ
99. Programming Language Implementation and Logic Programming : 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings. 1st ed. 1994
edited by Manuel Hermenegildo, Jaan Penjam
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 844
オンライン: https://doi.org/10.1007/3-540-58402-1
100.

電子ブック
ＥＢ
100. Logic, Language and Computation : Festschrift in Honor of Satoru Takasu. 1st ed. 1994
edited by Neil Jones, Masami Hagiya, Masahiko Sato
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 792
オンライン: https://doi.org/10.1007/BFb0032390