4 books
Elements of Robotics
ADA for Software Engineers
Principles of the Spin Model Checker
Mathematical Logic for Computer Science