Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

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

Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures

Thinking in Systems: International Bestseller

Code Complete: Edition 2

Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures

Software Engineering at Google: Lessons Learned from Programming Over Time

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Arduino Projects For Dummies

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures

Internet of Things with ESP8266

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

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

User-Centric Networking: Future Perspectives

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

Computational Methods in Systems Biology: 7th International Conference, CMSB 2009

Docker and Kubernetes for Java Developers

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings