The purpose of computing is insight, not numbers. (R. Hamming)
Too few people recognize that the high technology so celebrated today is essentially
a mathematical technology. From the 2nd DavidReport (E.E. David, Jr.)
"Can computer science save the computer industry"? If the computer industry can be saved,
only computer science can do it. (E.W. Dijkstra)
 Philosophy and Computation, 2017
 Algorithms
and Data Structures, 2009

Computational Complexity, 2016

Mathematical Foundations of Computer Science, 2017
 Modern Data Communications, 2012

Introduction to Research in Computer Science, 2004

Unconventional Models of Computation, 2004
 Algorithms and Data Structures, 2004

Quantum Computing, Tarragona, 2002

Algorithmics, 2000

Algorithmic Information Theory, 1998

History of Computing and Computers, 1998

Mathematical Logic, 1998