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

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

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

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

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

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

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

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

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

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

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

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

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

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