Theoretical Aspects of Computing - ICTAC 2015 비슷한 책 더 보기
Theoretical Aspects of Computing – ICTAC 2017
2017년
Theoretical Aspects of Computing – ICTAC 2016
2016년
Semantics, Logics, and Calculi
2016년
Foundations of Software Science and Computation Structures
2016년
Automated Technology for Verification and Analysis
2015년
Reachability Problems
2016년
Foundations of Software Science and Computation Structures
2017년
Logic for Programming, Artificial Intelligence, and Reasoning
2015년
Programming Languages and Systems
2016년
Programming Languages and Systems
2017년
Perspectives of System Informatics
2015년
Rewriting Logic and Its Applications
2016년
Programming Languages and Systems
2018년
Formal Techniques for Distributed Objects, Components, and Systems
2019년
Reachability Problems
2017년