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 Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3701 0302-9743 ; . - Lecture Notes in Computer Science, 3701 .
9783540320241
10.1007/11560586 doi
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.
QA75.5-76.95
004.0151
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 Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3701 0302-9743 ; . - Lecture Notes in Computer Science, 3701 .
9783540320241
10.1007/11560586 doi
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.
QA75.5-76.95
004.0151