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. Automata, Languages, and Programming : Sixth Colloquium, Graz, Austria, July 16-20, 1979. Proceedings. 1st ed. 1979
edited by H. A. Maurer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1979
シリーズ名: Lecture Notes in Computer Science ; 71
オンライン: https://doi.org/10.1007/3-540-09510-1
3.

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

電子ブック
ＥＢ
4. A Concurrent Pascal Compiler for Minicomputers. 1st ed. 1977
by A. C. Hartmann
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1977
シリーズ名: Lecture Notes in Computer Science ; 50
オンライン: https://doi.org/10.1007/3-540-08240-9
5.

電子ブック
ＥＢ
5. Computing in Systems Described by Equations. 1st ed. 1977
by M.J. O'Donnell
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1977
シリーズ名: Lecture Notes in Computer Science ; 58
オンライン: https://doi.org/10.1007/3-540-08531-9
6.

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

電子ブック
ＥＢ
7. Software Engineering : An Advanced Course. 1st ed. 1975
edited by F. L. Bauer
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975
シリーズ名: Lecture Notes in Computer Science ; 30
オンライン: https://doi.org/10.1007/3-540-07168-7
8.

電子ブック
ＥＢ
8. Theory of Program Structures : Schemes, Semantics, Verification. 1st ed. 1975
by Sheila A. Greibach
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975
シリーズ名: Lecture Notes in Computer Science ; 36
オンライン: https://doi.org/10.1007/BFb0023017
9.

電子ブック
ＥＢ
9. Simple Program Schemes and Formal Languages. 1st ed. 1974
by J. Engelfriet
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1974
シリーズ名: Lecture Notes in Computer Science ; 20
オンライン: https://doi.org/10.1007/3-540-06953-4