1.

電子ブック
ＥＢ
1. Formal Methods in Computer-Aided Design : First International Conference, FMCAD '96 Palo Alto, CA, USA, November 6–8, 1996 Proceedings
edited by Mandayam Srivas, Albert Camilleri
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1166
オンライン: http://dx.doi.org/10.1007/BFb0031795
2.

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

電子ブック
ＥＢ
3. Theorem Proving in Higher Order Logics : 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1125
オンライン: http://dx.doi.org/10.1007/BFb0105392
4.

電子ブック
ＥＢ
4. Computer Aided Verification : 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
edited by Rajeev Alur, Thomas A. Henzinger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1102
オンライン: http://dx.doi.org/10.1007/3-540-61474-5
5.

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

電子ブック
ＥＢ
6. Algebraic Methodology and Software Technology : 5th International Conference, AMAST '96 Munich, Germany, July 1–5, 1996 Proceedings
edited by Martin Wirsing, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1101
オンライン: http://dx.doi.org/10.1007/BFb0014301
7.

電子ブック
ＥＢ
7. Perspectives of System Informatics : Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1181
オンライン: http://dx.doi.org/10.1007/3-540-62064-8
8.

電子ブック
ＥＢ
8. Computer Aided Verification : 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings
edited by Pierre Wolper
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 939
オンライン: http://dx.doi.org/10.1007/3-540-60045-0
9.

電子ブック
ＥＢ
9. Mathematical Foundations of Computer Science 1995 : 20th International Symposium, MFCS '95 Prague, Czech Republic, August 28–September 1, 1995 Proceedings
edited by Jiří Wiedermann, Petr Hájek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 969
オンライン: http://dx.doi.org/10.1007/3-540-60246-1
10.

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

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

電子ブック
ＥＢ
12. Algebraic Methodology and Software Technology : 4th International Conference, AMAST '95 Montreal, Canada, July 3–7, 1995 Proceedings
edited by V. S. Alagar, Maurice Nivat
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 936
オンライン: http://dx.doi.org/10.1007/3-540-60043-4
13.

電子ブック
ＥＢ
13. Mathematics of Program Construction : Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings
edited by Bernhard Möller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 947
オンライン: http://dx.doi.org/10.1007/3-540-60117-1
14.

電子ブック
ＥＢ
14. Efficient Checking of Polynomials and Proofs and the Hardness of Appoximation Problems
edited by Madhu Sudan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1001
オンライン: http://dx.doi.org/10.1007/3-540-60615-7
15.

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

電子ブック
ＥＢ
16. Higher Order Logic Theorem Proving and Its Applications : 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings
edited by Jeffrey J. Joyce, Carl-Johan H. Seger
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 780
オンライン: http://dx.doi.org/10.1007/3-540-57826-9
17.

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

電子ブック
ＥＢ
18. Isabelle : A Generic Theorem Prover
edited by Lawrence C. Paulson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 828
オンライン: http://dx.doi.org/10.1007/BFb0030541
19.

電子ブック
ＥＢ
19. Static Analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28–30, 1994 Proceedings
edited by Baudouin Charlier
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 864
オンライン: http://dx.doi.org/10.1007/3-540-58485-4
20.

電子ブック
ＥＢ
20. Mathematical Foundations of Computer Science 1994 : 19th International Symposium, MFCS'94 Košice, Slovakia, August 22–26, 1994 Proceedings
edited by Igor Prívara, Branislav Rovan, Peter Ruzička
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 841
オンライン: http://dx.doi.org/10.1007/3-540-58338-6
21.

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

電子ブック
ＥＢ
22. Formal Methods in Programming and Their Applications : International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings
edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 735
オンライン: http://dx.doi.org/10.1007/BFb0039695
23.

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

電子ブック
ＥＢ
24. Progamming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings
edited by Maurice Bruynooghe, Jaan Penjam
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 714
オンライン: http://dx.doi.org/10.1007/3-540-57186-8
25.

電子ブック
ＥＢ
25. Mathematical Foundations of Computer Science 1992 : 17th International Symposium Prague, Czechoslovakia, August 24–28, 1992 Proceedings
edited by Ivan M. Havel, Václav Koubek
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 629
オンライン: http://dx.doi.org/10.1007/3-540-55808-X
26.

電子ブック
ＥＢ
26. Programming Language Implementation and Logic Programming : 4th International Symposium, PLILP'92 Leuven, Belgium, August 26–28, 1992 Proceedings
edited by Maurice Bruynooghe, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 631
オンライン: http://dx.doi.org/10.1007/3-540-55844-6
27.

