Theoretical Aspects of Computing – ICTAC 2017 비슷한 책 더 보기

Theoretical Aspects of Computing - ICTAC 2015 Theoretical Aspects of Computing - ICTAC 2015
Theoretical Aspects of Computing - ICTAC 2015
2015년
Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
Theoretical Aspects of Computing – ICTAC 2016
2016년
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2015년
Semantics, Logics, and Calculi Semantics, Logics, and Calculi
Semantics, Logics, and Calculi
2016년
Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
2015년
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2015년
Perspectives of System Informatics Perspectives of System Informatics
Perspectives of System Informatics
2015년
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation
2017년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2017년
Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications
Dependable Software Engineering. Theories, Tools, and Applications
2017년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2018년
Programming Languages and Systems Programming Languages and Systems
Programming Languages and Systems
2016년
Models, Algorithms, Logics and Tools Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
2017년
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2019년
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2016년