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. Concurrency: Theory, Language, and Architecture : UK/Japan Workshop, Oxford, UK, September 25–27, 1989, Proceedings. 1st ed. 1991
edited by Akinori Yonezawa, Takayasu Ito
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 491
オンライン: https://doi.org/10.1007/3-540-53932-8
3.

電子ブック
ＥＢ
3. CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings. 1st ed. 1991
edited by Jos C.M. Baeten, Jan F. Groote
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 527
オンライン: https://doi.org/10.1007/3-540-54430-5
4.

電子ブック
ＥＢ
4. Theoretical Aspects of Computer Software : International Conference TACS ’91, Sendai, Japan, September 24–27, 1991. Proceedings. 1st ed. 1991
edited by Takayasu Ito, Albert R. Meyer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 526
オンライン: https://doi.org/10.1007/3-540-54415-1
5.

電子ブック
ＥＢ
5. Specification and Compositional Verification of Real-Time Systems. 1st ed. 1991
by Jozef Hooman
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 558
オンライン: https://doi.org/10.1007/3-540-54947-1
6.

電子ブック
ＥＢ
6. Algebraic Specification Techniques in Object Oriented Programming Environments. 1st ed. 1991
by Ruth Breu
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 562
オンライン: https://doi.org/10.1007/3-540-54972-2
7.

電子ブック
ＥＢ
7. Category Theory and Computer Science : Paris, France, September 3-6, 1991. Proceedings. 1st ed. 1991
edited by David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew Pitts, Axel Poigne, David E. Rydeheard
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 530
オンライン: https://doi.org/10.1007/BFb0013452
8.

電子ブック
ＥＢ
8. TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP '91). 1st ed. 1991
edited by S. Abramsky, T.S.E. Maibaum
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 493
オンライン: https://doi.org/10.1007/3-540-53982-4