1.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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