Models of Computation 비슷한 책 더 보기

Machines, Computations, and Universality Machines, Computations, and Universality
Machines, Computations, and Universality
2018년
Central European Functional Programming School Central European Functional Programming School
Central European Functional Programming School
2008년
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
Algebraic Methodology and Software Technology
2011년
Engineering Theories of Software Intensive Systems Engineering Theories of Software Intensive Systems
Engineering Theories of Software Intensive Systems
2006년
Practical Foundations for Programming Languages Practical Foundations for Programming Languages
Practical Foundations for Programming Languages
2012년
Mathematics in Computing Mathematics in Computing
Mathematics in Computing
2020년
Specification of Software Systems Specification of Software Systems
Specification of Software Systems
2011년
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2010년
Semantics and Algebraic Specification Semantics and Algebraic Specification
Semantics and Algebraic Specification
2009년
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2017년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2008년
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2011년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2011년
Functional and Logic Programming Functional and Logic Programming
Functional and Logic Programming
2018년
Theoretical Introduction to Programming Theoretical Introduction to Programming
Theoretical Introduction to Programming
2005년