Title: Theoretical Aspects of Computing - ICTAC 2014
Subjects: Computer science, mathematics, Computer programming, Software engineering, Computer science, Logic design, Computational complexity, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Discrete Mathematics in Computer Science