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. Recent Trends in Data Type Specification : 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings. 1st ed. 1991
edited by Hartmut Ehrig, Klaus P. Jantke, Fernando Orejas, Horst Reichel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 534
オンライン: https://doi.org/10.1007/3-540-54496-8
3.

電子ブック
ＥＢ
3. Foundations of Object-Oriented Languages : REX School/Workshop, Noordwijkerhout, The Netherlands, May 28 - June 1, 1990. 1st ed. 1991
edited by J.W. de Bakker, W.P. de Roever, G. Rozenberg
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 489
オンライン: https://doi.org/10.1007/BFb0019438
4.

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

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

電子ブック
ＥＢ
6. Functional Programming Languages and Computer Architecture : 5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 Proceedings. 1st ed. 1991
edited by John Hughes
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 523
オンライン: https://doi.org/10.1007/3-540-54396-1
7.

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

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

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

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