1.

電子ブック
ＥＢ
1. Trees in Algebra and Programming - CAAP '96 : 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Proceedings. 1st ed. 1996
edited by Helene Kirchner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1059
オンライン: https://doi.org/10.1007/3-540-61064-2
2.

電子ブック
ＥＢ
2. STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings. 1st ed. 1996
edited by Claude Puech, Rüdiger Reischuk
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1046
オンライン: https://doi.org/10.1007/3-540-60922-9
3.

電子ブック
ＥＢ
3. Concurrency and Parallelism, Programming, Networking, and Security : Second Asian Computing Science Conference, ASIAN '96, Singapore, December 2 - 5, 1996, Proceedings. 1st ed. 1996
edited by Joxan Jaffar, Roland H.C. Yap
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1179
オンライン: https://doi.org/10.1007/BFb0027773
4.

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

電子ブック
ＥＢ
5. STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings. 1st ed. 1995
edited by Ernst W. Mayr, Claude Puech
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 900
オンライン: https://doi.org/10.1007/3-540-59042-0
6.

電子ブック
ＥＢ
6. STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings. 1st ed. 1994
edited by Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 775
オンライン: https://doi.org/10.1007/3-540-57785-8
7.

電子ブック
ＥＢ
7. Trees in Algebra and Programming - CAAP '94 : 19th International Colloquium, Edinburgh, U.K., April 11 - 13, 1994. Proceedings. 1st ed. 1994
edited by Sophie Tison
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 787
オンライン: https://doi.org/10.1007/BFb0017469
8.

電子ブック
ＥＢ
8. Automata, Languages, and Programming : 21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings. 1st ed. 1994
edited by Serge Abiteboul, Eli Shamir
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 820
オンライン: https://doi.org/10.1007/3-540-58201-0
9.

電子ブック
ＥＢ
9. Automata, Languages and Programming : 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings. 1st ed. 1993
edited by Andrzej Lingas, Rolf Karlsson, Svante Carlsson
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 700
オンライン: https://doi.org/10.1007/3-540-56939-1
10.

電子ブック
ＥＢ
10. CAAP '92 : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings. 1st ed. 1992
edited by Jean-Claude Raoult
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 581
オンライン: https://doi.org/10.1007/3-540-55251-0
11.

電子ブック
ＥＢ
11. Baltic Computer Science : Selected Papers. 1st ed. 1991
edited by Janis Barzdins, Dines Bjørner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 502
オンライン: https://doi.org/10.1007/BFb0019352
12.

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

電子ブック
ＥＢ
13. Mathematical Foundations of Programming Semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings. 1st ed. 1990
edited by Michael G. Main, Austin C. Melton, Michael W. Mislove, David A. Schmidt
出版情報: New York, NY : Springer New York : Imprint: Springer, 1990
シリーズ名: Lecture Notes in Computer Science ; 442
オンライン: https://doi.org/10.1007/BFb0040251
14.

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

電子ブック
ＥＢ
15. Mathematical Foundations of Computer Science 1986 : 12th Symposium held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings. 1st ed. 1986
edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 233
オンライン: https://doi.org/10.1007/BFb0016229
16.

電子ブック
ＥＢ
16. Automata, Languages, and Programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (EATCS sign). Proceedings. 1st ed. 1984
edited by J. Paredaens
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
シリーズ名: Lecture Notes in Computer Science ; 172
オンライン: https://doi.org/10.1007/3-540-13345-3