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. EUROCAL '87 : European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings. 1st ed. 1989
edited by James H. Davenport
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 378
オンライン: https://doi.org/10.1007/3-540-51517-8
3.

電子ブック
ＥＢ
3. TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989 : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL). 1st ed. 1989
edited by Josep Diaz, Fernando Orejas
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 352
オンライン: https://doi.org/10.1007/3-540-50940-2
4.

電子ブック
ＥＢ
4. Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings. 1st ed. 1989
edited by Behnam Banieqbal, Howard Barringer, Amir Pnueli
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 398
オンライン: https://doi.org/10.1007/3-540-51803-7
5.

電子ブック
ＥＢ
5. Finite Representations of CCS and TCSP Programs by Automata and Petri Nets. 1st ed. 1989
by Dirk A. Taubner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 369
オンライン: https://doi.org/10.1007/3-540-51525-9
6.

電子ブック
ＥＢ
6. Rewriting Techniques and Applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989, Proceedings. 1st ed. 1989
edited by Nachum Dershowitz
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 355
オンライン: https://doi.org/10.1007/3-540-51081-8
7.

電子ブック
ＥＢ
7. Compiler Compilers and High Speed Compilation : 2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988. Proceedings. 1st ed. 1989
edited by Dieter Hammer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 371
オンライン: https://doi.org/10.1007/3-540-51364-7
8.

電子ブック
ＥＢ
8. Interactive Relational Database Design : A Logic Programming Implementation. 1st ed. 1989
by Tapan P. Bagchi, Vinay K. Chaudhri
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 402
オンライン: https://doi.org/10.1007/BFb0019944
9.

電子ブック
ＥＢ
9. Logic Programming '88 : Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988. 1st ed. 1989
edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Artificial Intelligence ; 383
オンライン: https://doi.org/10.1007/3-540-51564-X
10.

電子ブック
ＥＢ
10. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings. 1st ed. 1989
edited by Egon Börger, Hans Kleine Büning, Michael M. Richter
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 385
オンライン: https://doi.org/10.1007/BFb0026291