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

電子ブック
ＥＢ
11. Foundations of Equational Logic Programming. 1st ed. 1989
by Steffen Hölldobler
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Artificial Intelligence ; 353
オンライン: https://doi.org/10.1007/BFb0015791
12.

電子ブック
ＥＢ
12. Category Theory and Computer Science : Manchester, UK, September 5-8, 1989. Proceedings. 1st ed. 1989
edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew Pitts, Axel Poigne
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 389
オンライン: https://doi.org/10.1007/BFb0018340
13.

電子ブック
ＥＢ
13. A Connotational Theory of Program Structure. 1st ed. 1987
by James S. Royer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 273
オンライン: https://doi.org/10.1007/3-540-18253-5
14.

電子ブック
ＥＢ
14. Negation and Control in Prolog. 1st ed. 1986
by Lee Naish
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1986
シリーズ名: Lecture Notes in Computer Science ; 238
オンライン: https://doi.org/10.1007/BFb0021681
15.

電子ブック
ＥＢ
15. The Munich Project CIP : Volume I: The Wide Spectrum Language CIP-L. 1st ed. 1985
SpringerLink (Online service)
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
シリーズ名: Lecture Notes in Computer Science ; 183
オンライン: https://doi.org/10.1007/3-540-15187-7
16.

電子ブック
ＥＢ
16. Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings. 1st ed. 1984
edited by G. Kahn, D.B. MacQueen, G. Plotkin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
シリーズ名: Lecture Notes in Computer Science ; 173
オンライン: https://doi.org/10.1007/3-540-13346-1
17.

電子ブック
ＥＢ
17. Programming Languages and their Definition : Selected Papers. 1st ed. 1984
by H. Bekic ; edited by C. B. Jones
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
シリーズ名: Lecture Notes in Computer Science ; 177
オンライン: https://doi.org/10.1007/BFb0048933
18.

電子ブック
ＥＢ
18. Automata, Languages, and Programming : 11th Colloquium, Antwerp, Belgium, July 16-20, 1984 (EATCS sign). Proceedings. 1st ed. 1984
edited by J. Paredaens
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
シリーズ名: Lecture Notes in Computer Science ; 172
オンライン: https://doi.org/10.1007/3-540-13345-3