Formal Methods in Computer Science こちらもおすすめ

Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition) Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
Theory of Computation and Application- Automata,Formal languages,Computational Complexity (2nd Edition)
2022年
An Introduction to the Analysis of Algorithms An Introduction to the Analysis of Algorithms
An Introduction to the Analysis of Algorithms
2018年
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年
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年
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年
Verifying Cyber-Physical Systems Verifying Cyber-Physical Systems
Verifying Cyber-Physical Systems
2021年
Mathematical Principles of the Internet, Volume 1 Mathematical Principles of the Internet, Volume 1
Mathematical Principles of the Internet, Volume 1
2018年