1.

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

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

電子ブック
ＥＢ
3. GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.–12. Juli 1973
edited by G. Goos, J. Hartmanis, D. Gries, P. Brinch Hansen, G. Seegmüller, N. Wirth
出版情報: Berlin, Heidelberg : Springer-Verlag, 1973
シリーズ名: Lecture Notes in Computer Science ; 2
オンライン: http://dx.doi.org/10.1007/BFb0039132