Introduction to Bisimulation and Coinduction
Davide (Universita di Bologna) Sangiorgi
Download Now
Format: eBook (PDF)
Essential Mathematical Methods for the Physical Sciences
K. F. Riley
Download Now
Format: eBook (EPUB)
Computer Security Literacy : Staying Safe in a Digital World
Douglas Jacobson
Download Now
Format: eBook (PDF)
Propositional and Predicate Calculus: A Model of Argument
Derek Goldrei
Download Now
Format: eBook (PDF)
Vedic Mathematics : secrets skills for quick, accurate mental calculations
SUMITA BOSE
Download Now
Format: eBook (EPUB)
Conditional Reasoning : The Unruly Syntactics, Semantics, Thematics, and Pragmatics of "If"
Raymond Nickerson
Download Now
Format: eBook (EPUB)
Discrete Mathematical Structures : A Succinct Foundation
B. V. Senthil Kumar
Download Now
Format: eBook (PDF)
Truth, Possibility and Probability : New Logical Foundations of Probability and Statistical Inference
R. Chuaqui
Download Now
Format: eBook (PDF)
Computer Arithmetic and Formal Proofs : Verifying Floating-point Algorithms with the Coq System
Sylvie Boldo
Download Now
Format: eBook (EPUB)