| Computer Arithmetic: Algorithms and Hardware | | |
| Lambda Calculi: A Guide for Computer Scientists | | |
| Computer Algorithms: Introduction to Design and | | |
| I. B. M. Personal Computer from the Inside Out | | |
| Automatic Text Processing: The Transformation | | |
| Clausal Form Logic: An Introduction to the Logic | | |
| Introductory Logic and Sets for Computer | | |
| High-Performance Computer Architecture | | |
| Art of Computer Programming, Volume 1, Fascicle | | |
| Structure and Interpretation of Computer Programs | | |
| Structure and Interpretation of Computer Programs | | |
| Fundamental Proof Methods in Computer Science: A | | |
| The Philosophical Computer: Exploratory Essays in | | |
| The Invisible Computer: Why Good Products Can | | |
| Structure and Interpretation of Computer Programs | | |
| Building Pascal programs: An introduction to | | |
| Sixty Programmes for the Commodore 64 | | |
| Fundamentals of Computer Science (Computer | | |
| Computer Graphics-Computer Art | | |
| Iwoz: Computer Geek to Cult Icon: How I Invented | | |