| 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
|
