1.

電子ブック
ＥＢ
1. The Vienna Development Method: The Meta-Language. 1st ed. 1978
edited by D. Bjorner, C.B. Jones
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1978
シリーズ名: Lecture Notes in Computer Science ; 61
オンライン: https://doi.org/10.1007/3-540-08766-4
2.

電子ブック
ＥＢ
2. λ-Calculus and Computer Science Theory : Proceedings of the Symposium Held in Rome March 25–27, 1975. IAC - CNR Istituto per le Applicazioni del Calcolo “Mauro Picone” of the Consiglio Nazionale delle Ricerche. 1st ed. 1975
edited by C. Böhm
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1975
シリーズ名: Lecture Notes in Computer Science ; 37
オンライン: https://doi.org/10.1007/BFb0029515
3.

電子ブック
ＥＢ
3. L Systems. 1st ed. 1974
edited by G. Rozenberg, A. Salomaa
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1974
シリーズ名: Lecture Notes in Computer Science ; 15
オンライン: https://doi.org/10.1007/3-540-06867-8
4.

電子ブック
ＥＢ
4. 1. Fachtagung über Automatentheorie und Formale Sprachen : GI. Gesellschaft für Informatik e.V. Bonn, 9.-12. Juli 1973. 1st ed. 1973
herausgegeben von Karl-Heinz Böhling, Klaus Indermark
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1973
シリーズ名: Lecture Notes in Computer Science ; 2
オンライン: https://doi.org/10.1007/BFb0039132
5.

電子ブック
ＥＢ
5. Cambridge Summer School in Mathematical Logic : Held in Cambridge /U. K., August 1-21, 1971. 1st ed. 1973
edited by A. R. D. Mathias, H. Rogers
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1973
シリーズ名: Lecture Notes in Mathematics ; 337
オンライン: https://doi.org/10.1007/BFb0066770