Guide to Discrete Mathematics 비슷한 책 더 보기

Mathematics in Computing Mathematics in Computing
Mathematics in Computing
2012년
Decision Procedures Decision Procedures
Decision Procedures
2008년
Logic, Language, Information and Computation Logic, Language, Information and Computation
Logic, Language, Information and Computation
2010년
Intelligent Computer Mathematics Intelligent Computer Mathematics
Intelligent Computer Mathematics
2008년
Popular Lectures on Mathematical Logic Popular Lectures on Mathematical Logic
Popular Lectures on Mathematical Logic
2014년
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년
Fields of Logic and Computation Fields of Logic and Computation
Fields of Logic and Computation
2010년
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2008년
Introducing Software Verification with Dafny Language Introducing Software Verification with Dafny Language
Introducing Software Verification with Dafny Language
2022년
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년
Discrete Mathematics Using a Computer Discrete Mathematics Using a Computer
Discrete Mathematics Using a Computer
2007년
Automated Reasoning Automated Reasoning
Automated Reasoning
2008년
PROOF AND COMPUTATION II PROOF AND COMPUTATION II
PROOF AND COMPUTATION II
2021년
Automated Deduction – CADE-21 Automated Deduction – CADE-21
Automated Deduction – CADE-21
2007년