close
1.

図書
図書
1. STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings (: gw ; : us)
R. Cori, M. Wirsing (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  ix, 404 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 294
所蔵情報: loading…
目次情報: 続きを見る
Complexity
Formal Languages
Rewriting Systems and Abstract Data Types
Graph Grammars
Distributed Algorithms
Geometrical Algorithms
Trace Languages
Semantics of Parallelism
Systems Demonstrations
Complexity
Formal Languages
Rewriting Systems and Abstract Data Types
2.

図書
図書
2. STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987, proceedings (: gw ; : us)
edited by F.J. Brandenburg, G. Vidal-Naquet and M. Wirsing
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  x, 483 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 247
所蔵情報: loading…
3.

図書
図書
3. STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 (: gw ; : us)
edited by B. Monien and G. Vidal-Naquet
出版情報: Berlin ; Tokyo : Springer-Verlag, c1986  ix, 368 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 210
所蔵情報: loading…
4.

図書
図書
4. STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 (: gw ; : us)
edited by K. Mehlhorn
出版情報: Berlin ; Tokyo : Springer-Verlag, 1985  vii, 374 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 182
所蔵情報: loading…
5.

図書
図書
5. STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989 : proceedings (: gw ; : us)
B. Monien, R. Cori (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1989  viii, 543 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 349
所蔵情報: loading…
6.

図書
図書
6. STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris [April] 11-13, 1984 (: gw ; : us)
sponsored by AFCET (Association Francaise pour la Cybernétique Economique et Technique) and GI (Gesellschaft für Informatik) ; edited by M. Fontet and K. Mehlhorn
出版情報: Berlin ; Tokyo : Springer-Verlag, 1984  vi, 338 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 166
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