Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Game Programming Patterns

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

All of Programming

Just Enough Software Architecture: A Risk-Driven Approach

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Android App Development For Dummies: Edition 3

Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings

The Software Engineer's Guidebook: Navigating senior, tech lead, and staff engineer positions at tech companies and startups

Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

Programming Python: Powerful Object-Oriented Programming, Edition 4

Language, Culture, Computation: Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part III

C++ Programming Language

Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022, Proceedings

The Pragmatic Programmer: From Journeyman to Master

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings

Kotlin Programming for Beginners

Language, Culture, Computation: Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part I

JavaScript: The Good Parts: The Good Parts

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings