Lodaya, Kamal.

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings / [electronic resource] : edited by Kamal Lodaya, Meena Mahajan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3328 0302-9743 ; . - Lecture Notes in Computer Science, 3328 .

9783540305385

10.1007/b104325 doi


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.9.L63 QA76.5913 QA76.63

005.1015113

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue