Principles of concurrent and distributed programming
Handbook of automated reasoning
The C++ Programming Language
Computers and Intractability. A Guide to the Theory of NP-Completeness. (Series of Books in the Mathematical Sciences)
Hardware Manual. PCD1/PCD2 Series
Computer hardware and software
Elements of Programming Interviews in Python
Furqan Zahoor, Tun Zainal Azni Zulfiki, Farooq Ahmad Khanday - Resistive Random Access Memory - an overview of materials, switching mechanism, performance, multilevel cell storage, modeling and applications
Computer Applications. Volume 2. Queueing Systems
Modern Communications Switching Systems