1.

電子ブック
ＥＢ
1. Analysis of drum and disk storage units
by Samuel H. Fuller
出版情報: Berlin, Heidelberg : Springer-Verlag, 1975
シリーズ名: Lecture Notes in Computer Science ; 31
オンライン: http://dx.doi.org/10.1007/3-540-07186-5
2.

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

電子ブック
ＥＢ
3. λ-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25–27, 1975
edited by C. Böhm
出版情報: Berlin, Heidelberg : Springer-Verlag, 1975
シリーズ名: Lecture Notes in Computer Science ; 37
オンライン: http://dx.doi.org/10.1007/BFb0029515
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. Category Theory Applied to Computation and Control : Proceedings of the First International Symposium San Francisco, February 25–26, 1974
edited by Ernest Gene Manes
出版情報: Berlin, Heidelberg : Springer-Verlag, 1975
シリーズ名: Lecture Notes in Computer Science ; 25
オンライン: http://dx.doi.org/10.1007/3-540-07142-3
6.

電子ブック
ＥＢ
6. Programming Methodology : 4th Informatik Symposium, IBM Germany Wildbad, September 25–27, 1974
edited by Clemens E. Hackl
出版情報: Berlin, Heidelberg : Springer-Verlag, 1975
シリーズ名: Lecture Notes in Computer Science ; 23
オンライン: http://dx.doi.org/10.1007/3-540-07131-8
7.

電子ブック
ＥＢ
7. Optimization Techniques IFIP Technical Conference Novosibirsk, July 1–7, 1974
edited by G. I. Marchuk
出版情報: Berlin, Heidelberg : Springer-Verlag, 1975
シリーズ名: Lecture Notes in Computer Science ; 27
オンライン: http://dx.doi.org/10.1007/3-540-07165-2
8.

電子ブック
ＥＢ
8. Exercises in Computer Systems Analysis
by W. Everling
出版情報: Berlin, Heidelberg : Springer-Verlag, 1975
シリーズ名: Lecture Notes in Computer Science ; 35
オンライン: http://dx.doi.org/10.1007/BFb0021159
9.

電子ブック
ＥＢ
9. Formal Aspects of Cognitive Processes : Interdisciplinary Conference Ann Arbor, March 1972
edited by Thomas Storer, David Winter
出版情報: Berlin, Heidelberg : Springer-Verlag, 1975
シリーズ名: Lecture Notes in Computer Science ; 22
オンライン: http://dx.doi.org/10.1007/3-540-07016-8
10.

電子ブック
ＥＢ
10. Parallel Processing : Proceedings of the Sagamore Computer Conference, August 20–23, 1974
edited by Tse-yun Feng
出版情報: Berlin, Heidelberg : Springer-Verlag, 1975
シリーズ名: Lecture Notes in Computer Science ; 24
オンライン: http://dx.doi.org/10.1007/3-540-07135-0