High Performance Computing:...
Julian M Kunkel (Editor),
Rio Yokota (Editor)
Buy from $60.65
eBook from $16.50
|
Automated Technology for...
Sungdeok Cha (Editor),
Jin-Young Choi (Editor)
Buy from $60.65
eBook from $16.50
|
Programming Languages and...
Chung-Chien Shan (Editor)
Buy from $60.65
eBook from $16.50
|
Model-Based Safety and...
Frank Ortmeier (Editor),
Antoine Rauzy (Editor)
Buy from $61.95
eBook from $16.50
|
ECOOP 2008 - Object-Oriented...
Jan Vitek (Editor)
Buy from $30.00
eBook from $29.70
|
Software Architecture with...
Wanderson Xesquevixos
Buy from $49.36
eBook from $37.99
|
Circuit Design with Vhdl,...
Volnei A Pedroni
Buy from $79.12
eBook from $39.99
|
Static Analysis: 23rd...
Xavier Rival (Editor)
Buy from $60.65
eBook from $16.50
|
Foundations of Software...
Anca Muscholl (Editor)
Buy from $60.65
eBook from $16.50
|
Certified Programs and Proofs...
Georges Gonthier (Editor),
Michael Norrish (Editor)
Buy from $60.65
eBook from $16.50
|
Static Analysis: 24th...
Francesco Ranzato (Editor)
Buy from $60.65
eBook from $16.50
|
Programming Languages: 20th...
Fernando Castor (Editor),
Yu David Liu (Editor)
Buy from $60.65
eBook from $16.50
|
Formal Methods: Foundations...
Tiago Massoni (Editor),
Mohammad Reza Mousavi (Editor)
Buy from $70.05
eBook from $19.50
|
Foundations of Security...
Alessandro Aldini (Editor),
Javier Lopez (Editor)
Buy from $51.26
eBook from $13.50
|
Automated Technology for...
Bernd Finkbeiner (Editor),
Geguang Pu (Editor)
Buy from $60.65
eBook from $16.50
|
Grand Timely Topics in...
Jßcome Cunha (Editor),
Jo?o P Fernandes (Editor)
Buy from $60.65
eBook from $16.50
|
Semantics, Applications, and...
Walid Taha (Editor)
Buy from $23.40
eBook from $16.50
|
Functional and Logic...
Michael Hanus (Editor),
Atsushi Igarashi (Editor)
Buy from $74.75
eBook from $21.00
|
Interactive Theorem Proving:...
Mauricio Ayala-Rinc?n (Editor),
C?sar a Muħoz (Editor)
Buy from $60.65
eBook from $16.50
|
Accelerator Programming Using...
Sandra Wienke (Editor),
Sridutt Bhalachandra (Editor)
Buy from $60.65
eBook from $16.50
|
Declarative Agent Languages...
Matteo Baldoni (Editor),
Louise Dennis (Editor)
Buy from $61.43
eBook from $21.00
|
Critical Systems: Formal...
Laure Petrucci (Editor),
Cristina Seceleanu (Editor)
Buy from $60.65
eBook from $16.50
|
Value-Range Analysis of C...
Axel Simon
Buy from $138.46
eBook from $47.70
|
Algebraic Theory of Automata...
Ito Masami
Buy from $109.58
eBook from $46.00
|
