Algebraic Methodology and...
Armando M Haeberer (Editor)
Buy new from £49.68
eBook from £13.57
|
Abstract State Machines -...
Yuri Gurevich (Editor),
Philipp W Kutter (Editor)
Buy new from £49.85
eBook from £13.57
|
Formal Methods for Components...
Frank S De Boer (Editor),
Marcello M Bonsangue (Editor)
Buy new from £49.85
eBook from £13.57
|
Spin Model Checking and...
Klaus Havelund (Editor),
John Penix (Editor)
Buy new from £49.75
eBook from £13.57
|
Process Algebra and...
Luca De Alfaro (Editor),
Stephen Gilmore (Editor)
Buy new from £49.85
eBook from £13.57
|
Programming Languages and...
Gert Smolka (Editor)
Buy new from £49.75
eBook from £13.57
|
Field-Programmable Logic and...
Reiner W Hartenstein (Editor),
Andres Keevallik (Editor)
Buy new from £49.68
eBook from £13.57
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy new from £49.75
eBook from £13.57
|
Logic-Based Program Synthesis...
Pierre Flener (Editor)
Buy new from £49.56
eBook from £13.57
|
Principles and Practice of...
Toby Walsh (Editor)
Buy new from £92.32
eBook from £24.42
|
Inductive Logic Programming:...
Stephen H. Muggleton (Editor),
Alireza Tamaddoni-Nezhad (Editor)
Buy new from £53.72
eBook from £14.80
|
Lectures on Quantum Mechanics
Jean-Louis Basdevant
Buy new from £49.75
eBook from £13.57
|
OpenMP: Advanced Task-Based,...
Simon McIntosh-Smith (Editor),
Michael Klemm (Editor)
Buy new from £52.94
eBook from £17.26
|
Digital Satellite...
Giovanni E Corazza (Editor)
Buy new from £128.52
eBook from £58.94
|
Intelligent Agents VII. Agent...
Cristiano Castelfranchi (Editor),
Yves Lesperance (Editor)
Buy new from £49.56
eBook from £13.57
|
Reversible Computation: 4th...
Robert Gl?ck (Editor),
Tetsuo Yokoyama (Editor)
Buy new from £46.00
eBook from £12.33
|
Logic and Its Applications:...
Mohua Banerjee (Editor),
Anil Seth (Editor)
Buy new from £49.85
eBook from £13.57
|
Types in Compilation: Third...
Professor Robert Harper (Editor)
Buy new from £49.75
eBook from £13.57
|
Algebraic Methodology and...
Teodor Rus (Editor)
Buy new from £92.32
eBook from £24.42
|
Static Analysis: 22nd...
Sandrine Blazy (Editor),
Thomas Jensen (Editor)
Buy new from £49.75
eBook from £13.57
|
Generative and Component...
Krzysztof Czarnecki (Editor),
Ulrich W Eisenecker (Editor)
Buy new from £49.75
eBook from £13.57
|
Applications of Graph...
Manfred Nagl (Editor),
Andreas Sch?rr (Editor)
Buy new from £92.32
eBook from £24.42
|
Reversible Computation: 5th...
Gerhard W. Dueck (Editor),
D. Michael Miller (Editor)
Buy new from £46.38
eBook from £17.26
|
Compiler Construction: 8th...
Stefan J?hnichen (Editor)
Buy new from £49.27
eBook from £13.57
|
