Limits of Computation 비슷한 책 더 보기

Reversible Computation Reversible Computation
Reversible Computation
2020년
Machines, Computations, and Universality Machines, Computations, and Universality
Machines, Computations, and Universality
2018년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2020년
Language and Automata Theory and Applications Language and Automata Theory and Applications
Language and Automata Theory and Applications
2018년
Beyond the Horizon of Computability Beyond the Horizon of Computability
Beyond the Horizon of Computability
2020년
Unveiling Dynamics and Complexity Unveiling Dynamics and Complexity
Unveiling Dynamics and Complexity
2017년
Language and Automata Theory and Applications Language and Automata Theory and Applications
Language and Automata Theory and Applications
2017년
Automatic Program Development Automatic Program Development
Automatic Program Development
2008년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2017년
Mathematical Foundations of Computer Science 2015 Mathematical Foundations of Computer Science 2015
Mathematical Foundations of Computer Science 2015
2015년
Theory and Applications of Models of Computation Theory and Applications of Models of Computation
Theory and Applications of Models of Computation
2019년
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2017년
Language and Automata Theory and Applications Language and Automata Theory and Applications
Language and Automata Theory and Applications
2016년
Reachability Problems Reachability Problems
Reachability Problems
2017년
Logic Programming and Nonmonotonic Reasoning Logic Programming and Nonmonotonic Reasoning
Logic Programming and Nonmonotonic Reasoning
2017년