STACS 2007 [electronic resource] : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings / edited by Wolfgang Thomas, Pascal Weil.
Material type:
Computer fileSeries: Lecture Notes in Computer Science ; 4393Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.Description: v.: digitalISBN: - 9783540709183
- Computer science
- Data structures (Computer science)
- Computer software
- Logic design
- Computational complexity
- Computer Science
- Computation by Abstract Devices
- Algorithm Analysis and Problem Complexity
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- Data Structures
- Discrete Mathematics in Computer Science
- QA75.5 T46 2007
| Item type | Current library | Call number | URL | Copy number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|---|
Libro Electrónico
|
Biblioteca Digital Colección Digital | QA75.5 T46 2007 (Browse shelf(Opens below)) | Link to resource | 1 | Available | Springerlink | BDIG00012624 |
There are no comments on this title.