1.

電子ブック
ＥＢ
1. Computing and Combinatorics : Second Annual International Conference, COCOON '96 Hong Kong, June 17–19, 1996 Proceedings
edited by Jin-Yi Cai, Chak Kuen Wong
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1090
オンライン: http://dx.doi.org/10.1007/3-540-61332-3
2.

電子ブック
ＥＢ
2. Fundamentals of Computation Theory : 10th International Conference, FCT '95 Dresden, Germany, August 22–25, 1995 Proceedings
edited by Horst Reichel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 965
オンライン: http://dx.doi.org/10.1007/3-540-60249-6
3.

電子ブック
ＥＢ
3. Graph-Theoretic Concepts in Computer Science : 21st International Workshop, WG '95 Aachen, Germany, June 20–22, 1995 Proceedings
edited by Manfred Nagl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1017
オンライン: http://dx.doi.org/10.1007/3-540-60618-1
4.

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

電子ブック
ＥＢ
5. Computing and Combinatorics : First Annual International Conference, COCOON '95 Xi'an, China, August 24–26, 1995 Proceedings
edited by Ding-Zhu Du, Ming Li
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 959
オンライン: http://dx.doi.org/10.1007/BFb0030813
6.

電子ブック
ＥＢ
6. Foundations of Software Technology and Theoretical Computer Science : 15th Conference Bangalore, India, December 18–20, 1995 Proceedings
edited by P. S. Thiagarajan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1026
オンライン: http://dx.doi.org/10.1007/3-540-60692-0
7.

電子ブック
ＥＢ
7. Results and Trends in Theoretical Computer Science : Colloquium in Honor of Arto Salomaa Graz, Austria, June 10–11, 1994 Proceedings
edited by Juliani Karhumäki, Hermann Maurer, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 812
オンライン: http://dx.doi.org/10.1007/3-540-58131-6
8.

電子ブック
ＥＢ
8. Foundation of Software Technology and Theoretical Computer Science : 14th Conference Madras, India, December 15–17, 1994 Proceedings
edited by P. S. Thiagarajan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 880
オンライン: http://dx.doi.org/10.1007/3-540-58715-2
9.

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

電子ブック
ＥＢ
10. Computer Science Logic : 6th Workshop, CSL '92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers
edited by E. Börger, G. Jäger, H. Kleine Büning, S. Martini, M. M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 702
オンライン: http://dx.doi.org/10.1007/3-540-56992-8
11.

電子ブック
ＥＢ
11. Graph-Theoretic Concepts in Computer Science : 18th International Workshop, WG '92 Wiesbaden-Naurod, Germany, June 18–20, 1992 Proceedings
edited by Ernst W. Mayr
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 657
オンライン: http://dx.doi.org/10.1007/3-540-56402-0
12.

電子ブック
ＥＢ
12. Fundamentals of Computation Theory : 9th International Conference, FCT '93 Szeged, Hungary, August 23–27, 1993 Proceedings
edited by Zoltán Ésik
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 710
オンライン: http://dx.doi.org/10.1007/3-540-57163-9
13.

電子ブック
ＥＢ
13. Mathematical Foundations of Computer Science 1993 : 18th International Symposium, MFCS'93 Gdańsk, Poland, August 30–September 3, 1993 Proceedings
edited by Andrzej M. Borzyszkowski, Stefan Sokołowski
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 711
オンライン: http://dx.doi.org/10.1007/3-540-57182-5
14.

電子ブック
ＥＢ
14. Automata, Languages and Programming : 19th International Colloquium Wien, Austria, July 13–17, 1992 Proceedings
edited by W. Kuich
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 623
オンライン: http://dx.doi.org/10.1007/3-540-55719-9
15.

電子ブック
ＥＢ
15. LATIN '92 : 1st Latin American Symposium on Theoretical Informatics São Paulo, Brazil, April 6–10, 1992 Proceedings
edited by Imre Simon
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 583
オンライン: http://dx.doi.org/10.1007/BFb0023811
16.

電子ブック
ＥＢ
16. STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13–15, 1992 Proceedings
edited by Alain Finkel, Matthias Jantzen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 577
オンライン: http://dx.doi.org/10.1007/3-540-55210-3
17.

電子ブック
ＥＢ
17. Automata, Languages and Programming : 18th International Colloquium Madrid, Spain, July 8–12, 1991 Proceedings
edited by Javier Leach Albert, Burkhard Monien, Mario Rodríguez Artalejo
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 510
オンライン: http://dx.doi.org/10.1007/3-540-54233-7
18.

電子ブック
ＥＢ
18. Fundamentals of Computation Theory : 8th International Conference, FCT '91 Gosen, Germany, September 9–13, 1991 Proceedings
edited by L. Budach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 529
オンライン: http://dx.doi.org/10.1007/3-540-54458-5
19.

電子ブック
ＥＢ
19. STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings
edited by Christian Choffrut, Matthias Jantzen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 480
オンライン: http://dx.doi.org/10.1007/BFb0020782
20.

電子ブック
ＥＢ
20. Mathematical Foundations of Computer Science 1990 : Banská Bystrica, Czechoslovakia August 27–31, 1990 Proceedings
edited by Branislav Rovan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 452
オンライン: http://dx.doi.org/10.1007/BFb0029591
21.

電子ブック
ＥＢ
21. Automata, Languages and Programming : 17th International Colloquium Warwick University, England, July 16–20, 1990 Proceedings
edited by Michael S. Paterson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 443
オンライン: http://dx.doi.org/10.1007/BFb0032016
22.

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

電子ブック
ＥＢ
23. Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland August 28 – September 1, 1989 Proceedings
edited by Antoni Kreczmar, Grazyna Mirkowska
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 379
オンライン: http://dx.doi.org/10.1007/3-540-51486-4
24.

電子ブック
ＥＢ
24. STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science Paderborn, FRG, February 16–18, 1989 Proceedings
edited by B. Monien, R. Cori
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 349
オンライン: http://dx.doi.org/10.1007/BFb0028968
25.

電子ブック
ＥＢ
25. Fundamentals of Computation Theory : International Conference FCT '89 Szeged, Hungary, August 21–25, 1989 Proceedings
edited by J. Csirik, J. Demetrovics, F. Gécseg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 380
オンライン: http://dx.doi.org/10.1007/3-540-51498-8
26.

電子ブック
ＥＢ
26. Automata, Languages and Programming : 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings
edited by Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Rocca
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 372
オンライン: http://dx.doi.org/10.1007/BFb0035746
27.

電子ブック
ＥＢ
27. STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science Bordeaux, France, February 11–13, 1988 Proceedings
edited by Robert Cori, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 294
オンライン: http://dx.doi.org/10.1007/BFb0035825
28.

電子ブック
ＥＢ
28. Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22–26, 1987 Proceedings
edited by Lothar Budach, Rais Gatič Bukharajev, Oleg Borisovič Lupanov
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 278
オンライン: http://dx.doi.org/10.1007/3-540-18740-5