1.

電子ブック
ＥＢ
1. Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings. 1st ed. 1989
edited by Albert R. Meyer, Michael A. Taitslin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 363
オンライン: https://doi.org/10.1007/3-540-51237-3
2.

電子ブック
ＥＢ
2. Formal Properties of Finite Automata and Applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings. 1st ed. 1989
edited by Jean E. Pin
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989
シリーズ名: Lecture Notes in Computer Science ; 386
オンライン: https://doi.org/10.1007/BFb0013106
3.

電子ブック
ＥＢ
3. Fundamentals of Computation Theory : International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings. 1st ed. 1987
edited by Lothar Budach, Rais G. Bukharajev, Oleg B. Lupanov
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 278
オンライン: https://doi.org/10.1007/3-540-18740-5
4.

電子ブック
ＥＢ
4. Mathematical Models for the Semantics of Parallelism : Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings. 1st ed. 1987
edited by Marisa Venturini Zilli
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1987
シリーズ名: Lecture Notes in Computer Science ; 280
オンライン: https://doi.org/10.1007/3-540-18419-8
5.

電子ブック
ＥＢ
5. Logic and Machines: Decision Problems and Complexity : Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen. 1st ed. 1984
edited by E. Börger, G. Hasenjaeger, D. Rödding
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
シリーズ名: Lecture Notes in Computer Science ; 171
オンライン: https://doi.org/10.1007/3-540-13331-3
6.

電子ブック
ＥＢ
6. Mathematical Foundations of Computer Science 1984 : 11th Symposium Praha, Czechoslovakia September 3-7, 1984. Proceedings. 1st ed. 1984
edited by M.P. Chytil, V. Koubek
出版情報: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1984
シリーズ名: Lecture Notes in Computer Science ; 176
オンライン: https://doi.org/10.1007/BFb0030285