Mario Coppo, Elena Lodi, G. Michele Pinna

Theoretical Computer Science - 2005

978-3-540-32024-1


Algorithm Analysis and Problem Complexity
Computation by Abstract Devices
Data Structures
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Theory of Computation
Computer Science