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

Theoretical Aspects of Computing – ICTAC 2017

٢٠١٧

Theoretical Aspects of Computing – ICTAC 2016

٢٠١٦

Semantics, Logics, and Calculi

٢٠١٦

Foundations of Software Science and Computation Structures

٢٠١٦

Automated Technology for Verification and Analysis

٢٠١٥

Reachability Problems

٢٠١٦

Foundations of Software Science and Computation Structures

٢٠١٧

Logic for Programming, Artificial Intelligence, and Reasoning

٢٠١٥

Programming Languages and Systems

٢٠١٦

Programming Languages and Systems

٢٠١٧

Perspectives of System Informatics

٢٠١٥

Rewriting Logic and Its Applications

٢٠١٦

Programming Languages and Systems

٢٠١٨

Formal Techniques for Distributed Objects, Components, and Systems

٢٠١٩

Reachability Problems

٢٠١٧