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. 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
6.

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

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

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

電子ブック
ＥＢ
9. Architecture of Distributed Computer Systems
edited by Gregor Bochmann
出版情報: Berlin, Heidelberg : Springer-Verlag, 1979
シリーズ名: Lecture Notes in Computer Science ; 77
オンライン: http://dx.doi.org/10.1007/3-540-09723-6
10.

電子ブック
ＥＢ
10. Program Construction : International Summer School
edited by Friedrich L. Bauer, Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner
出版情報: Berlin, Heidelberg : Springer-Verlag, 1979
シリーズ名: Lecture Notes in Computer Science ; 69
オンライン: http://dx.doi.org/10.1007/BFb0014649