Mathematics in Computing More Books Like This

Guide to Discrete Mathematics Guide to Discrete Mathematics
Guide to Discrete Mathematics
2021
Concrete Abstractions Concrete Abstractions
Concrete Abstractions
2023
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2008
Models of Computation Models of Computation
Models of Computation
2009
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2010
Rigorous Software Development Rigorous Software Development
Rigorous Software Development
2011
Machines, Computations, and Universality Machines, Computations, and Universality
Machines, Computations, and Universality
2018
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
2011
Interactive Theorem Proving Interactive Theorem Proving
Interactive Theorem Proving
2011
Automated Deduction – CADE-21 Automated Deduction – CADE-21
Automated Deduction – CADE-21
2007
Reversible Computation Reversible Computation
Reversible Computation
2020
Logic, Language, Information and Computation Logic, Language, Information and Computation
Logic, Language, Information and Computation
2010
Theorem Proving in Higher Order Logics Theorem Proving in Higher Order Logics
Theorem Proving in Higher Order Logics
2008
Automated Reasoning Automated Reasoning
Automated Reasoning
2008
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2008