Formal Methods for Components...
Frank S De Boer (Editor),
Marcello M Bonsangue (Editor)
Buy new from $60.65
eBook from $16.50
|
Dynamics in Logic and...
Dun Deng (Editor),
Mingming Liu (Editor)
Buy new from $90.24
eBook from $18.00
|
Principles and Practice of...
Toby Walsh (Editor)
Buy new from $112.32
eBook from $29.70
|
Lectures on Quantum Mechanics
Jean-Louis Basdevant
Buy new from $60.57
eBook from $16.50
|
Spin Model Checking and...
Klaus Havelund (Editor),
John Penix (Editor)
Buy new from $60.65
eBook from $16.50
|
Logic, Language, Information,...
Agata Ciabattoni (Editor),
Elaine Pimentel (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
|
Inductive Logic Programming:...
Stephen H. Muggleton (Editor),
Alireza Tamaddoni-Nezhad (Editor)
Buy new from $65.35
eBook from $18.00
|
Digital Satellite...
Giovanni E Corazza (Editor)
Buy new from $166.47
eBook from $71.70
|
Reversible Computation: 4th...
Robert Gl?ck (Editor),
Tetsuo Yokoyama (Editor)
Buy new from $55.96
eBook from $15.00
|
Logic and Its Applications:...
Mohua Banerjee (Editor),
Anil Seth (Editor)
Buy new from $60.65
eBook from $16.50
|
Types in Compilation: Third...
Professor Robert Harper (Editor)
Buy new from $60.57
eBook from $16.50
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy new from $60.65
eBook from $16.50
|
Algebraic Methodology and...
Teodor Rus (Editor)
Buy new from $112.32
eBook from $29.70
|
Static Analysis: 22nd...
Sandrine Blazy (Editor),
Thomas Jensen (Editor)
Buy new from $60.57
eBook from $16.50
|
Applications of Graph...
Manfred Nagl (Editor),
Andreas Sch?rr (Editor)
Buy new from $112.32
eBook from $29.70
|
Reversible Computation: 5th...
Gerhard W. Dueck (Editor),
D. Michael Miller (Editor)
Buy new from $56.53
eBook from $21.00
|
Compiler Construction: 8th...
Stefan J?hnichen (Editor)
Buy new from $59.63
eBook from $16.50
|
Applications and Theory of...
Jose-Manuel Colom (Editor),
Maciej Koutny (Editor)
Buy new from $60.57
eBook from $16.50
|
Correct Hardware Design and...
Tiziana Margaria (Editor),
Tom Melham (Editor)
Buy new from $60.57
eBook from $16.50
|
Theorem Proving in Higher...
Mark D Aagaard (Editor),
John Harrison (Editor)
Buy new from $60.57
eBook from $16.50
|
Mathematics of Program...
Roland Backhouse (Editor),
Jose Nuno Oliveira (Editor)
Buy new from $60.65
eBook from $16.50
|
Abstract State Machines -...
Yuri Gurevich (Editor),
Philipp W Kutter (Editor)
Buy new from $59.12
eBook from $16.50
|
Constraints in Computational...
Hubert Comon (Editor),
Claude Marche (Editor)
Buy new from $60.57
eBook from $16.50
|
