Formal Methods for Components...
Frank S De Boer (Editor),
Marcello M Bonsangue (Editor)
Buy from $47.95
eBook from $16.50
|
Algebraic Methodology and...
Armando M Haeberer (Editor)
Buy from $47.58
eBook from $16.50
|
Abstract State Machines -...
Yuri Gurevich (Editor),
Philipp W Kutter (Editor)
Buy from $26.45
eBook from $16.50
|
Dynamics in Logic and...
Dun Deng (Editor),
Mingming Liu (Editor)
Buy from $67.00
eBook from $18.00
|
Spin Model Checking and...
Klaus Havelund (Editor),
John Penix (Editor)
Buy from $51.63
eBook from $16.50
|
Applications of Graph...
Manfred Nagl (Editor),
Andreas Sch?rr (Editor)
Buy from $71.48
eBook from $29.70
|
Process Algebra and...
Luca De Alfaro (Editor),
Stephen Gilmore (Editor)
Buy from $51.51
eBook from $16.50
|
Programming Languages and...
Gert Smolka (Editor)
Buy from $5.00
eBook from $16.50
|
Field-Programmable Logic and...
Reiner W Hartenstein (Editor),
Andres Keevallik (Editor)
Buy from $48.46
eBook from $16.50
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy from $51.65
eBook from $16.50
|
Logic-Based Program Synthesis...
Pierre Flener (Editor)
Buy from $32.89
eBook from $16.50
|
Principles and Practice of...
Toby Walsh (Editor)
Buy from $31.29
eBook from $29.70
|
Inductive Logic Programming:...
Stephen H. Muggleton (Editor),
Alireza Tamaddoni-Nezhad (Editor)
Buy from $56.35
eBook from $18.00
|
Digital Satellite...
Giovanni E Corazza (Editor)
Buy from $142.48
eBook from $71.70
|
Lectures on Quantum Mechanics
Jean-Louis Basdevant
Buy from $31.11
eBook from $16.50
|
Intelligent Agents VII. Agent...
Cristiano Castelfranchi (Editor),
Yves Lesperance (Editor)
Buy from $38.79
eBook from $16.50
|
Reversible Computation: 4th...
Robert Gl?ck (Editor),
Tetsuo Yokoyama (Editor)
Buy from $46.96
eBook from $15.00
|
Logic and Its Applications:...
Mohua Banerjee (Editor),
Anil Seth (Editor)
Buy from $51.65
eBook from $16.50
|
Types in Compilation: Third...
Professor Robert Harper (Editor)
Buy from $51.65
eBook from $16.50
|
Algebraic Methodology and...
Teodor Rus (Editor)
Buy from $103.32
eBook from $29.70
|
Static Analysis: 22nd...
Sandrine Blazy (Editor),
Thomas Jensen (Editor)
Buy from $51.65
eBook from $16.50
|
Generative and Component...
Krzysztof Czarnecki (Editor),
Ulrich W Eisenecker (Editor)
Buy from $51.50
eBook from $16.50
|
Reversible Computation: 5th...
Gerhard W. Dueck (Editor),
D. Michael Miller (Editor)
Buy from $66.41
eBook from $21.00
|
Compiler Construction: 8th...
Stefan J?hnichen (Editor)
Buy from $20.00
eBook from $16.50
|
