1.

電子ブック
ＥＢ
1. Algebraic Methods: Theory, Tools and Applications
edited by Martin Wirsing, Jan A. Bergstra
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 394
オンライン: http://dx.doi.org/10.1007/BFb0015032
2.

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

電子ブック
ＥＢ
3. Temporal Logic in Specification : Altrincham, UK, April 8–10, 1987 Proceedings
edited by B. Banieqbal, H. Barringer, A. Pnueli
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 398
オンライン: http://dx.doi.org/10.1007/3-540-51803-7
4.

電子ブック
ＥＢ
4. Mathematics of Program Construction : 375th Anniversary of the Groningen University International Conference Groningen, The Netherlands, June 26–30, 1989 Proceedings
edited by J. L. A. Snepscheut
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 375
オンライン: http://dx.doi.org/10.1007/3-540-51305-1
5.

電子ブック
ＥＢ
5. Foundations of Software Technology and Theoretical Computer Science : Ninth Conference, Bangalore, India December 19–21, 1989 Proceedings
edited by C. E. Veni Madhavan
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 405
オンライン: http://dx.doi.org/10.1007/3-540-52048-1
6.

電子ブック
ＥＢ
6. Categorical Methods in Computer Science With Aspects from Topology
edited by H. Ehrig, H. Herrlich, H. -J. Kreowski, G. Preuß
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 393
オンライン: http://dx.doi.org/10.1007/3-540-51722-7
7.

電子ブック
ＥＢ
7. Compositionality, Concurrency and Partial Correctness : Proof Theories for Networks of Processes, and Their Relationship
by Job Zwiers
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 321
オンライン: http://dx.doi.org/10.1007/BFb0020836
8.

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

電子ブック
ＥＢ
9. Software Engineering Education : SEI Conference 1989 Pittsburgh, Pennsylvania, USA, July 18–21, 1989 Proceedings
edited by Norman E. Gibbs
出版情報: New York, NY : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 376
オンライン: http://dx.doi.org/10.1007/BFb0042344
10.

電子ブック
ＥＢ
10. Category Theory and Computer Science : Manchester, UK, September 5–8, 1989 Proceedings
edited by David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné
出版情報: Berlin, Heidelberg : Springer-Verlag, 1989
シリーズ名: Lecture Notes in Computer Science ; 389
オンライン: http://dx.doi.org/10.1007/BFb0018340