Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

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

Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

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

Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

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

Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

NFC For Dummies

Validation of Evolving Software

Tricks of Keyboard Shortcuts

Model Checking, second edition

Practical Electronics: Components and Techniques: Components and Techniques

Home Automation For Dummies

The Essential Guide to Bitcoin Mining: A Cryptocurrency Tutorial

Arduino Projects For Dummies

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

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

Learning Python with Raspberry Pi

Raspberry Pi for Python Programmers Cookbook: Edition 2