Arun-Kumar, S.

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings / [electronic resource] : edited by S. Arun-Kumar, Naveen Garg. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006. - v.: digital - Lecture Notes in Computer Science, 4337 0302-9743 .

9783540499954


Computer science
Computer software
Logic design
Computational complexity
Computer Science
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Discrete Mathematics in Computer Science

QA76.758 / A78 2006