Coppo, Mario.

Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings / edited by Mario Coppo, Elena Lodi, G. Michele Pinna. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

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.