Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings

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

Computational Intelligence in Biomedical Imaging

Code Complete: Edition 2

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

Software Engineering at Google: Lessons Learned from Programming Over Time

Principles of Distributed Systems: 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

Arduino Projects For Dummies

Internet of Things with ESP8266

Cybernics: Fusion of human, machine and information systems

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

Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

Docker and Kubernetes for Java Developers

Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems

Digital Design and Computer Architecture: Edition 2

Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII ’97

Raspberry Pi User Guide: Edition 3

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

System Performance Tuning: Help for Unix Administrators, Edition 2