1.
図書 |
Patrick Cousot (ed.)
|
|||||||
2.
図書 |
Giorgio Levi (ed.)
|
|||||||
3.
図書 |
Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.)
|
|||||||
4.
図書 |
Johan Jeuring (ed.)
|
|||||||
5.
図書 |
Chris Hankin (ed.)
|
|||||||
6.
図書 |
Tobias Nipkow (ed.)
|
|||||||
7.
図書 |
Hugh Glaser, Pieter Hartel, Herbert Kuchen, eds
|
|||||||
8.
図書 |
Hubert Comon (ed.)
|
|||||||
9.
図書 |
Herbert Kuchen, S. Doaitse Swierstra (eds.)
|
|||||||
10.
図書 |
Hanne Riis Nielson, (ed.)
|
|||||||
11.
図書 |
Harald Ganzinger (ed.)
|
|||||||
12.
図書 |
Jieh Hsiang, (ed.)
|
|||||||
13.
図書 |
Bernhard Möller, (ed.)
|
|||||||
14.
図書 |
David Pitt, David E. Rydeheard, Peter Johnstone (eds.)
|
|||||||
15.
図書 |
Nachum Dershowitz, Naomi Lindenstrauss (eds.)
|
|||||||
16.
図書 |
Alan Mycroft (ed.)
|
|||||||
17.
図書 |
Donald Sannella, ed
|
|||||||
18.
図書 |
Baudouin Le Charlier (ed.)
|
|||||||
19.
図書 |
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Association for Computing Machinery-SIGACT ... [et al.]
|
|||||||
20.
図書 |
edited by Earl Swartzlander Jr., Mary Jane Irwin, Graham Jullien ; sponsored by IEEE Computer Society, IEEE Technical Committee on VLSI
|
|||||||
21.
図書 |
Claude Kirchner (ed.)
|
|||||||
22.
図書 |
R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.)
|
|||||||
23.
図書 |
sponsored by IEEE Technical Committee on Mathematical Foundations of Computing ; in cooperation with ACM SIGACT, Association for Symbolic Logic, European Association for Theoretical Computer Science
|
|||||||
24.
図書 |
B. Krieg-Brückner (ed.)
|
|||||||
25.
図書 |
Ronald V. Book, (ed.)
|
|||||||
26.
図書 |
sponsored by IEEE Computer Society, Technical Committee on VLSI, in cooperation with Centre National de la Recherche Scientifique (CNRS), Institut d'Informatique et de Mathématiques Appliquées de Grenoble (IMAG) ; edited by Peter Kornerup, David W. Matula
|
|||||||
27.
図書 |
D.H. Pitt ... [et al.], (eds.)
|
|||||||
28.
図書 |
N. Jones (ed.)
|
|||||||
29.
図書 |
J.L.A. van de Snepscheut (ed.)
|
|||||||
30.
図書 |
D.H. Pitt ... [et al.] (eds.)
|
|||||||
31.
図書 |
N. Dershowitz (ed.)
|
|||||||
32.
図書 |
K.V. Nori, S. Kumar (eds.)
|
|||||||
33.
図書 |
H. Ganzinger (ed.)
|
|||||||
34.
図書 |
Kesav V. Nori (ed.)
|
|||||||
35.
図書 |
sponsored by the IEEE Computer Society, Technical Committee on Computer Architecture in cooperation with The University of Illinois
|
|||||||
36.
図書 |
directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare ; edited by Manfred Broy
|
|||||||
37.
図書 |
organised by the Institut national de recherche d'informatique et d'automatique (INRIA) ; edited by B. Ford, J.C. Rault, F. Thomasset
|
|||||||
38.
図書 |
edited by M. Paul and B. Robinet
|
|||||||
39.
図書 |
edited by Edmund Clarke and Dexter Kozen
|
|||||||
40.
図書 |
sponsored by the IEEE Computer Society, Technical Committee on Computer Architecture in cooperation with Aarhus University
|
|||||||
41.
図書 |
edited by Eiichi Gotō ... [et al.]
|
|||||||
42.
図書 |
edited by A. Salwicki
|
|||||||
43.
図書 |
edited by M. Dezani-Ciancaglini and U. Montanari
|
|||||||
44.
図書 |
edited by P.C. Messina and A. Murli
|
|||||||
45.
図書 |
edited by Dexter Kozen
|
|||||||
46.
図書 |
edited by J. Díaz and I. Ramos
|
|||||||
47.
図書 |
sponsored by the IEEE Computer Society, Technical Committee on Computer Architecture in cooperation with the University of Michigan
|
|||||||
48.
図書 |
edited by Jeffrey M. Tobias
|
|||||||
49.
図書 |
edited by B. Robinet
|
|||||||
50.
図書 |
edited by D. Bjørner
|
|||||||
51.
図書 |
edited by P. Dembiński
|
|||||||
52.
図書 |
edited by J. Bečvář
|
|||||||
53.
図書 |
edited by J. Winkowski
|
|||||||
54.
図書 |
sponsored by the IEEE Computer Society in cooperation with the UCLA Computer Science Department
|
|||||||
55.
図書 |
F.L. Bauer ... [et al.] ; edited by F.L. Bauer and K. Samelson
|
|||||||
56.
図書 |
edited by K. Samelson
|
|||||||
57.
図書 |
edited by J.F. Traub
|
|||||||
58.
図書 |
F. L. Bauer ... [et al.] ; edited by F. L. Bauer
|
|||||||
59.
図書 |
herausgegeben im Auftrag der GI von W. Händler und P.P. Spies
|
|||||||
60.
図書 |
edited by E. Gelenbe and C. Kaiser
|
|||||||
61.
図書 |
edited by B. Robinet
|
|||||||
62.
図書 |
edited by Randall Rustin
|