Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings / [electronic resource] :
edited by Mario Coppo, Elena Lodi, G. Michele Pinna.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
- v.: digital
- Lecture Notes in Computer Science, 3701 0302-9743 ; .
9783540320241
Computer science Data structures (Computer science) Computer software Logic design Computational complexity Computer Science Computation by Abstract Devices Data Structures Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Mathematical Logic and Formal Languages Discrete Mathematics in Computer Science