FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings / edited by Sundar Sarukkai, Sandeep Sen.
Material type:
Computer fileSeries: Lecture Notes in Computer Science ; 3821Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.Description: v.: digitalISBN: - 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
| Item type | Current library | Call number | URL | Copy number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
Libro Electrónico
|
Biblioteca Digital Colección Digital | QA76.751 S27 2005 (Browse shelf(Opens below)) | Link to resource | 1 | Available | SpringerLink | BDIG00009891 |
There are no comments on this title.
Log in to your account to post a comment.