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

Programming Languages and Systems

٢٠١٨

Theoretical Aspects of Computing – ICTAC 2017

٢٠١٧

Perspectives of System Informatics

٢٠١٥

Theoretical Aspects of Computing - ICTAC 2015

٢٠١٥

Programming Languages and Systems

٢٠١٦

Logic for Programming, Artificial Intelligence, and Reasoning

٢٠١٥

Programming Languages and Systems

٢٠١٧

Rewriting Logic and Its Applications

٢٠١٦

Functional and Logic Programming

٢٠١٨

Logic-Based Program Synthesis and Transformation

٢٠١٥

Logic-Based Program Synthesis and Transformation

٢٠٢٠

Semantics, Logics, and Calculi

٢٠١٦

Verification, Model Checking, and Abstract Interpretation

٢٠١٧

Theoretical Aspects of Computing – ICTAC 2010

٢٠١٠

Algebraic Methodology and Software Technology

٢٠١١