1.
電子ブック |
edited by Tai-hoon Kim, Hojjat Adeli, Haeng-kon Kim, Heau-jo Kang, Kyung Jung Kim, Akingbehin Kiumi, Byeong-Ho Kang
|
|||||||||
2.
電子ブック |
edited by João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre
|
|||||||||
3.
電子ブック |
edited by Sven-Bodo Scholz, Olaf Chitil
|
|||||||||
4.
電子ブック |
edited by Danny Weyns, Marie-Pierre Gleizes
|
|||||||||
5.
電子ブック |
edited by Manfred Jeusfeld, Lois Delcambre, Tok-Wang Ling
|
|||||||||
6.
電子ブック |
edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider
|
|||||||||
7.
電子ブック |
edited by Werner Kuich, George Rahonis
|
|||||||||
8.
電子ブック |
edited by Jean-Pierre Jouannaud, Zhong Shao
|
|||||||||
9.
電子ブック |
edited by Marco T. Morazán, Sven-Bodo Scholz
|
|||||||||
10.
電子ブック |
edited by Michael Johnson, Dusko Pavlovic
|
|||||||||
11.
電子ブック |
edited by Ricardo Rocha, John Launchbury
|
|||||||||
12.
電子ブック |
edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz
|
|||||||||
13.
電子ブック |
edited by Javier Larrosa, Barry O’Sullivan
|
|||||||||
14.
電子ブック |
edited by Gilles Barthe
|
|||||||||
15.
電子ブック |
edited by Parosh Aziz Abdulla, K. Rustan M. Leino
|
|||||||||
16.
電子ブック |
edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos
|
|||||||||
17.
電子ブック |
edited by Julio Mariño
|
|||||||||
18.
電子ブック |
edited by Ganesh Gopalakrishnan, Shaz Qadeer
|
|||||||||
19.
電子ブック |
edited by Herbert Kuchen
|
|||||||||
20.
電子ブック |
edited by Marko Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
|
|||||||||
21.
電子ブック |
edited by Joost-Pieter Katoen, Barbara König
|
|||||||||
22.
電子ブック |
edited by Jimmy Lee
|
|||||||||
23.
電子ブック |
edited by Lars Grunske, Ralf Reussner, Frantisek Plasil
|
|||||||||
24.
電子ブック |
edited by Claude Bolduc, Jules Desharnais, Béchir Ktari
|
|||||||||
25.
電子ブック |
edited by Paul Gastin, François Laroussinie
|
|||||||||
26.
電子ブック |
edited by David Cohen
|
|||||||||
27.
電子ブック |
edited by Christian G. Fermüller, Andrei Voronkov
|
|||||||||
28.
電子ブック |
edited by Jeffrey Parsons, Motoshi Saeki, Peretz Shoval, Carson Woo, Yair Wand
|
|||||||||
29.
電子ブック |
edited by Shengchao Qin
|
|||||||||
30.
電子ブック |
edited by Edmund M. Clarke, Andrei Voronkov
|
|||||||||
31.
電子ブック |
edited by Mike P. Papazoglou, Klaus Pohl, Michael Parkin, Andreas Metzger
|
|||||||||
32.
電子ブック |
edited by Santiago Escobar
|
|||||||||
33.
電子ブック |
edited by Andrew Butterfield
|
|||||||||
34.
電子ブック |
edited by Danny Schreye
|
|||||||||
35.
電子ブック |
edited by Tayssir Touili, Byron Cook, Paul Jackson
|
|||||||||
36.
電子ブック |
edited by Anuj Dawar, Helmut Veith
|
|||||||||
37.
電子ブック |
edited by Javier Esparza, Rupak Majumdar
|
|||||||||
38.
電子ブック |
edited by Andrew D. Gordon
|
|||||||||
39.
電子ブック |
edited by Matthias Blume, Naoki Kobayashi, German Vidal
|
|||||||||
40.
電子ブック |
by Gabriele Puppis
|
|||||||||
41.
電子ブック |
edited by Matt Kaufmann, Lawrence C. Paulson
|
|||||||||
42.
電子ブック |
edited by Jurgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga
|
|||||||||
43.
電子ブック |
edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani
|
|||||||||
44.
電子ブック |
edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd
|
|||||||||
45.
電子ブック |
edited by Patricia M. Hill, David S. Warren
|
|||||||||
46.
電子ブック |
edited by Angelo Oddi, Francois Fages, Francesca Rossi
|
|||||||||
47.
電子ブック |
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jorg Siekmann, Wolfgang Wahlster, Koen V. Hindriks, Alexander Pokahr, Sebastian Sardina
|
|||||||||
48.
電子ブック |
edited by Jaime G. Carbonell, Jorg Siekmann, Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff
|
|||||||||
49.
電子ブック |
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Michael Luck, Jorge J. Gomez-Sanz
|
|||||||||
50.
電子ブック |
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Stefano Berardi, Ferruccio Damiani, Ugo de’Liguoro
|
|||||||||
51.
電子ブック |
edited by Marino Miculan, Ivan Scagnetto, Furio Honsell
|
|||||||||
52.
電子ブック |
edited by Bertrand Meyer, Jim Woodcock
|
|||||||||
53.
電子ブック |
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Andrei Voronkov
|
|||||||||
54.
電子ブック |
edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff
|
|||||||||
55.
電子ブック |
edited by Karl Tuyls, Ann Nowe, Zahia Guessoum, Daniel Kudenko
|
|||||||||
56.
電子ブック |
edited by Jacques Garrigue, Manuel V. Hermenegildo
|
|||||||||
57.
電子ブック |
edited by Jaime Simao Sichman, Julian Padget, Sascha Ossowski, Pablo Noriega
|
|||||||||
58.
電子ブック |
edited by Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff
|
|||||||||
59.
電子ブック |
edited by Michael Luck, Lin Padgham
|
|||||||||
60.
電子ブック |
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Peter J. Stuckey
|
|||||||||
61.
電子ブック |
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Natarajan Shankar, Jim Woodcock
|
|||||||||
62.
電子ブック |
edited by Jaime G. Carbonell, Jorg Siekmann, Francois Fages, Francesca Rossi, Sylvain Soliman
|
|||||||||
63.
電子ブック |
edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Maria Garcia de la Banda, Enrico Pontelli
|
|||||||||
64.
電子ブック |
edited by Paolo Giorgini, Jorg, P. Muller, James Odell
|
|||||||||
65.
電子ブック |
edited by Rafael H. Bordini, Mehdi Dastani, Jurgen Dix, Amal El
|
|||||||||
66.
電子ブック |
Fages, Francois ; Petcu, Adrian ; Faltings, Boi ; Rossi, Francesca ; SpringerLink (Online service)
|
|||||||||
67.
電子ブック |
edited by Eduardo Alonso, Dimitar Kazakov, Daniel Kudenko
|
|||||||||
68.
電子ブック |
edited by Jurgen Giesl
|
|||||||||
69.
電子ブック |
edited by Joao Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum
|
|||||||||
70.
電子ブック |
edited by Maurizio Gabbrielli, Gopal Gupta
|
|||||||||
71.
電子ブック |
edited by Peter van Beek
|