電子ブック
ＥＢ
27. ESOP '92 : 4th European Symposium on Programming Rennes, France, February 26–28, 1992 Proceedings
edited by Bernd Krieg-Brückner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 582
オンライン: http://dx.doi.org/10.1007/3-540-55253-7
28.

電子ブック
ＥＢ
28. Category Theory and Computer Science : Paris, France, September 3–6, 1991 Proceedings
edited by David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 530
オンライン: http://dx.doi.org/10.1007/BFb0013452
29.

電子ブック
ＥＢ
29. Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
edited by Edmund M. Clarke, Robert P. Kurshan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 531
オンライン: http://dx.doi.org/10.1007/BFb0023712
30.

電子ブック
ＥＢ
30. Mathematical Foundations of Computer Science 1991 : 16th International Symposium Kazimierz Dolny, Poland, September 9–13, 1991 Proceedings
edited by Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 520
オンライン: http://dx.doi.org/10.1007/3-540-54345-7
31.

電子ブック
ＥＢ
31. TAPSOFT '91 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991
edited by S. Abramsky, T. S. E. Maibaum
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 493
オンライン: http://dx.doi.org/10.1007/3-540-53982-4
32.

電子ブック
ＥＢ
32. Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91 Passau, Germany, August 26–28, 1991 Proceedings
edited by Jan Maluszyński, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 528
オンライン: http://dx.doi.org/10.1007/3-540-54444-5
33.

電子ブック
ＥＢ
33. Programming Language Implementation and Logic Programming : International Workshop PLILP '90 Linköping, Sweden, August 20–22, 1990 Proceedings
edited by Pierre Deransart, Jan Maluszyński
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 456
オンライン: http://dx.doi.org/10.1007/BFb0024171
34.

電子ブック
ＥＢ
34. Automatic Verification Methods for Finite State Systems : International Workshop, Grenoble, France June 12–14, 1989 Proceedings
edited by Joseph Sifakis
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 407
オンライン: http://dx.doi.org/10.1007/3-540-52148-8
35.

電子ブック
ＥＢ
35. ESOP '90 : 3rd European Symposium on Programming Copenhagen, Denmark, May 15–18, 1990 Proceedings
edited by Neil Jones
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 432
オンライン: http://dx.doi.org/10.1007/3-540-52592-0
36.

電子ブック
ＥＢ
36. Termination Proofs for Logic Programs
by Lutz Plümer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 446
オンライン: http://dx.doi.org/10.1007/3-540-52837-7
37.

電子ブック
ＥＢ
37. Foundations of Software Technology and Theoretical Computer Science : Tenth Conference, Bangalore, India December 17–19, 1990 Proceedings
edited by Kesav V. Nori, C. E. Veni Madhavan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 472
オンライン: http://dx.doi.org/10.1007/3-540-53487-3
38.

電子ブック
ＥＢ
38. TAPSOFT '89 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
edited by Josep Díaz, Fernando Orejas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 351
オンライン: http://dx.doi.org/10.1007/3-540-50939-9
39.

電子ブック
ＥＢ
39. Temporal Logic in Specification : Altrincham, UK, April 8–10, 1987 Proceedings
edited by B. Banieqbal, H. Barringer, A. Pnueli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 398
オンライン: http://dx.doi.org/10.1007/3-540-51803-7
40.

電子ブック
ＥＢ
40. Mathematics of Program Construction : 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings
edited by J. L. A. Snepscheut
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 375
オンライン: http://dx.doi.org/10.1007/3-540-51305-1
41.

電子ブック
ＥＢ
41. Categorical Methods in Computer Science With Aspects from Topology
edited by H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 393
オンライン: http://dx.doi.org/10.1007/3-540-51722-7
42.

電子ブック
ＥＢ
42. Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings
edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 389
オンライン: http://dx.doi.org/10.1007/BFb0018340
43.

電子ブック
ＥＢ
43. Logic at Botik '89 : Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky, USSR, July 3–8, 1989 Proceedings
edited by Albert R. Meyer, Michael A. Taitslin
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 363
オンライン: http://dx.doi.org/10.1007/3-540-51237-3
44.

電子ブック
ＥＢ
44. TAPSOFT '89 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
edited by J. Díaz, F. Orejas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 352
オンライン: http://dx.doi.org/10.1007/3-540-50940-2
45.

電子ブック
ＥＢ
45. TAPSOFT '87 : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 249
オンライン: http://dx.doi.org/10.1007/3-540-17660-8
46.

電子ブック
ＥＢ
46. TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 250
オンライン: http://dx.doi.org/10.1007/BFb0014968