Mordechai Ben-Ari

Elements of Robotics

Mathematical Logic for Computer Science

Mathematical Surprises

Ada for Software Engineers