1.
図書 |
Jiří Wiedermann, Peter van Emde Boas, Mogens Nielsen (eds.)
|
|||||||
2.
図書 |
Kim G. Larsen, Sven Skyum, Glynn Winskel (eds.)
|
|||||||
3.
図書 |
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.)
|
|||||||
4.
図書 |
F. Meyer auf der Heide, B. Monien, (eds.)
|
|||||||
5.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM Special Interest Group on Automata and Computability Theory, The Association for Symbolic Logic, The European Association for Theoretical Computer Science ; with support from AT & T Research Bell Laboratories - Lucent Technologies DIMACS, IBM Almaden Research Center
|
|||||||
6.
図書 |
Zoltán Fülöp, Ferenc Gécseg (eds.)
|
|||||||
7.
図書 |
Serge Abiteboul, Eli Shamir (eds.)
|
|||||||
8.
図書 |
sponsored by the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, EATCS ; with support from CWI ... [et al.]
|
|||||||
9.
図書 |
A. Lingas, R. Karlsson, S. Carlsson (eds.)
|
|||||||
10.
図書 |
W. Kuich (ed.)
|