Essential Logic for Computer Science 비슷한 책 더 보기

Discrete Mathematics Using a Computer Discrete Mathematics Using a Computer
Discrete Mathematics Using a Computer
2007년
Pearls of Functional Algorithm Design Pearls of Functional Algorithm Design
Pearls of Functional Algorithm Design
2014년
Guide to Discrete Mathematics Guide to Discrete Mathematics
Guide to Discrete Mathematics
2021년
Mathematics of Discrete Structures for Computer Science Mathematics of Discrete Structures for Computer Science
Mathematics of Discrete Structures for Computer Science
2012년
Decision Procedures Decision Procedures
Decision Procedures
2008년
Logic in Computer Science Logic in Computer Science
Logic in Computer Science
2004년
Introducing Software Verification with Dafny Language Introducing Software Verification with Dafny Language
Introducing Software Verification with Dafny Language
2022년
Sets, Logic and Maths for Computing Sets, Logic and Maths for Computing
Sets, Logic and Maths for Computing
2012년
Mathematics in Computing Mathematics in Computing
Mathematics in Computing
2020년
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년
Algebraic Cryptanalysis Algebraic Cryptanalysis
Algebraic Cryptanalysis
2009년
Boolean Algebra and Its Applications Boolean Algebra and Its Applications
Boolean Algebra and Its Applications
2012년
The Pillars of Computation Theory The Pillars of Computation Theory
The Pillars of Computation Theory
2009년
Practical Analysis of Algorithms Practical Analysis of Algorithms
Practical Analysis of Algorithms
2014년