Digital Satellite...
Giovanni E Corazza (Editor)
Buy new from $166.47
eBook from $71.70
|
Lectures on Quantum Mechanics
Jean-Louis Basdevant
Buy new from $60.57
eBook from $16.50
|
Classical and New Paradigms...
Benedikt Löwe (Editor),
Boris Piwinger (Editor)
Buy new from $215.66
|
Principles and Practice of...
Toby Walsh (Editor)
Buy new from $112.32
eBook from $29.70
|
Theoretical Aspects of...
Naoki Kobayashi (Editor),
Benjamin C Pierce (Editor)
Buy new from $60.57
eBook from $16.50
|
Domains and Processes:...
Klaus Keimel (Editor),
Guo-Qiang Zhang (Editor)
Buy new from $112.32
eBook from $29.70
|
Interactive Systems: Design,...
Chris J Johnson (Editor)
Buy new from $60.57
eBook from $16.50
|
Proof Theory in Computer...
Reinhard Kahle (Editor),
Peter Schroeder-Heister (Editor)
Buy new from $60.57
eBook from $16.50
|
Logic Programming and...
Thomas Eiter (Editor),
Wolfgang Faber (Editor)
Buy new from $60.57
|
Correct Hardware Design and...
Tiziana Margaria (Editor),
Tom Melham (Editor)
Buy new from $60.57
eBook from $16.50
|
Inductive Logic Programming:...
Celine Rouveirol (Editor),
Michele Sebag (Editor)
Buy new from $60.57
|
Theorem Proving in Higher...
Richard J Boulton (Editor),
Paul B Jackson (Editor)
Buy new from $60.57
eBook from $16.50
|
Semantics, Applications, and...
Walid Taha (Editor)
Buy new from $60.57
eBook from $16.50
|
Process Algebra and...
Luca De Alfaro (Editor),
Stephen Gilmore (Editor)
Buy new from $60.57
eBook from $16.50
|
Intelligent Agents VII. Agent...
Cristiano Castelfranchi (Editor),
Yves Lesperance (Editor)
Buy new from $60.57
eBook from $16.50
|
Static Analysis: 8th...
Patrick Cousot (Editor)
Buy new from $60.57
|
Computer Aided Verification:...
Gerard Berry (Editor),
Hubert Comon (Editor)
Buy new from $112.32
|
Types in Compilation: Third...
Professor Robert Harper (Editor)
Buy new from $60.57
eBook from $16.50
|
Applications and Theory of...
Jose-Manuel Colom (Editor),
Maciej Koutny (Editor)
Buy new from $60.57
eBook from $16.50
|
Automated Reasoning: First...
Rajeev Gore (Editor),
Alexander Leitsch (Editor)
Buy new from $112.32
|
Innovative Internet Computing...
Thomas Böhme (Editor),
Herwig Unger (Editor)
Buy new from $60.57
eBook from $16.50
|
Combinatorics, Computability...
C S Calude (Editor),
M J Dinneen (Editor)
Buy new from $112.32
|
Logic Based Program Synthesis...
Kung-Kiu Lau (Editor)
Buy new from $60.65
|
Ecoop 2001 - Object-Oriented...
Jorgen Lindskov Knudsen
Buy new from $10.99
eBook from $16.50
|
