1.

電子ブック
ＥＢ
1. Real-Time: Theory in Practice : REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings
edited by J. W. Bakker, C. Huizing, W. P. Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 600
オンライン: http://dx.doi.org/10.1007/BFb0031984
2.

電子ブック
ＥＢ
2. Distributed Algorithms : 6th International Workshop, WDAG '92 Haifa, Israel, November 2–4, 1992 Proceedings
edited by Adrian Segall, Shmuel Zaks
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 647
オンライン: http://dx.doi.org/10.1007/3-540-56188-9
3.

電子ブック
ＥＢ
3. Network and Operating System Support for Digital Audio and Video : Second International Workshop Heidelberg, Germany, November 18–19 1991 Proceedings
edited by R. G. Herrtwich
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 614
オンライン: http://dx.doi.org/10.1007/3-540-55639-7
4.

電子ブック
ＥＢ
4. Advanced Database Systems : 10th British National Conference on Databases, BNCOD 10 Aberdeen, Scotland, July 6–8, 1992 Proceedings
edited by Peter M. D. Gray, Rob J. Lucas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 618
オンライン: http://dx.doi.org/10.1007/3-540-55693-1
5.

電子ブック
ＥＢ
5. PARLE '92 Parallel Architectures and Languages Europe : 4th International PARLE Conference Paris, France, June 15–18, 1992 Proceedings
edited by Daniel Etiemble, Jean-Claude Syre
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 605
オンライン: http://dx.doi.org/10.1007/3-540-55599-4
6.

電子ブック
ＥＢ
6. Theory of Computing and Systems : ISTCS '92, Israel Symposium Haifa, Israel, May 27–28, 1992 Proceedings
edited by D. Dolev, Z. Galil, M. Rodeh
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 601
オンライン: http://dx.doi.org/10.1007/BFb0035160
7.

電子ブック
ＥＢ
7. Computer Security — ESORICS 92 : Second European Symposium on Research in Computer Security Toulouse, France, November 23–25, 1992 Proceedings
edited by Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture notes in computer science ; 648
オンライン: http://dx.doi.org/10.1007/BFb0013888
8.

電子ブック
ＥＢ
8. Computer Aided Verification : 3rd International Workshop, CAV '91 Aalborg, Denmark, July 1–4, 1991 Proceedings
edited by Kim G. Larsen, Arne Skou
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 575
オンライン: http://dx.doi.org/10.1007/3-540-55179-4
9.

電子ブック
ＥＢ
9. Application and Theory of Petri Nets 1992 : 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings
edited by K. Jensen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 616
オンライン: http://dx.doi.org/10.1007/3-540-55676-1
10.

電子ブック
ＥＢ
10. Advances in Petri Nets 1992
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1992
シリーズ名: Lecture Notes in Computer Science ; 609
オンライン: http://dx.doi.org/10.1007/3-540-55610-9