Theoretical Aspects of Computing – ICTAC 2017 المزيد من الكتب المشابهة

Theoretical Aspects of Computing - ICTAC 2015

٢٠١٥

Theoretical Aspects of Computing – ICTAC 2016

٢٠١٦

Automated Technology for Verification and Analysis

٢٠١٥

Semantics, Logics, and Calculi

٢٠١٦

Logic for Programming, Artificial Intelligence, and Reasoning

٢٠١٥

Verification, Model Checking, and Abstract Interpretation

٢٠١٥

Perspectives of System Informatics

٢٠١٥

Verification, Model Checking, and Abstract Interpretation

٢٠١٧

Programming Languages and Systems

٢٠١٧

Dependable Software Engineering. Theories, Tools, and Applications

٢٠١٧

Programming Languages and Systems

٢٠١٨

Programming Languages and Systems

٢٠١٦

Models, Algorithms, Logics and Tools

٢٠١٧

Formal Methods and Software Engineering

٢٠١٩

Rewriting Logic and Its Applications

٢٠١٦