FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
Arvind, V.
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings / [electronic resource] : edited by V. Arvind, Sanjiva Prasad. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4855 0302-9743 .
9783540770503
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.751 / A78 2007
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings / [electronic resource] : edited by V. Arvind, Sanjiva Prasad. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4855 0302-9743 .
9783540770503
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.751 / A78 2007