Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition) こちらもおすすめ

Formal Methods in Computer Science Formal Methods in Computer Science
Formal Methods in Computer Science
2019年
An Introduction to the Analysis of Algorithms An Introduction to the Analysis of Algorithms
An Introduction to the Analysis of Algorithms
2018年
Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski
Role Of Theory In Computer Science, The: Essays Dedicated To Janusz Brzozowski
2017年
Formal Languages, Automata and Numeration Systems 1 Formal Languages, Automata and Numeration Systems 1
Formal Languages, Automata and Numeration Systems 1
2014年
Algorithms for Analysis, Inference, and Control of Boolean Networks Algorithms for Analysis, Inference, and Control of Boolean Networks
Algorithms for Analysis, Inference, and Control of Boolean Networks
2018年
Mathematical Aspects of Logic Programming Semantics Mathematical Aspects of Logic Programming Semantics
Mathematical Aspects of Logic Programming Semantics
2016年
Multiple-Valued Logic Design Multiple-Valued Logic Design
Multiple-Valued Logic Design
2017年
Computer Science: Questions and Answers Computer Science: Questions and Answers
Computer Science: Questions and Answers
2017年
Verified Functional Programming in Agda Verified Functional Programming in Agda
Verified Functional Programming in Agda
2016年
BASIC CONCEPTS IN ALGORITHMS BASIC CONCEPTS IN ALGORITHMS
BASIC CONCEPTS IN ALGORITHMS
2021年