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. 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
3.

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

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

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

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