Concurrency in Dependable Computing

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

Software Engineering for Resilient Systems: 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

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

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers

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

Trustworthy Cyber-Physical Systems Engineering

NFC For Dummies

Reliable Software Technologies – Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

macOS Sonoma For Dummies

Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

Tricks of Keyboard Shortcuts

Industrial Deployment of System Engineering Methods

Arduino Projects For Dummies

Internet of Things with ESP8266

From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

Learning Python with Raspberry Pi

Architecting Dependable Systems III

Getting Started with the Photon: Making Things with the Affordable, Compact, Hackable WiFi Module

Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers