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