1.
図書 |
Franz Baader, Andrei Voronkov (eds.)
|
|||||||
2.
図書 |
Boi Faltings ... [et al.] (eds.)
|
|||||||
3.
図書 |
Barry O'Sullivan (ed.)
|
|||||||
4.
図書 |
Huaxiong Wang, Josef Pieprzyk, Vijay Varadharajan (eds.)
|
|||||||
5.
図書 |
[sponsored by the American Association for Artificial Intelligence]
|
|||||||
6.
図書 |
Ronald Cramer (ed.)
|
|||||||
7.
図書 |
Rei Safavi-Naini, Jennifer Seberry (eds.)
|
|||||||
8.
図書 |
Josh Benaloh (ed.)
|
|||||||
9.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
|||||||
10.
図書 |
Alden H. Wright ... [et al.] (eds.)
|
|||||||
11.
図書 |
Moshe Y. Vardi, Andrei Voronkov (eds.)
|
|||||||
12.
図書 |
sponsored by IEEE Computer Society Technical Society on Foundations of Computing
|
|||||||
13.
図書 |
Geoff Sutcliffe, Andrei Voronkov (eds.)
|
|||||||
14.
図書 |
Josyula R. Rao, Berk Sunar (eds.)
|
|||||||
15.
図書 |
organized by INRIA ; sponsored by the Écoles de Coëtquidan ; edited by Daniel Augot and Claude Carlet
|
|||||||
16.
図書 |
Serge Vaudenay (ed.)
|
|||||||
17.
図書 |
Miki Hermann, Andrei Voronkov (eds.)
|
|||||||
18.
図書 |
Jintai Ding, Jason E. Gower, Dieter S. Schmidt
|
|||||||
19.
図書 |
Xuejia Lai, Kefei Chen (eds.)
|
|||||||
20.
図書 |
Kwok Yan Lam, Eiji Okamoto, Chaoping Xing (eds.)
|
|||||||
21.
図書 |
Alberto Del Bimbo
|
|||||||
22.
図書 |
Association for Computational Linguistics (U.S.). Meeting
|
|||||||
23.
図書 |
edited by Chyi-Nan Chen and Lionel M. Ni ; sponsored by Ministry of Education, Taiwan, R. O. C. ... [et al.]
|
|||||||
24.
図書 |
Swee-Huay Heng, Kaoru Kurosawa (eds.)
|
|||||||
25.
図書 |
Kaoru Kurosawa (ed.)
|
|||||||
26.
図書 |
Christian Bessiere (ed.)
|
|||||||
27.
図書 |
David W. Embley, Antoni Olivé, Sudha Ram (eds.)
|
|||||||
28.
図書 |
Christian Schulte (ed.)
|
|||||||
29.
図書 |
Michela Milano (ed.)
|
|||||||
30.
図書 |
Wenfei Fan, Floris Geerts
|
|||||||
31.
図書 |
Thomas Johansson, Phong Q. Nguyen (eds.)
|
|||||||
32.
図書 |
Francisco Azevedo ... [et al.] (eds.)
|
|||||||
33.
図書 |
Ran Canetti (ed.)
|
|||||||
34.
図書 |
Rafail Ostrovsky, Roberto De Prisco, Ivan Visconti (eds.)
|
|||||||
35.
図書 |
Symposium on Foundations of Computer Science
|
|||||||
36.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
|
|||||||
37.
図書 |
Iliano Cervesato, Helmut Veith, Andrei Voronkov (eds.)
|
|||||||
38.
図書 |
Mitsuru Matsui (ed.)
|
|||||||
39.
図書 |
Juan A. Garay, Atsuko Miyaji, Akira Otsuka (eds.)
|
|||||||
40.
図書 |
Reihaneh Safavi-Naini (ed.)
|
|||||||
41.
図書 |
Peter J. Stuckey (ed.)
|
|||||||
42.
図書 |
Wil van der Aalst
|
|||||||
43.
図書 |
editor, Hank Dietz ; co-editor, Rudolf Eigenmann, Jose A.B. Fortes, Susanne Hambrusch ; sponsored by International Association for Computers and Communications, The Ohio State University
|
|||||||
44.
図書 |
papers chair, Turner Whitted ; panels chair, Barbara Mones-Hattal
|
|||||||
45.
図書 |
sponsored by IEEE Computer Society Technical Committee on Distributed Processing
|
|||||||
46.
図書 |
Association for Computational Linguistics (U.S.). Meeting
|
|||||||
47.
図書 |
sponsored by IEEE Computer Society, IEEE Communications Society
|
|||||||
48.
図書 |
edited by Tetsuo Tomiyama, Martti Mäntylä and Susan Finger
|
|||||||
49.
図書 |
sponsored by IEEE Computer Society Technical Committee on Parallel Processing ; in cooperation with The ACM SIGARCH, European Assiciation for Theoretical Computer Science (EATCS), Swiss Special Interest Group on Parallelism (SIPAR), SPEEDUP Society
|
|||||||
50.
図書 |
edited by Lars F. Niklasson and Mikael B. Bodén
|