1.

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

電子ブック
ＥＢ
2. Parallel Symbolic Languages and Systems : International Workshop PSLS'95 Beaune, France, October 2–4, 1995 Proceedings
edited by Takayasu Ito, Robert H. Halstead, Christian Queinnec
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1068
オンライン: http://dx.doi.org/10.1007/BFb0023052
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. 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
5.

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

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

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

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

電子ブック
ＥＢ
9. SOFSEM '95: Theory and Practice of Informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings
edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1012
オンライン: http://dx.doi.org/10.1007/3-540-60609-2
10.

電子ブック
ＥＢ
10. SOFSEM '95: Theory and Practice of Informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995. Proceedings. 1st ed. 1995
edited by Miroslav Bartosek, Jan Staudek, Jiri Wiedermann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 1012
オンライン: https://doi.org/10.1007/3-540-60609-2
11.

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

電子ブック
ＥＢ
12. Theory and Practice of Parallel Programming : International Workshop TPPP '94, Sendai, Japan, November 7-9, 1994. Proceedings. 1st ed. 1995
edited by Takayasu Ito, Akinori Yonezawa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 907
オンライン: https://doi.org/10.1007/BFb0026561
13.

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

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

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

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

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

電子ブック
ＥＢ
18. Formal Program Development : IFIP TC2/WG 2.1 State-of-the-Art Report
edited by Bernhard Möller, Helmut Partsch, Steve Schuman
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 755
オンライン: http://dx.doi.org/10.1007/3-540-57499-9
19.

電子ブック
ＥＢ
19. DCE — The OSF Distributed Computing Environment Client/Server Model and Beyond : International DCE Workshop Karlsruhe, Germany, October 7–8, 1993 Proceedings
edited by Alexander Schill
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 731
オンライン: http://dx.doi.org/10.1007/3-540-57306-2
20.

電子ブック
ＥＢ
20. Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings
edited by R. S. Bird, C. C. Morgan, J. C. P. Woodcock
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 669
オンライン: http://dx.doi.org/10.1007/3-540-56625-2
21.

電子ブック
ＥＢ
21. Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991–1992 McMaster University, Hamilton, Ontario, Canada
edited by Peter E. Lauer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 693
オンライン: http://dx.doi.org/10.1007/3-540-56883-2
22.

電子ブック
ＥＢ
22. Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. 1st ed. 1993
edited by Peter E. Lauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 693
オンライン: https://doi.org/10.1007/3-540-56883-2
23.

電子ブック
ＥＢ
23. Static Analysis : Third International Workshop, WSA '93, Padova, Italy, September 22-24, 1993. Proceedings. 1st ed. 1993
edited by Patrick Cousot, Moreno Falaschi, Gilberto File, Antoine Rauzy
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 724
オンライン: https://doi.org/10.1007/3-540-57264-3
24.

電子ブック
ＥＢ
24. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings. 1st ed. 1993
edited by John Fitch
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 721
オンライン: https://doi.org/10.1007/3-540-57272-4
25.

電子ブック
ＥＢ
25. DCE - The OSF Distributed Computing Environment, Client/Server Model and Beyond : International DCE Workshop, Karlsruhe, Germany, October 7-8, 1993. Proceedings. 1st ed. 1993
edited by Alexander Schill
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 731
オンライン: https://doi.org/10.1007/3-540-57306-2
26.

電子ブック
ＥＢ
26. Mathematics of Program Construction : Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings. 1st ed. 1993
edited by Richard S. Bird, C.Carroll Morgan, James C.P. Woodcock
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 669
オンライン: https://doi.org/10.1007/3-540-56625-2
27.

電子ブック
ＥＢ
27. CONCUR'93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings. 1st ed. 1993
edited by Eike Best
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 715
オンライン: https://doi.org/10.1007/3-540-57208-2
28.

電子ブック
ＥＢ
28. Parallel Computation : Second International ACPC Conference, Gmunden, Austria, October 4-6, 1993. Proceedings. 1st ed. 1993
edited by Jens Volkert
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 734
オンライン: https://doi.org/10.1007/3-540-57314-3
29.

電子ブック
ＥＢ
29. Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92 Zurich, Switzerland, September 7–11, 1992 Proceedings
edited by G. Comyn, N. E. Fuchs, M. J. Ratcliffe
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 636
オンライン: http://dx.doi.org/10.1007/3-540-55930-2
30.

電子ブック
ＥＢ
30. Parallel Computation : First International ACPC Conference Salzburg, Austria, September 30 – October 2, 1991 Proceedings
edited by Hans P. Zima
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 591
オンライン: http://dx.doi.org/10.1007/3-540-55437-8
31.

電子ブック
ＥＢ
31. Parallel Computation : First International ACPC Conference, Salzburg, Austria, September 30 - October 2, 1991. Proceedings. 1st ed. 1992
edited by Hans P. Zima
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 591
オンライン: https://doi.org/10.1007/3-540-55437-8
32.

