1.

電子ブック
ＥＢ
1. ESEC '89 : 2nd European Software Engineering Conference University of Warwick, Coventry, UK September 11–15, 1989 Proceedings
edited by C. Ghezzi, J. A. McDermid
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 387
オンライン: http://dx.doi.org/10.1007/3-540-51635-2
2.

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

電子ブック
ＥＢ
3. TAPSOFT '89 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
edited by J. Díaz, F. Orejas
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 352
オンライン: http://dx.doi.org/10.1007/3-540-50940-2
4.

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

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

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

電子ブック
ＥＢ
7. ESEC '89 : 2nd European Software Engineering Conference, University of Warwick, Coventry, UK, September 11-15, 1989. Proceedings. 1st ed. 1989
edited by Carlo Ghezzi, John A. McDermid
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 387
オンライン: https://doi.org/10.1007/3-540-51635-2
8.

電子ブック
ＥＢ
8. Experiences with Distributed Systems : International Workshop Kaiserslautern, FRG, September 28–30, 1987 Proceedings
edited by J. Nehmer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 309
オンライン: http://dx.doi.org/10.1007/3-540-19333-2
9.

電子ブック
ＥＢ
9. VDM '88 VDM — The Way Ahead : 2nd VDM-Europe Symposium Dublin, Ireland, September 11–16, 1988 Proceedings
edited by Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones
出版情報: Berlin, Heidelberg : Springer-Verlag, 1988
シリーズ名: Lecture Notes in Computer Science ; 328
オンライン: http://dx.doi.org/10.1007/3-540-50214-9
10.

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

電子ブック
ＥＢ
11. VDM '88. VDM - The Way Ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings. 1st ed. 1988
edited by Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 328
オンライン: https://doi.org/10.1007/3-540-50214-9
12.

電子ブック
ＥＢ
12. Software Reliability Modelling and Identification. 1st ed. 1988
edited by Sergio Bittanti
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 341
オンライン: https://doi.org/10.1007/BFb0034284
13.

電子ブック
ＥＢ
13. Mathematical Foundations of Programming Language Semantics : 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8–10, 1987 Proceedings. 1st ed. 1988
edited by Michael Main, Austin Melton, Michael Mislove, David Schmidt
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 298
オンライン: https://doi.org/10.1007/3-540-19020-1
14.

電子ブック
ＥＢ
14. Experiences with Distributed Systems : International Workshop, Kaiserslautern, FRG, September 28-30, 1987. Proceedings. 1st ed. 1988
edited by Jürgen Nehmer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 309
オンライン: https://doi.org/10.1007/3-540-19333-2
15.

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

電子ブック
ＥＢ
16. Attribute Grammars : Definitions, Systems and Bibliography. 1st ed. 1988
by Pierre Deransart, Martin Jourdan, Bernard Lorho
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1988
シリーズ名: Lecture Notes in Computer Science ; 323
オンライン: https://doi.org/10.1007/BFb0030509
17.

電子ブック
ＥＢ
17. Graph-Grammars and Their Application to Computer Science : 3rd International Workshop Warrenton, Virginia, USA, December 2–6, 1986
edited by Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 291
オンライン: http://dx.doi.org/10.1007/3-540-18771-5
18.

電子ブック
ＥＢ
18. Graph-Grammars and Their Application to Computer Science : 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986. 1st ed. 1987
edited by Hartmut Ehrig, Manfred Nagl, Grzegorz Rozenberg, Azriel Rosenfeld
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 291
オンライン: https://doi.org/10.1007/3-540-18771-5
19.

電子ブック
ＥＢ
19. Logic Programming '86 : Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986. 1st ed. 1987
edited by Eiiti Wada
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 264
オンライン: https://doi.org/10.1007/3-540-18024-9
20.

電子ブック
ＥＢ
20. TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987 : Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP). 1st ed. 1987
edited by Hartmut Ehrig, Robert A. Kowalski, Giorgio Levi, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 250
オンライン: https://doi.org/10.1007/BFb0014968
21.

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

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

電子ブック
ＥＢ
23. 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)
edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
出版情報: Berlin, Heidelberg : Springer-Verlag, 1985
シリーズ名: Lecture Notes in Computer Science ; 185
オンライン: http://dx.doi.org/10.1007/3-540-15198-2
24.

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

電子ブック
ＥＢ
25. Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 : Volume 2: Colloquium on Software Engineering (CSE). 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 ; 186
オンライン: https://doi.org/10.1007/3-540-15199-0
26.

電子ブック
ＥＢ
26. The IOTA Programming System : A Modular Programming Environment. 1st ed. 1983
edited by R. Nakajima, T. Yuasa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1983
シリーズ名: Lecture Notes in Computer Science ; 160
オンライン: https://doi.org/10.1007/3-540-12693-7
27.

電子ブック
ＥＢ
27. Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981. 1st ed. 1982
edited by J. Staunstrup
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1982
シリーズ名: Lecture Notes in Computer Science ; 134
オンライン: https://doi.org/10.1007/3-540-11490-4
28.

電子ブック
ＥＢ
28. The Adaptation of Virtual Man-Computer Interfaces to User Requirements in Dialogs
by Waltraud Dehning, Heidrun Essig, Susanne Maass
出版情報: Berlin, Heidelberg : Springer-Verlag, 1981
シリーズ名: Lecture Notes in Computer Science ; 110
オンライン: http://dx.doi.org/10.1007/3-540-10826-2
29.

電子ブック
ＥＢ
29. The Adaption of Virtual Man-Computer Interfaces to User Requirements in Dialogs. 1st ed. 1981
by W. Dehning, H. Essig, S. Maass
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981
シリーズ名: Lecture Notes in Computer Science ; 110
オンライン: https://doi.org/10.1007/3-540-10826-2
30.

電子ブック
ＥＢ
30. Abstract Software Specifications : 1979 Copenhagen Winter School January 22 – February 2, 1979 Proceedings
edited by Dines Bjøorner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1980
シリーズ名: Lecture Notes in Computer Science ; 86
オンライン: http://dx.doi.org/10.1007/3-540-10007-5
31.

電子ブック
ＥＢ
31. Abstract Software Specifications : 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings. 1st ed. 1980
edited by D. Bjorner
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1980
シリーズ名: Lecture Notes in Computer Science ; 86
オンライン: https://doi.org/10.1007/3-540-10007-5