Parallel Computing: Methods,...
D.J Evans (Editor),
C.N Sutti (Editor)
Buy new from $88.84
eBook from $46.75
|
Computer Aided Verification:...
Swarat Chaudhuri (Editor),
Azadeh Farzan (Editor)
Buy new from $60.57
eBook from $16.50
|
Computer Aided Verification:...
Swarat Chaudhuri (Editor),
Azadeh Farzan (Editor)
Buy new from $60.57
eBook from $16.50
|
Static Analysis: 22nd...
Sandrine Blazy (Editor),
Thomas Jensen (Editor)
Buy new from $60.57
eBook from $16.50
|
High Performance Computing...
Michel Daydé (Editor),
Osni Marques (Editor)
Buy new from $60.65
eBook from $16.50
|
Architecture of Computing...
Luís Miguel Pinho Pinho (Editor),
Wolfgang Karl (Editor)
Buy new from $53.58
eBook from $16.50
|
Inductive Logic Programming:...
Gerson Zaverucha (Editor),
Vítor Santos Costa (Editor)
Buy new from $51.26
eBook from $13.50
|
Logics in Artificial...
Eduardo Fermé (Editor),
Joao Leite (Editor)
Buy new from $60.57
eBook from $16.50
|
Formal Methods for Industrial...
Michael Dierkes (Editor),
Charles Pecheur (Editor)
Buy new from $55.96
eBook from $15.00
|
The Nature of Computation:...
Paola Bonizzoni (Editor),
Vasco Brattka (Editor)
Buy new from $60.28
eBook from $16.50
|
Reversible Computation: 5th...
Gerhard W. Dueck (Editor),
D. Michael Miller (Editor)
Buy new from $56.53
eBook from $21.00
|
High Performance Computing...
Michel Dayde (Editor),
Osni Marques (Editor)
Buy new from $60.65
eBook from $16.50
|
Unconventional Computation...
Giancarlo Mauri (Editor),
Alberto Dennunzio (Editor)
Buy new from $55.96
eBook from $15.00
|
Developments in Language...
Marie-Pierre Beal (Editor),
Olivier Carton (Editor)
Buy new from $60.65
eBook from $16.50
|
Reversible Computation: 4th...
Robert Glück (Editor),
Tetsuo Yokoyama (Editor)
Buy new from $55.96
eBook from $15.00
|
Logic-Based Program Synthesis...
Germán Vidal (Editor)
Buy new from $74.63
eBook from $21.00
|
Logics in Artificial...
Luis Fariñas del Cerro (Editor),
Andreas Herzig (Editor)
Buy new from $60.65
eBook from $16.50
|
Progress in VLSI Design and...
Hafizur Rahaman (Editor),
Sanatan Chattopadhyay (Editor)
Buy new from $60.65
eBook from $16.50
|
Automated Reasoning: 6th...
Bernhard Gramlich (Editor),
Dale Miller (Editor)
Buy new from $60.65
eBook from $16.50
|
Application and Theory of...
Serge Haddad (Editor),
Lucia Pomello (Editor)
Buy new from $60.65
eBook from $16.50
|
Transactions on Petri Nets...
Kurt Jensen (Editor-in-chief),
Susanna Donatelli (Guest editor)
Buy new from $58.64
eBook from $16.50
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy new from $60.03
eBook from $16.50
|
Functional and Constraint...
Julio Marino (Editor)
Buy new from $60.57
eBook from $16.50
|
Logic Programming and...
James Delgrande (Editor),
Wolfgang Faber (Editor)
Buy new from $60.03
eBook from $16.50
|