Sarukkai, Sundar.

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings / [electronic resource] : edited by Sundar Sarukkai, Sandeep Sen. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3821 0302-9743 .

9783540324195


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

QA76.751 / S27 2005