1.

電子ブック
ＥＢ
1. Foundations of Software Technology and Theoretical Computer Science : 11th Conference, New Delhi, India, December 17-19, 1991. Proceedings. 1st ed. 1991
edited by Somenath Biswas, Kesav V. Nori
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 560
オンライン: https://doi.org/10.1007/3-540-54967-6
2.

電子ブック
ＥＢ
2. VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : Volume 2: Tutorials. 1st ed. 1991
edited by Soren Prehn, Hans Toetenel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 552
オンライン: https://doi.org/10.1007/BFb0019994
3.

電子ブック
ＥＢ
3. Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings. 1st ed. 1991
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 533
オンライン: https://doi.org/10.1007/3-540-54487-9
4.

電子ブック
ＥＢ
4. Fundamentals of Computation Theory : 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings. 1st ed. 1991
edited by Lothar Budach
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 529
オンライン: https://doi.org/10.1007/3-540-54458-5
5.

電子ブック
ＥＢ
5. VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991. Proceedings : Volume 1: Conference Contributions. 1st ed. 1991
edited by Soren Prehn, Hans Toetenel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 551
オンライン: https://doi.org/10.1007/3-540-54834-3
6.

電子ブック
ＥＢ
6. Advances in Petri Nets 1990. 1st ed. 1991
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 483
オンライン: https://doi.org/10.1007/3-540-53863-1
7.

電子ブック
ＥＢ
7. STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991. Proceedings. 1st ed. 1991
edited by Christian Choffrut, Matthias Jantzen
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 480
オンライン: https://doi.org/10.1007/BFb0020782
8.

電子ブック
ＥＢ
8. Mathematical Foundations of Computer Science 1991 : 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings. 1st ed. 1991
by Andrzej Tarlecki
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 520
オンライン: https://doi.org/10.1007/3-540-54345-7
9.

電子ブック
ＥＢ
9. Baltic Computer Science : Selected Papers. 1st ed. 1991
edited by Janis Barzdins, Dines Bjørner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 502
オンライン: https://doi.org/10.1007/BFb0019352
10.

電子ブック
ＥＢ
10. Advances in Petri Nets 1991. 1st ed. 1991
edited by Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 524
オンライン: https://doi.org/10.1007/BFb0019965