Theoretical Computer Science
Coppo, Mario.
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
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