1.

電子ブック
ＥＢ
1. Theoretical Computer Science 4th GI Conference : Aachen, March 26–28, 1979
edited by K. Weihrauch
出版情報: Berlin, Heidelberg : Springer-Verlag, 1979
シリーズ名: Lecture Notes in Computer Science ; 67
オンライン: http://dx.doi.org/10.1007/3-540-09118-1
2.

電子ブック
ＥＢ
2. Symbolic and Algebraic Computation : EUROSM '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979
edited by Edward W. Ng
出版情報: Berlin, Heidelberg : Springer-Verlag, 1979
シリーズ名: Lecture Notes in Computer Science ; 72
オンライン: http://dx.doi.org/10.1007/3-540-09519-5
3.

電子ブック
ＥＢ
3. Edinburgh LCF : A Mechanised Logic of Computation
by Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth
出版情報: Berlin, Heidelberg : Springer-Verlag, 1979
シリーズ名: Lecture Notes in Computer Science ; 78
オンライン: http://dx.doi.org/10.1007/3-540-09724-4
4.

電子ブック
ＥＢ
4. Codes for Boundary-Value Problems in Ordinary Differential Equations : Proceedings of a Working Conference May 14–17, 1978
edited by B. Childs, M. Scott, J. W. Daniel, E. Denman, P. Nelson
出版情報: Berlin, Heidelberg : Springer-Verlag, 1979
シリーズ名: Lecture Notes in Computer Science ; 76
オンライン: http://dx.doi.org/10.1007/3-540-09554-3
5.

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

電子ブック
ＥＢ
6. Mathematical Foundations of Computer Science 1979 : Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3–7, 1979
edited by Jiří Bečvář
出版情報: Berlin, Heidelberg : Springer-Verlag, 1979
シリーズ名: Lecture Notes in Computer Science ; 74
オンライン: http://dx.doi.org/10.1007/3-540-09526-8
7.

電子ブック
ＥＢ
7. First-Order Dynamic Logic
edited by David Harel
出版情報: Berlin, Heidelberg : Springer-Verlag, 1979
シリーズ名: Lecture Notes in Computer Science ; 68
オンライン: http://dx.doi.org/10.1007/3-540-09237-4
8.

電子ブック
ＥＢ
8. Graph-Grammars and Their Application to Computer Science and Biology : International Workshop Bad Honnef, October 30 – November 3, 1978
edited by Volker Claus, Hartmut Ehrig, Grzegorz Rozenberg
出版情報: Berlin, Heidelberg : Springer-Verlag, 1979
シリーズ名: Lecture Notes in Computer Science ; 73
オンライン: http://dx.doi.org/10.1007/BFb0025713
9.

電子ブック
ＥＢ
9. Mathematical Studies of Information Processing : Proceedings of the International Conference Kyoto, Japan, August 23–26, 1978
edited by E. K. Blum, M. Paul, S. Takasu
出版情報: Berlin, Heidelberg : Springer-Verlag, 1979
シリーズ名: Lecture Notes in Computer Science ; 75
オンライン: http://dx.doi.org/10.1007/3-540-09541-1
10.

電子ブック
ＥＢ
10. Automata, Languages and Programming : Sixth Colloquium, Graz, Austria, July 16–20, 1979
edited by Hermann A. Maurer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1979
シリーズ名: Lecture Notes in Computer Science ; 71
オンライン: http://dx.doi.org/10.1007/3-540-09510-1