1.

電子ブック
ＥＢ
1. System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26–30, 1986 Proceedings
edited by A. Nico Habermann, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 275
オンライン: http://dx.doi.org/10.1007/3-540-18341-8
2.

電子ブック
ＥＢ
2. Visualization in Programming : 5th Interdisciplinary Workshop in Informatics and Psychology Schärding, Austria, May 20–23, 1986
edited by Peter Gorny, Michael J. Tauber
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 282
オンライン: http://dx.doi.org/10.1007/3-540-18507-0
3.

電子ブック
ＥＢ
3. ESEC '87 : 1st European Software Engineering Conference Strasbourg, France, September 9–11, 1987 Proceedings
edited by Howard Nichols, Dan Simpson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 289
オンライン: http://dx.doi.org/10.1007/BFb0022092
4.

電子ブック
ＥＢ
4. TAPSOFT '87 : Proceedings of the International' Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 249
オンライン: http://dx.doi.org/10.1007/3-540-17660-8
5.

電子ブック
ＥＢ
5. TAPSOFT '87 : Proceedings of the International Joint Conference on Theory and Practice of Software Development Pisa, Italy, March 23–27, 1987
edited by Hartmut Ehrig, Robert Kowalski, Giorgio Levi, Ugo Montanari
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 250
オンライン: http://dx.doi.org/10.1007/BFb0014968
6.

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

電子ブック
ＥＢ
7. The Munich Project CIP : Volume II: The Program Transformation System CIP-S
edited by F. L. Bauer, H. Ehler, A. Horsch, B. Möller, H. Partsch, O. Paukner, P. Pepper
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 292
オンライン: http://dx.doi.org/10.1007/3-540-18779-0
8.

電子ブック
ＥＢ
8. MetaSoft Primer : Towards a Metalanguage for Applied Denotational Semantics
by Andrzej Blikle
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 288
オンライン: http://dx.doi.org/10.1007/3-540-18657-3
9.

電子ブック
ＥＢ
9. Foundations of Software Technology and Theoretical Computer Science : Seventh Conference, Pune, India December 17–19, 1987 Proceedings
edited by Kesav V. Nori
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 287
オンライン: http://dx.doi.org/10.1007/3-540-18625-5
10.

電子ブック
ＥＢ
10. VDM '87 VDM — A Formal Method at Work : VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings
edited by Dines Bjørner, Cliff B. Jones, Mícheál Mac an Airchinnigh, Erich J. Neuhold
出版情報: Berlin, Heidelberg : Springer-Verlag, 1987
シリーズ名: Lecture Notes in Computer Science ; 252
オンライン: http://dx.doi.org/10.1007/3-540-17654-3