Logic & Lang Model Comp (4th...
Richards Dana
Buy from $74.06
eBook from $47.00
|
Theoretical Aspects of...
Bernd Fischer (Editor),
Tarmo Uustalu (Editor)
Buy from $73.29
eBook from $27.00
|
Developments in Language...
Marie-Pierre Beal (Editor),
Olivier Carton (Editor)
Buy from $50.01
eBook from $16.50
|
Circuit Design with Vhdl,...
Volnei A Pedroni
Buy from $79.12
eBook from $39.99
|
C++ in Embedded Systems: A...
Amar Mahmutbegovic,
Francesco Abbruzzese
Buy from $42.81
eBook from $31.99
|
Static Analysis: 23rd...
Xavier Rival (Editor)
Buy from $50.98
eBook from $16.50
|
Programming Languages and...
Helmut Seidl (Editor)
Buy from $60.65
eBook from $16.50
|
Algebraic Theory of Automata...
Ito Masami
Buy from $117.03
eBook from $46.00
|
Accelerator Programming Using...
Sandra Wienke (Editor),
Sridutt Bhalachandra (Editor)
Buy from $43.83
eBook from $16.50
|
Lectures on Logic and...
Nick Bezhanishvili (Editor),
Valentin Goranko (Editor)
Buy from $55.96
eBook from $15.00
|
Formal Methods: Foundations...
Tiago Massoni (Editor),
Mohammad Reza Mousavi (Editor)
Buy from $51.97
eBook from $19.50
|
Computer Processing of...
Wenjie Li (Editor),
Diego Mollß-Aliod (Editor)
Buy from $48.91
eBook from $16.50
|
Functional and Logic...
Michael Hanus (Editor),
Atsushi Igarashi (Editor)
Buy from $57.46
eBook from $21.00
|
Practical Aspects of...
Francesco Calimeri (Editor),
Kevin Hamlen (Editor)
Buy from $39.14
eBook from $18.00
|
Tests and Proofs: 14th...
Wolfgang Ahrendt (Editor),
Heike Wehrheim (Editor)
Buy from $44.38
eBook from $16.50
|
Intelligent Computer...
Herman Geuvers (Editor),
Matthew England (Editor)
Buy from $48.50
eBook from $16.50
|
Semantics, Applications, and...
Walid Taha (Editor)
Buy from $22.58
eBook from $16.50
|
Verified Software: Theories,...
Arie Gurfinkel (Editor),
Sanjit A Seshia (Editor)
Buy from $45.21
eBook from $16.50
|
Semantics with Applications:...
Hanne Riis Nielson,
Flemming Nielson
Buy from $33.09
eBook from $12.00
|
ECOOP 2008 - Object-Oriented...
Jan Vitek (Editor)
Buy from $30.00
eBook from $29.70
|
Interactive Theorem Proving:...
Mauricio Ayala-Rinc?n (Editor),
C?sar a Muħoz (Editor)
Buy from $51.52
eBook from $16.50
|
Tools and Algorithms for the...
Marsha Chechik (Editor),
Jean-Fran?ois Raskin (Editor)
Buy from $60.18
eBook from $16.50
|
Software Architecture with...
Jason Chow (Tsz Shun)
Buy from $45.06
eBook from $33.99
|
