1.

図書
図書
1. STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, proceedings (: gw ; : us)
C. Choffrut, M. Jantzen, (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1991
シリーズ名: Lecture notes in computer science ; 480
所蔵情報: 図書館
2.

電子ブック
ＥＢ
2. STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science Hamburg, Germany, February 14–16, 1991 Proceedings
edited by Christian Choffrut, Matthias Jantzen
出版情報: Berlin, Heidelberg : Springer-Verlag, 1991
シリーズ名: Lecture Notes in Computer Science ; 480
オンライン: http://dx.doi.org/10.1007/BFb0020782
3.

図書
図書
3. STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990, proceedings (: gw ; : us)
C. Choffrut, T. Lengauer (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990
シリーズ名: Lecture notes in computer science ; 415
所蔵情報: 図書館
4.

電子ブック
ＥＢ
4. STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science Rouen, France, February 22–24, 1990 Proceedings
edited by Christian Choffrut, Thomas Lengauer
出版情報: Berlin, Heidelberg : Springer-Verlag, 1990
シリーズ名: Lecture Notes in Computer Science ; 415
オンライン: http://dx.doi.org/10.1007/3-540-52282-4
5.

図書
図書
5. Automata networks : LITP Spring School on Theoretical Computer Science, Argelès-village, France, May 12-16, 1986 : proceedings (: gw ; : us)
C. Choffrut (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988
シリーズ名: Lecture notes in computer science ; 316
所蔵情報: 図書館