1.

電子ブック
ＥＢ
1. Computer Vision, Virtual Reality and Robotics in Medicine : First International Conference, CVRMed ’95, Nice, France, April 3–6, 1995 Proceedings
edited by Nicholas Ayache
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1995
シリーズ名: Lecture Notes in Computer Science ; 905
オンライン: http://dx.doi.org/10.1007/978-3-540-49197-2
2.

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

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

電子ブック
ＥＢ
4. Towards a CSCW Framework for Scientific Cooperation in Europe
edited by Hannes P. Lubich
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 889
オンライン: http://dx.doi.org/10.1007/3-540-58844-2
5.

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

電子ブック
ＥＢ
6. Tractable Reasoning in Artificial Intelligence
by Marco Cadoli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 941
オンライン: http://dx.doi.org/10.1007/3-540-60058-2
7.

電子ブック
ＥＢ
7. Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2 Cambridge, United Kingdom, August 3–5, 1994 Selected Papers
edited by Jacques Calmet, John A. Campbell
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 958
オンライン: http://dx.doi.org/10.1007/3-540-60156-2
8.

電子ブック
ＥＢ
8. Computational Learning Theory : Second European Conference, EuroCOLT '95 Barcelona, Spain, March 13–15, 1995 Proceedings
edited by Paul Vitányi
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence ; 904
オンライン: http://dx.doi.org/10.1007/3-540-59119-2
9.

電子ブック
ＥＢ
9. Algorithms, Concurrency and Knowledge : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11–13, 1995 Proceedings
edited by Kanchana Kanchanasut, Jean-Jacques Lévy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1023
オンライン: http://dx.doi.org/10.1007/3-540-60688-2
10.

電子ブック
ＥＢ
10. Combinatorial Pattern Matching : 6th Annual Symposium, CPM 95 Espoo, Finland, July 5–7, 1995 Proceedings
edited by Zvi Galil, Esko Ukkonen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 937
オンライン: http://dx.doi.org/10.1007/3-540-60044-2
11.

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

電子ブック
ＥＢ
12. SOFSEM '95: Theory and Practice of Informatics : 22nd Seminar on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic November 23 – December 1, 1995 Proceedings
edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1995
シリーズ名: Lecture Notes in Computer Science ; 1012
オンライン: http://dx.doi.org/10.1007/3-540-60609-2