※一部利用できない機能があります
1.
図書 |
Hadis Morkoç
|
|||||||
2.
図書 |
Mike Burmester, Alec Yasinsac (eds.)
|
|||||||
3.
図書 |
ed. Thomas Kunz, S. S. Ravi
|
|||||||
4.
図書 |
Volker Diekert, Bruno Durand (eds.)
|
|||||||
5.
図書 |
Jens Grabowski, Brian Nielsen (eds.)
|
|||||||
6.
図書 |
Franz Baader, Andrei Voronkov (eds.)
|
|||||||
7.
図書 |
Zhiming Liu, Keijiro Araki (eds.)
|
|||||||
8.
図書 |
Günther R. Raidl, Jens Gottlieb (eds.)
|
|||||||
9.
図書 |
sponsored by SIGACT (The ACM Special Interest Group for Algorithms and Computation Theory)
|
|||||||
10.
図書 |
Shigeru Obayashi ... [et al.] (eds.)
|
|||||||
11.
図書 |
Maarten van Steen, Michi Henning (eds.)
|
|||||||
12.
図書 |
H. Jaap van den Herik ... [et al.] (eds.)
|
|||||||
13.
図書 |
James H. Anderson, Giuseppe Prencipe, Roger Wattenhofer (eds.)
|
|||||||
14.
図書 |
Matteo Cesana, Luigi Fratta (eds.)
|
|||||||
15.
図書 |
Wolfgang Grieskamp, Carsten Weise (eds.)
|
|||||||
16.
図書 |
Hartmut Ehrig ... [et al.] (eds.)
|
|||||||
17.
図書 |
José Júlio Alferes, João Leite (eds.)
|
|||||||
18.
図書 |
David Schmidt (ed.)
|
|||||||
19.
図書 |
Peter D. Mosses (ed.)
|
|||||||
20.
図書 |
Olaf Owe, Stein Krogdahl, Tom Lyche (eds.)
|
|||||||
21.
図書 |
sponsored by SIGACT (The ACM Special Interest Group for Algorithms and Computation Theory)
|
|||||||
22.
図書 |
H. Jaap van den Herik, Yngvi Björnsson, Nathan S. Netanyahu (eds.)
|
|||||||
23.
図書 |
Evripidis Bampis, Klaus Jansen, Claire Kenyon (eds.)
|
|||||||
24.
図書 |
Freek Wiedijk (ed.) ; foreword by Dana S. Scott
|
|||||||
25.
図書 |
Stefan Leue, Tarja Johanna Systä (eds.)
|
|||||||
26.
図書 |
Manfred Broy ... [et al.] (eds.)
|
|||||||
27.
図書 |
Robert Nieuwenhuis (ed.)
|
|||||||
28.
図書 |
Yassine Lakhnech, Sergio Yovine (eds.)
|
|||||||
29.
図書 |
Wei-Ngan Chin (ed.)
|
|||||||
30.
図書 |
Frank S. de Boer ... [et al.] (eds.)
|
|||||||
31.
図書 |
Wolfgang Lenski (ed.)
|
|||||||
32.
図書 |
Jürgen Giesl (ed.)
|
|||||||
33.
図書 |
Paul Pettersson, Wang Yi (eds.)
|
|||||||
34.
図書 |
Markus Jakobsson, Moti Yung, Jianying Zhou (eds.)
|
|||||||
35.
図書 |
Maurice Bruynooghe, Kung-Kiu Lau (eds.)
|
|||||||
36.
図書 |
Maurice Bruynooghe (ed.)
|
|||||||
37.
図書 |
Victor Larios, Félix F. Ramos, Herwig Unger (eds.)
|
|||||||
38.
図書 |
sponsored by SIGACT (The ACM Special Interest Group for Algorithms and Computation Theory)
|
|||||||
39.
図書 |
Dang Van Hung , Martin Wirsing (eds.)
|
|||||||
40.
図書 |
Ricardo Caferra, Gernot Salzer (eds.)
|
|||||||
41.
図書 |
Konstatinos N. Plataniotis, Anastasios N. Venetsanopoulos
|
|||||||
42.
図書 |
sponsored by The ACM special interest group for algorithms and computation theory
|
|||||||
43.
図書 |
Michael Schroeder, Gerd Wagner (eds.)
|
|||||||
44.
図書 |
Lawrence Rauchwerger (ed.)
|
|||||||
45.
図書 |
Bernhard Steffen, Giorgia Levi (eds.)
|
|||||||
46.
図書 |
Moshe Y. Vardi, Andrei Voronkov (eds.)
|
|||||||
47.
図書 |
Thomas Fahringer, Bernhard Scholz
|
|||||||
48.
図書 |
Alberto Coen-Porisini, André van der Hoek (eds.)
|
|||||||
49.
図書 |
Alessandro Garcia ... [et al.] (eds.)
|
|||||||
50.
図書 |
Robert Meersman, Zahir Tari et al. (eds.)
|
|||||||
51.
図書 |
Michael Jünger, Gerhard Reinelt, Giovanni Rinaldi (eds.)
|
|||||||
52.
図書 |
Pierpaolo Degano (ed.)
|
|||||||
53.
図書 |
Andrew D. Gordon (ed.)
|
|||||||
54.
図書 |
sponsored by the Institute of Image Information and Television Engineers, the Society for Information Display
|
|||||||
55.
図書 |
Dan Grigoras ... [et al.] (eds.)
|
|||||||
56.
図書 |
William J. Cook, Andreas S. Schulz (eds.)
|
|||||||
57.
図書 |
Martti Penttonen, Erik Meineche Schmidt (eds.)
|
|||||||
58.
図書 |
Elisabete Ranchhod, Nuno J. Mamede (eds.)
|
|||||||
59.
図書 |
Ed F. Deprettere, Jürgen Teich, Stamatis Vassiliadis (eds.)
|
|||||||
60.
図書 |
Mogens Nielsen, Uffe Engberg (eds.)
|
|||||||
61.
図書 |
Daniel Le Métayer (ed.)
|
|||||||
62.
図書 |
R. Nigel Horspool (ed.)
|
|||||||
63.
図書 |
63. Programming Constraint Services : high-level programming of standard and new constraint services
Christian Schulte
|
|||||||
64.
図書 |
Vladimír Mařík ... [et al.] (eds.)
|
|||||||
65.
図書 |
Agostino Cortesi (ed.)
|
|||||||
66.
図書 |
Roland Backhouse, Roy Crole, Jeremy Gibbons (eds.)
|
|||||||
67.
図書 |
sponsored by SIGACT (The ACM special interest group for algorithms and computation theory) ; organized by the Computer Technology Institute
|
|||||||
68.
図書 |
Matthias Baaz, Andrei Voronkov (eds.)
|
|||||||
69.
図書 |
Peter Druschel, Frans Kaashoek, Antony Rowstron (eds.)
|
|||||||
70.
図書 |
Lenore D. Zuck ... [et al.] (eds.)
|
|||||||
71.
図書 |
Gilles Barthe ... [et al.] (eds.)
|
|||||||
72.
図書 |
Maria Carla Calzarossa, Salvatore Tucci (eds.)
|
|||||||
73.
図書 |
José D.P. Rolim, Salil Vadhan (eds.)
|
|||||||
74.
図書 |
Sergio Flesca ... [et al.] (eds.)
|
|||||||
75.
図書 |
Julian Bradfield (ed.)
|
|||||||
76.
図書 |
Manuel V. Hermenegildo, Germán Puebla (eds.)
|
|||||||
77.
図書 |
Mark D. Aagaard, John W. O'Leary (eds.)
|
|||||||
78.
図書 |
Robert Meersman, Zahir Tari et al. (eds.)
|
|||||||
79.
図書 |
Doron A. Peled, Moshe Y. Vardi (eds.)
|
|||||||
80.
図書 |
Bernhard Beckert (ed.)
|
|||||||
81.
図書 |
Beniamino Di Martino, Dieter Kranzlmüller, Jack Dongarra (eds.)
|
|||||||
82.
図書 |
Pierre Fraigniaud (ed.)
|
|||||||
83.
図書 |
Doron A. Peled, Yih-Kuen Tsay (eds.)
|
|||||||
84.
図書 |
sponsored by SIGACT (The ACM special interest group for algorithms and computation theory)
|
|||||||
85.
図書 |
C.V. Ramamoorthy, Roger Y. Lee, Kyung Whan Lee (eds.)
|
|||||||
86.
図書 |
Roberto Giacobazzi (ed.)
|
|||||||
87.
図書 |
Christel Baier ... [et al.] (eds.)
|
|||||||
88.
図書 |
Klaus Jansen ... [et al.] (eds.)
|
|||||||
89.
図書 |
Marina Papatriantafilou, Philippe Hunel (eds.)
|
|||||||
90.
図書 |
Henk Schepers (ed.)
|
|||||||
91.
図書 |
Radhia Cousot (ed.)
|
|||||||
92.
図書 |
Philipp Bücher, Bernard M.E. Moret (eds.)
|
|||||||
93.
図書 |
sponsored by SIGACT (The ACM special interest group for algorithms and computation theory)
|
|||||||
94.
図書 |
Joe Hurd, Tom Melham (eds.)
|
|||||||
95.
図書 |
Chandra Chekuri ... [et al.] (eds.)
|
|||||||
96.
図書 |
Luke Ong (ed.)
|
|||||||
97.
図書 |
José Luiz Fiadeiro ... [et al.] (eds.)
|
|||||||
98.
図書 |
Chris Hankin, Igor Siveroni (eds.)
|
|||||||
99.
図書 |
Volnei A. Pedroni
|
|||||||
100.
図書 |
Hadis Morkoç
|