1.
図書 |
Aaron R. Bradley, Zohar Manna
|
|||||||
2.
図書 |
Jaime S. Sichman, Luis Antunes (eds.)
|
|||||||
3.
図書 |
Markus Jakobsson, Moti Yung, Jianying Zhou (eds.)
|
|||||||
4.
図書 |
Philippa Gardner, Nobuko Yoshida (eds.)
|
|||||||
5.
図書 |
Mitsuru Matsui, Robert Zuccherato (eds.)
|
|||||||
6.
図書 |
Tomáš Pajdla, Jiří Matas (eds.)
|
|||||||
7.
図書 |
Daniel Neuenschwander
|
|||||||
8.
図書 |
Sokratis K. Katsikas, Stefanos Gritzalis, Javier Lopez (eds.)
|
|||||||
9.
図書 |
Ari Juels (ed.)
|
|||||||
10.
図書 |
Huaxiong Wang, Josef Pieprzyk, Vijay Varadharajan (eds.)
|
|||||||
11.
図書 |
Venkatesan Guruswami
|
|||||||
12.
図書 |
Masami Ito, Masafumi Toyama (eds.)
|
|||||||
13.
図書 |
Michael Leuschel (ed.)
|
|||||||
14.
図書 |
Roberto Amadio, Denis Lugiez (eds.)
|
|||||||
15.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Symbolic Logic, European Association for Theoretical Computer Science ; with support from Fields Institute for Research in Mathematical Sciences, Le Centre de Recherches Mathématiques, University of Ottawa
|
|||||||
16.
図書 |
Sihan Qing, Dieter Gollmann, Jianying Zhou (eds.)
|
|||||||
17.
図書 |
Martin Hofmann (ed.)
|
|||||||
18.
図書 |
Jianying Zhou, Moti Yung, Yongfei Han, (eds.)
|
|||||||
19.
図書 |
Lenore D. Zuck ... [et al.] (eds.)
|
|||||||
20.
図書 |
Andrew D. Gordon (ed.)
|
|||||||
21.
図書 |
Anand Rangarajan, Mário Figueiredo, Josiane Zerubia (eds.)
|
|||||||
22.
図書 |
Marc Joye (ed.)
|
|||||||
23.
図書 |
Eli Biham (ed.)
|
|||||||
24.
図書 |
Klaus Jansen ... [et al.] (eds.)
|
|||||||
25.
図書 |
sponsored by Information Processing Society of Japan (IPSJ), Saga University, Institute of Systems and Information Technologies/Kyushu (ISIT)
|
|||||||
26.
図書 |
Mogens Nielsen, Uffe Engberg (eds.)
|
|||||||
27.
図書 |
Daniel Le Métayer (ed.)
|
|||||||
28.
図書 |
R. Nigel Horspool (ed.)
|
|||||||
29.
図書 |
Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)
|
|||||||
30.
図書 |
Giles Barthe ... [et al.] (eds.)
|
|||||||
31.
図書 |
Manuel V. Hermenegildo, Germán Puebla (eds.)
|
|||||||
32.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing(TCMF)
|
|||||||
33.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association of Symbolic Lofic European Association for Theoretical Computer Science ; with support from US Office of Naval Research International Field Office, European Office of Aerospace Research and Development of the US Air Force Office of Scientific Research
|
|||||||
34.
図書 |
Agostino Cortesi (ed.)
|
|||||||
35.
図書 |
Andrea Corradini ... [et al.] (eds.)
|
|||||||
36.
図書 |
Luca de Alfaro, Stephen Gilmore (eds.)
|
|||||||
37.
図書 |
Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi (eds.)
|
|||||||
38.
図書 |
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (Eds.)
|
|||||||
39.
図書 |
sponsored by IEEE Computer Society Tecnical Committee on Mathematical Foundations of Computing
|
|||||||
40.
図書 |
Hartmut Ehrig, ... [et al.] (eds.)
|
|||||||
41.
図書 |
Victor Malyshkin (ed.)
|
|||||||
42.
図書 |
Reinhard Klette ... [et al.] (eds.)
|
|||||||
43.
図書 |
José-Manuel Colom, Maciej Koutny (eds.)
|
|||||||
44.
図書 |
Alan Robinson and Andrei Voronkov (Eds.)
|
|||||||
45.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
|||||||
46.
図書 |
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
|
|||||||
47.
図書 |
Michael Kaufmann, Dorothea Wagner (eds.)
|
|||||||
48.
図書 |
Hartmut Ehrig ... [et al.] (eds.)
|
|||||||
49.
図書 |
Gert Smolka (ed.)
|
|||||||
50.
図書 |
Jerzy Tiuryn (ed.)
|
|||||||
51.
図書 |
Dines Bjørner, Manfred Broy, Alexandre V. Zamulin (eds.)
|
|||||||
52.
図書 |
Roland Backhouse, José Nuno Oliveira (eds.)
|
|||||||
53.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
|||||||
54.
図書 |
edited by S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay
|
|||||||
55.
図書 |
Peter G. Clote, Helmut Schwichtenberg (eds.)
|
|||||||
56.
図書 |
Didier Bert, Christine Choppy, Peter Mosses (eds.)
|