1.

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

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

電子ブック
ＥＢ
3. Trends in Distributed Systems CORBA and Beyond : International Workshop TreDS '96 Aachen, Germany, October 1–2, 1996 Proceedings
edited by Otto Spaniol, Claudia Linnhoff-Popien, Bernd Meyer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1161
オンライン: http://dx.doi.org/10.1007/3-540-61842-2
4.

電子ブック
ＥＢ
4. Ada in Europe : Second International Eurospace — Ada-Europe Symposium Frankfurt/Main, Germany, October 2–6, 1995 Proceedings
edited by Marcel Toussaint
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1031
オンライン: http://dx.doi.org/10.1007/BFb0015477
5.

電子ブック
ＥＢ
5. Principles and Practice of Constraint Programming — CP96 : Second International Conference, CP96 Cambridge, MA, USA, August 19–22, 1996 Proceedings
edited by Eugene C. Freuder
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1118
オンライン: http://dx.doi.org/10.1007/3-540-61551-2
6.

電子ブック
ＥＢ
6. Parallel Symbolic Languages and Systems : International Workshop PSLS'95 Beaune, France, October 2–4, 1995 Proceedings
edited by Takayasu Ito, Robert H. Halstead, Christian Queinnec
出版情報: Berlin, Heidelberg : Springer-Verlag, 1996
シリーズ名: Lecture Notes in Computer Science ; 1068
オンライン: http://dx.doi.org/10.1007/BFb0023052
7.

電子ブック
ＥＢ
7. Principles and Practice of Constraint Programming — CP '95 : First International Conference, CP '95 Cassis, France, September 19–22, 1995 Proceedings
edited by Ugo Montanari, Francesca Rossi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 976
オンライン: http://dx.doi.org/10.1007/3-540-60299-2
8.

電子ブック
ＥＢ
8. ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings
edited by Jonathan P. Bowen, Michael G. Hinchey
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 967
オンライン: http://dx.doi.org/10.1007/3-540-60271-2
9.

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

電子ブック
ＥＢ
10. Parallel Algorithms for Irregularly Structured Problems : Second International Workshop, IRREGULAR '95 Lyon, France, September 4–6, 1995 Proceedings
edited by Afonso Ferreira, José Rolim
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 980
オンライン: http://dx.doi.org/10.1007/3-540-60321-2