Rigorous Development of Complex Fault-Tolerant Systems

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

Methods, Models and Tools for Fault Tolerance

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

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

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

NFC For Dummies

Industrial Deployment of System Engineering Methods

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

Tricks of Keyboard Shortcuts

Concurrency in Dependable Computing

Practical Electronics: Components and Techniques: Components and Techniques

Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Home Automation For Dummies

Trustworthy Cyber-Physical Systems Engineering

The Essential Guide to Bitcoin Mining: A Cryptocurrency Tutorial

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

Internet of Things with ESP8266: Build amazing Internet of Things projects using the ESP8266 Wi-Fi chip

Architecting Dependable Systems III