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

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

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

電子ブック
ＥＢ
5. Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings. 1st ed. 1991
edited by Edmund M. Clarke, Robert P. Kurshan
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 531
オンライン: https://doi.org/10.1007/BFb0023712
6.

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

電子ブック
ＥＢ
7. Programming Language Implementation and Logic Programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings. 1st ed. 1991
edited by Jan Maluszynski, Martin Wirsing
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
シリーズ名: Lecture Notes in Computer Science ; 528
オンライン: https://doi.org/10.1007/3-540-54444-5
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