Mathematical Logic for Computer Science
Mordechai Ben-Ari
Embedded Systems: Introduction to the ARM® Cortex(TM)-M Microcontrollers
Jonathan W Valvano
Jenkins Essentials
Mitesh Soni
Git Essentials
Ferdinando Santacroce
An Introduction to Optimization
Edwin K. P. Chong & Stanislaw H. Zak