Theoretical Computer Science
Blundo, Carlo.
Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings / edited by Carlo Blundo, Cosimo Laneve. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540452089
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 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003. Proceedings / edited by Carlo Blundo, Cosimo Laneve. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540452089
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.