How to Prove It: A Structured Approach
Daniel J. Velleman
C++ Primer Plus
Stephen Prata
Hyperparameter Optimization in Machine Learning
Luca Franceschi
Measurement
Paul Lockhart
Elements of Programming Interviews: The Insiders' Guide
Adnan Aziz & Tsung-Hsien Lee & Amit Prakash