4 works on record
Mathematical Logic for Computer Science
Elements of Robotics
Ada for Software Engineers
Mathematical Surprises