1.

電子ブック
ＥＢ
1. Categorical Methods in Computer Science : With Aspects from Topology. 1st ed. 1989
edited by Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 393
オンライン: https://doi.org/10.1007/3-540-51722-7
2.

電子ブック
ＥＢ
2. Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings. 1st ed. 1989
edited by Albert R. Meyer, Michael A. Taitslin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 363
オンライン: https://doi.org/10.1007/3-540-51237-3
3.

電子ブック
ＥＢ
3. Foundations of Software Technology and Theoretical Computer Science : Eighth Conference, Pune, India, December 21-23, 1988. Proceedings. 1st ed. 1988
edited by Kesav V. Nori, Sanjeev Kumar
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 338
オンライン: https://doi.org/10.1007/3-540-50517-2
4.

電子ブック
ＥＢ
4. Automata, Languages and Programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings. 1st ed. 1988
edited by Timo Lepistö, Arto Salomaa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 317
オンライン: https://doi.org/10.1007/3-540-19488-6
5.

電子ブック
ＥＢ
5. System Development and Ada : CRAI Workshop on Software Factories and Ada, Capri, Italy, May 26-30, 1986, Proceedings. 1st ed. 1987
edited by A. Nico Habermann, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 275
オンライン: https://doi.org/10.1007/3-540-18341-8
6.

電子ブック
ＥＢ
6. Foundations of Software Technology and Theoretical Computer Science : Seventh Conference, Pune, India, December 17-19, 1987. Proceedings. 1st ed. 1987
edited by Kesav V. Nori
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 287
オンライン: https://doi.org/10.1007/3-540-18625-5
7.

電子ブック
ＥＢ
7. RIMS Symposium on Software Science and Engineering II : Proceedings of the Symposia 1983 and 1984, Kyoto, Japan. 1st ed. 1986
edited by Eiichi Goto, Keijiro Araki, Taiichi Yuasa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 220
オンライン: https://doi.org/10.1007/3-540-16470-7
8.

電子ブック
ＥＢ
8. Foundations of Software Technology and Theoretical Computer Science : Sixth Conference, New Delhi, India, December 18-20, 1986. Proceedings. 1st ed. 1986
by Kesav V. Nori
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 241
オンライン: https://doi.org/10.1007/3-540-17179-7
9.

電子ブック
ＥＢ
9. Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85). 1st ed. 1985
edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
シリーズ名: Lecture Notes in Computer Science ; 185
オンライン: https://doi.org/10.1007/3-540-15198-2
10.

電子ブック
ＥＢ
10. Seminar on Concurrency : Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984. 1st ed. 1985
edited by Stephen D. Brookes, Andrew W. Roscoe, Glynn Winskel
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
シリーズ名: Lecture Notes in Computer Science ; 197
オンライン: https://doi.org/10.1007/3-540-15670-4