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.)
|
|||||||
11.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, Association for Symbolic Logic, Europe Association for Theoretical Computer Science
|
|||||||
12.
図書 |
J. Leach Albert, B. Monien, M. Rodríguez Artalejo, eds
|
|||||||
13.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing in cooperation with ACM SIGACT, EATCS
|
|||||||
14.
図書 |
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing, CWI, Amsterdam, Vrije Universiteit, Amsterdam ; in cooperation with Association for Computing Machinery, Association for Symbolic Logic, European Association for Theoretical Computer Science
|
|||||||
15.
図書 |
M.S. Paterson (ed.)
|
|||||||
16.
図書 |
Timo Lepistö, Arto Salomaa (eds.)
|
|||||||
17.
図書 |
edited by Laurent Kott
|
|||||||
18.
図書 |
edited by Wilfried Brauer
|
|||||||
19.
図書 |
edited by G. Kahn, D.B. MacQueen, and G. Plotkin
|
|||||||
20.
図書 |
under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg
|
|||||||
21.
図書 |
edited by J. Díaz
|
|||||||
22.
図書 |
edited by S. Even and O. Kariv
|
|||||||
23.
図書 |
edited by J.W. de Bakker and J. van Leeuwen
|
|||||||
24.
図書 |
edited by Hermann A. Maurer
|
|||||||
25.
図書 |
edited by G. Ausiello and C. Böhm
|
|||||||
26.
図書 |
edited by Arto Salomaa and Magnus Steinby
|
|||||||
27.
図書 |
edited by Jacques Loeckx
|