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. Trends in Distributed Systems: CORBA and Beyond : International Workshop TreDS '96 Aachen, Germany, October 1 - 2, 1996; Proceedings. 1st ed. 1996
edited by Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
シリーズ名: Lecture Notes in Computer Science ; 1161
オンライン: https://doi.org/10.1007/3-540-61842-2
3.

電子ブック
ＥＢ
3. Automata, Languages and Programming : 22nd International Colloquium, ICALP 95, Szeged, Hungary, July 10 - 14, 1995. Proceedings. 1st ed. 1995
edited by Zoltan Fülöp, Ferenc Gecseg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 944
オンライン: https://doi.org/10.1007/3-540-60084-1
4.

電子ブック
ＥＢ
4. Languages and Compilers for Parallel Computing : 6th International Workshop, Portland, Oregon, USA, August 12 - 14, 1993. Proceedings. 1st ed. 1994
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1994
シリーズ名: Lecture Notes in Computer Science ; 768
オンライン: https://doi.org/10.1007/3-540-57659-2
5.

電子ブック
ＥＢ
5. Functional Programming, Concurrency, Simulation and Automated Reasoning : International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. 1st ed. 1993
edited by Peter E. Lauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 693
オンライン: https://doi.org/10.1007/3-540-56883-2
6.

電子ブック
ＥＢ
6. Design and Implementation of Symbolic Computation Systems : International Symposium, DISCO '92, Bath, U.K., April 13-15, 1992. Proceedings. 1st ed. 1993
edited by John Fitch
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 721
オンライン: https://doi.org/10.1007/3-540-57272-4
7.

電子ブック
ＥＢ
7. Languages and Compilers for Parallel Computing : 5th International Workshop, New Haven, Connecticut, USA, August 3-5, 1992. Proceedings. 1st ed. 1993
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 757
オンライン: https://doi.org/10.1007/3-540-57502-2
8.

電子ブック
ＥＢ
8. CONCUR'93 : 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993. Proceedings. 1st ed. 1993
edited by Eike Best
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1993
シリーズ名: Lecture Notes in Computer Science ; 715
オンライン: https://doi.org/10.1007/3-540-57208-2
9.

電子ブック
ＥＢ
9. Languages and Compilers for Parallel Computing : Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991. Proceedings. 1st ed. 1992
edited by Utpal Banerjee, David Gelernter, Alex Nicolau, David Padua
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1992
シリーズ名: Lecture Notes in Computer Science ; 589
オンライン: https://doi.org/10.1007/BFb0038653
10.

電子ブック
ＥＢ
10. CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings. 1st ed. 1991
edited by Jos C.M. Baeten, Jan F. Groote
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 527
オンライン: https://doi.org/10.1007/3-540-54430-5
11.

電子ブック
ＥＢ
11. Algebraic Specification Techniques in Object Oriented Programming Environments. 1st ed. 1991
by Ruth Breu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 562
オンライン: https://doi.org/10.1007/3-540-54972-2
12.

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