1.

電子ブック
ＥＢ
1. Semantics of Concurrent Computation : Proceedings of the International Symposium, Evian, France, July 2–4, 1979
edited by Gilles Kahn
出版情報: Berlin, Heidelberg : Springer-Verlag, 1979
シリーズ名: Lecture Notes in Computer Science ; 70
オンライン: http://dx.doi.org/10.1007/BFb0022459
2.

電子ブック
ＥＢ
2. The Vienna Development Method: The Meta-Language
edited by Dines Bjørner, Cliff B. Jones
出版情報: Berlin, Heidelberg : Springer-Verlag, 1978
シリーズ名: Lecture Notes in Computer Science ; 61
オンライン: http://dx.doi.org/10.1007/3-540-08766-4
3.

電子ブック
ＥＢ
3. Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975
edited by Jíří Bečvář
出版情報: Berlin, Heidelberg : Springer-Verlag, 1975
シリーズ名: Lecture Notes in Computer Science ; 32
オンライン: http://dx.doi.org/10.1007/3-540-07389-2
4.

電子ブック
ＥＢ
4. Theory of Program Structures: Schemes, Semantics, Verification
edited by Sheila A. Greibach
出版情報: Berlin, Heidelberg : Springer-Verlag, 1975
シリーズ名: Lecture Notes in Computer Science ; 36
オンライン: http://dx.doi.org/10.1007/BFb0023017
5.

電子ブック
ＥＢ
5. L Systems
edited by Grzegorz Rozenberg, Arto Salomaa
出版情報: Berlin, Heidelberg : Springer-Verlag, 1974
シリーズ名: Lecture Notes in Computer Science ; 15
オンライン: http://dx.doi.org/10.1007/3-540-06867-8
6.

電子ブック
ＥＢ
6. International Symposium on Theoretical Programming
edited by Andrei Ershov, Valery A. Nepomniaschy
出版情報: Berlin, Heidelberg : Springer-Verlag, 1974
シリーズ名: Lecture Notes in Computer Science ; 5
オンライン: http://dx.doi.org/10.1007/3-540-06720-5