Mathematics in Computing 비슷한 책 더 보기

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년
An Introduction to Programming with Specifications (Enhanced Edition) An Introduction to Programming with Specifications (Enhanced Edition)
An Introduction to Programming with Specifications (Enhanced Edition)
2012년
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년