£36.00
Computational Formalism
£36.00
Principles of Formal Quantitative Analysis
Theory of Computation
Type-Logical Syntax
COMPUTATIONAL PHYSICS
Formalized Probability Theory and Applications Using Theorem Proving
Principles of Verification: Cycling the Probabilistic Landscape
Principles of Verification: Cycling the Probabilistic Landscape
Formal Languages and Compilation
Boolean Networks as Predictive Models of Emergent Biological Behaviors
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
Introduction to Theory of Computation
Program Proofs