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. Graph Grammars and Their Application to Computer Science : 5th International Workshop Williamsburg, VA, USA, November 13–18, 1994 Selected Papers
edited by Janice Cuny, Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1073
オンライン: http://dx.doi.org/10.1007/3-540-61228-9
3.

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

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

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

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

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

電子ブック
ＥＢ
8. Graph Transformations in Computer Science : International Workshop Dagstuhl Castle, Germany, January 4–8, 1993 Proceedings
edited by Hans Jürgen Schneider, Hartmut Ehrig
出版情報: Berlin, Heidelberg : Springer-Verlag, 1994
シリーズ名: Lecture Notes in Computer Science ; 776
オンライン: http://dx.doi.org/10.1007/3-540-57787-4
9.

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

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

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

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

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

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

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

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

電子ブック
ＥＢ
17. Hyperedge Replacement: Grammars and Languages
by Annegret Habel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 643
オンライン: http://dx.doi.org/10.1007/BFb0013875
18.

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

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

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

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

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

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

電子ブック
ＥＢ
24. MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems Rostock, Germany, May 6–9, 1991 Proceedings
edited by Bernhard Thalheim, János Demetrovics, H. -D. Gerhardt
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 495
オンライン: http://dx.doi.org/10.1007/3-540-54009-1
25.

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

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

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

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

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

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