Mathematical Problems From Applied Logic I: Logics for the XXIst ...
Dov M. Gabbay & Sergei S. Goncharov & Michael Zakharyaschev
Implementing Automated Software Testing
Neha Kaul
Mathematical Delights
Ross Honsberger
The Elements of Boat Strength: For Builders, Designers, and ...
Dave Gerr
Advanced Computing
Michael Bader & Hans-Joachim Bungartz & Tobias Weinzierl
Bushido
Ryan M. Danks