Reactive Systems : Modelling, Specification and Verification
Luca Aceto
Download Now
Format: eBook (PDF)
Modern Computational Finance : AAD and Parallel Simulations
Antoine Savine
Download Now
Format: eBook (PDF)
Interactive Theorem Proving and Program Development : Coq'Art: The Calculus of Inductive Constructions
Yves Bertot
Download Now
Format: eBook (PDF)
Ingredients for Successful System Level Design Methodology
Hiren D. Patel
Download Now
Format: eBook (PDF)
Logical Approach to Automatic Sequences : Exploring Combinatorics on Words with Walnut
Jeffrey Shallit
Download Now
Format: eBook (PDF)
A Mathematical Introduction to Robotic Manipulation
Richard M. Murray
Download Now
Format: eBook (PDF)
The End of Error : Unum Computing
John L. (CTO, Ceranovo, Inc. Pleasanton, California, USA) Gustafson
Download Now
Format: eBook (PDF)
Handbook of Biometric Anti-Spoofing : Trusted Biometrics under Spoofing Attacks
Sebastien Marcel
Download Now
Format: eBook (PDF)