1.

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

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

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
11. Foundations of Software Technology and Theoretical Computer Science : 13th Conference Bombay, India, December 15–17, 1993 Proceedings
edited by Rudrapatna K. Shyamasundar
出版情報: Berlin, Heidelberg : Springer-Verlag, 1993
シリーズ名: Lecture Notes in Computer Science ; 761
オンライン: http://dx.doi.org/10.1007/3-540-57529-4
12.

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

電子ブック
ＥＢ
13. Foundations of Software Technology and Theoretical Computer Science : 12th Conference New Delhi, India, December 18–20, 1992 Proceedings
edited by Rudrapatna Shyamasundar
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 652
オンライン: http://dx.doi.org/10.1007/3-540-56287-7
14.

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

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

電子ブック
ＥＢ
16. Foundations of Software Technology and Theoretical Computer Science : 11th Conference, New Delhi, India December 17–19, 1991 Proceedings
edited by Somenath Biswas, Kesav V. Nori
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 560
オンライン: http://dx.doi.org/10.1007/3-540-54967-6
17.

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

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

電子ブック
ＥＢ
19. Combinatorics on Traces
by Volker Diekert
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 454
オンライン: http://dx.doi.org/10.1007/3-540-53031-2
20.

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

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

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

電子ブック
ＥＢ
23. CSL '88 : 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 385
オンライン: http://dx.doi.org/10.1007/BFb0026291
24.

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

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

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