Automated Deduction - CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

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

Term Rewriting and Applications: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

Code Complete: Edition 2

Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Software Engineering at Google: Lessons Learned from Programming Over Time

Arduino Projects For Dummies

Internet of Things with ESP8266

Integer Programming and Combinatorial Optimization: 13th International Conference, IPCO 2008 Bertinoro, Italy, May 26-28, 2008 Proceedings

Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F#

Google Cloud for DevOps Engineers: A practical guide to SRE and achieving Google's Professional Cloud DevOps Engineer certification

Docker and Kubernetes for Java Developers

Digital Design and Computer Architecture: Edition 2

Raspberry Pi User Guide: Edition 3

System Performance Tuning: Help for Unix Administrators, Edition 2

Crafting Interpreters

The Official BBC micro:bit User Guide

Building Serverless Applications with Google Cloud Run

Becoming a Better Programmer: A Handbook for People Who Care About Code