Formal Methods for Components...
Frank S De Boer (Editor),
Marcello M Bonsangue (Editor)
Buy new from $51.65
eBook from $16.50
|
Principles and Practice of...
Toby Walsh (Editor)
Buy new from $103.32
eBook from $29.70
|
Lectures on Quantum Mechanics
Jean-Louis Basdevant
Buy new from $51.65
eBook from $16.50
|
Inductive Logic Programming:...
Stephen H. Muggleton (Editor),
Alireza Tamaddoni-Nezhad (Editor)
Buy new from $56.34
eBook from $18.00
|
OpenMP: Advanced Task-Based,...
Simon McIntosh-Smith (Editor),
Michael Klemm (Editor)
Buy new from $65.74
eBook from $21.00
|
Digital Satellite...
Giovanni E Corazza (Editor)
Buy new from $153.48
eBook from $71.70
|
Intelligent Agents VII. Agent...
Cristiano Castelfranchi (Editor),
Yves Lesperance (Editor)
Buy new from $51.65
eBook from $16.50
|
Reversible Computation: 4th...
Robert Gl?ck (Editor),
Tetsuo Yokoyama (Editor)
Buy new from $46.96
eBook from $15.00
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy new from $51.65
eBook from $16.50
|
Types in Compilation: Third...
Professor Robert Harper (Editor)
Buy new from $51.64
eBook from $16.50
|
Algebraic Methodology and...
Teodor Rus (Editor)
Buy new from $103.32
eBook from $29.70
|
Static Analysis: 22nd...
Sandrine Blazy (Editor),
Thomas Jensen (Editor)
Buy new from $51.65
eBook from $16.50
|
Generative and Component...
Krzysztof Czarnecki (Editor),
Ulrich W Eisenecker (Editor)
Buy new from $51.64
eBook from $16.50
|
Applications of Graph...
Manfred Nagl (Editor),
Andreas Sch?rr (Editor)
Buy new from $103.32
eBook from $29.70
|
Reversible Computation: 5th...
Gerhard W. Dueck (Editor),
D. Michael Miller (Editor)
Buy new from $67.12
eBook from $21.00
|
Compiler Construction: 8th...
Stefan J?hnichen (Editor)
Buy new from $51.64
eBook from $16.50
|
Applications and Theory of...
Jose-Manuel Colom (Editor),
Maciej Koutny (Editor)
Buy new from $51.65
eBook from $16.50
|
Correct Hardware Design and...
Tiziana Margaria (Editor),
Tom Melham (Editor)
Buy new from $51.65
eBook from $16.50
|
Theorem Proving in Higher...
Mark D Aagaard (Editor),
John Harrison (Editor)
Buy new from $51.65
eBook from $16.50
|
Mathematics of Program...
Roland Backhouse (Editor),
Jose Nuno Oliveira (Editor)
Buy new from $51.64
eBook from $16.50
|
Abstract State Machines -...
Yuri Gurevich (Editor),
Philipp W Kutter (Editor)
Buy new from $51.65
eBook from $16.50
|
Constraints in Computational...
Hubert Comon (Editor),
Claude Marche (Editor)
Buy new from $51.65
eBook from $16.50
|
Spin Model Checking and...
Klaus Havelund (Editor),
John Penix (Editor)
Buy new from $51.65
eBook from $16.50
|
Algebraic Methodology and...
Armando M Haeberer (Editor)
Buy new from $51.64
eBook from $16.50
|