電子ブック
ＥＢ
32. Object-Based Concurrent Computing : ECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings. 1st ed. 1992
edited by Mario Tokoro, Oscar Nierstrasz, Peter Wegner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 612
オンライン: https://doi.org/10.1007/3-540-55613-3
33.

電子ブック
ＥＢ
33. Logic Programming in Action : Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings. 1st ed. 1992
edited by Gerard Comyn, Norbert E. Fuchs, Michael J. Ratcliffe
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Artificial Intelligence ; 636
オンライン: https://doi.org/10.1007/3-540-55930-2
34.

電子ブック
ＥＢ
34. Distributed Algorithms : 5th International Workshop, WDAG 91, Delphi, Greece, October 7-9, 1991. Proceedings. 1st ed. 1992
edited by Sam Toueg, Paul G. Spirakis, Lefteris Kirousis
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 579
オンライン: https://doi.org/10.1007/BFb0022433
35.

電子ブック
ＥＢ
35. Algebraic Specification Techniques in Object Oriented Programming Environments
by Ruth Breu
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 562
オンライン: http://dx.doi.org/10.1007/3-540-54972-2
36.

電子ブック
ＥＢ
36. Conclog: A Methodological Approach to Concurrent Logic Programming
by Jean-Marie Jacquet
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 556
オンライン: http://dx.doi.org/10.1007/3-540-54938-2
37.

電子ブック
ＥＢ
37. Software Development Environments and CASE Technology : European Symposium Königswinter, June 17–19, 1991 Proceedings
edited by A. Endres, H. Weber
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 509
オンライン: http://dx.doi.org/10.1007/3-540-54194-2
38.

電子ブック
ＥＢ
38. Distributed Memory Computing : 2nd European Conference, EDMCC2 Munich, FRG, April 22–24, 1991 Proceedings
edited by Arndt Bode
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 487
オンライン: http://dx.doi.org/10.1007/BFb0032916
39.

電子ブック
ＥＢ
39. Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings. 1st ed. 1991
edited by Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 534
オンライン: https://doi.org/10.1007/3-540-54496-8
40.

電子ブック
ＥＢ
40. Distributed Memory Computing : 2nd European Conference, EDMCC2, Munich, FRG, April 22-24, 1991. 1st ed. 1991
edited by Arndt Bode
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 487
オンライン: https://doi.org/10.1007/BFb0032916
41.

電子ブック
ＥＢ
41. New Results and New Trends in Computer Science : Graz, Austria, June 20-21, 1991 Proceedings. 1st ed. 1991
edited by Hermann Maurer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 555
オンライン: https://doi.org/10.1007/BFb0038178
42.

電子ブック
ＥＢ
42. Software Development Environments and Case Technology : European Symposium, Königswinter, June 17-19, 1991. Proceedings. 1st ed. 1991
edited by Albert Endres, Herbert Weber
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 509
オンライン: https://doi.org/10.1007/3-540-54194-2
43.

電子ブック
ＥＢ
43. ECOOP '91 European Conference on Object-Oriented Programming : Geneva, Switzerland, July 15-19, 1991. Proceedings. 1st ed. 1991
edited by Pierre America
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 512
オンライン: https://doi.org/10.1007/BFb0057011
44.

電子ブック
ＥＢ
44. Conclog: A Methodological Approach to Concurrent Logic Programming. 1st ed. 1991
by Jean-Marie Jacquet
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 556
オンライン: https://doi.org/10.1007/3-540-54938-2
45.

電子ブック
ＥＢ
45. Text Understanding in LILOG : Integrating Computational Linguistics and Artificial Intelligence. Final Report on the IBM Germany LILOG-Project. 1st ed. 1991
edited by Otthein Herzog, Claus-Rainer Rollinger
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Artificial Intelligence ; 546
オンライン: https://doi.org/10.1007/3-540-54594-8
46.

電子ブック
ＥＢ
46. Algebraic Specification Techniques in Object Oriented Programming Environments. 1st ed. 1991
by Ruth Breu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 562
オンライン: https://doi.org/10.1007/3-540-54972-2
47.

電子ブック
ＥＢ
47. Attribute Grammars and their Applications : International Conference, Paris, France, September 19-21, 1990. 1st ed. 1990
edited by Pierre Deransart, Martin Jourdan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 461
オンライン: https://doi.org/10.1007/3-540-53101-7
48.

電子ブック
ＥＢ
48. Graph-Grammars and Their Application to Computer Science : 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986
edited by Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 291
オンライン: http://dx.doi.org/10.1007/3-540-18771-5
49.

電子ブック
ＥＢ
49. Graph-Grammars and Their Application to Computer Science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. 1st ed. 1987
edited by Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 291
オンライン: https://doi.org/10.1007/3-540-18771-5
50.

電子ブック
ＥＢ
50. Logic Programming '86 : Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986. 1st ed. 1987
edited by Eiiti Wada
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 264
オンライン: https://doi.org/10.1007/3-540-18024-9
51.

電子ブック
ＥＢ
51. Foundations of Software Technology and Theoretical Computer Science : Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings. 1st ed. 1986
by Kesav V. Nori
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 241
オンライン: https://doi.org/10.1007/3-540-17179-7