Formal Methods for Components...
Frank S De Boer (Editor),
Marcello M Bonsangue (Editor)
Buy from $54.96
eBook from $16.50
|
Dynamics in Logic and...
Dun Deng (Editor),
Mingming Liu (Editor)
Buy from $96.74
eBook from $18.00
|
Principles and Practice of...
Toby Walsh (Editor)
Buy from $38.30
eBook from $29.70
|
Spin Model Checking and...
Klaus Havelund (Editor),
John Penix (Editor)
Buy from $58.64
eBook from $16.50
|
Lectures on Quantum Mechanics
Jean-Louis Basdevant
Buy from $50.44
eBook from $16.50
|
Logic, Language, Information,...
Agata Ciabattoni (Editor),
Elaine Pimentel (Editor)
Buy from $60.57
eBook from $16.50
|
Intelligent Agents VII. Agent...
Cristiano Castelfranchi (Editor),
Yves Lesperance (Editor)
Buy from $36.25
eBook from $16.50
|
Inductive Logic Programming:...
Stephen H. Muggleton (Editor),
Alireza Tamaddoni-Nezhad (Editor)
Buy from $65.35
eBook from $18.00
|
Digital Satellite...
Giovanni E Corazza (Editor)
Buy from $149.48
eBook from $71.70
|
Reversible Computation: 4th...
Robert Gl?ck (Editor),
Tetsuo Yokoyama (Editor)
Buy from $55.96
eBook from $15.00
|
Logic and Its Applications:...
Mohua Banerjee (Editor),
Anil Seth (Editor)
Buy from $60.65
eBook from $16.50
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy from $60.03
eBook from $16.50
|
Algebraic Methodology and...
Teodor Rus (Editor)
Buy from $112.32
eBook from $29.70
|
Applications of Graph...
Manfred Nagl (Editor),
Andreas Sch?rr (Editor)
Buy from $13.77
eBook from $29.70
|
Reversible Computation: 5th...
Gerhard W. Dueck (Editor),
D. Michael Miller (Editor)
Buy from $56.53
eBook from $21.00
|
Compiler Construction: 8th...
Stefan J?hnichen (Editor)
Buy from $27.00
eBook from $16.50
|
Applications and Theory of...
Jose-Manuel Colom (Editor),
Maciej Koutny (Editor)
Buy from $40.76
eBook from $16.50
|
Correct Hardware Design and...
Tiziana Margaria (Editor),
Tom Melham (Editor)
Buy from $60.57
eBook from $16.50
|
Theorem Proving in Higher...
Mark D Aagaard (Editor),
John Harrison (Editor)
Buy from $55.72
eBook from $16.50
|
Mathematics of Program...
Roland Backhouse (Editor),
Jose Nuno Oliveira (Editor)
Buy from $14.91
eBook from $16.50
|
Abstract State Machines -...
Yuri Gurevich (Editor),
Philipp W Kutter (Editor)
Buy from $33.46
eBook from $16.50
|
Constraints in Computational...
Hubert Comon (Editor),
Claude Marche (Editor)
Buy from $44.77
eBook from $16.50
|
Algebraic Methodology and...
Armando M Haeberer (Editor)
Buy from $54.59
eBook from $16.50
|
Proof Theory in Computer...
Reinhard Kahle (Editor),
Peter Schroeder-Heister (Editor)
Buy from $55.13
eBook from $16.50
|
