Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings

But how Do it Know?: The Basic Principles of Computers for Everyone

Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

Just Enough Software Architecture: A Risk-Driven Approach

Time for Verification: Essays in Memory of Amir Pnueli

Algorithms: Edition 4

Formal Techniques for Networked and Distributed Systems - FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings

Domain-Driven Design: Tackling Complexity in the Heart of Software

Fundamentals of Software Architecture: An Engineering Approach

From Programs to Systems - The Systems Perspective in Computing: ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings

Hands-On RTOS with Microcontrollers: Building real-time embedded systems using FreeRTOS, STM32 MCUs, and SEGGER debug tools

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings

XDA Developers' Android Hacker's Toolkit: The Complete Guide to Rooting, ROMs and Theming

Verification and Evaluation of Computer and Communication Systems: 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

Modern Software Engineering: Doing What Works to Build Better Software Faster

Learn Microsoft Power Apps: The definitive handbook for building solutions with Power Apps to solve your business needs, Edition 2

Software Engineering at Google: Lessons Learned from Programming Over Time

NFC For Dummies

Software Architecture: The Hard Parts: Modern Trade-Off Analyses for Distributed Architectures

macOS Sonoma For Dummies