Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

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

Trusted Systems: 5th International Conference, INTRUST 2013, Graz, Austria, December 4-5, 2013, Proceedings

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

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

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

NFC For Dummies

Handbook of Model Checking

Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18–19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18–19, 2021, Revised Selected Papers

Tricks of Keyboard Shortcuts

Decidability of Parameterized Verification

Arduino Projects For Dummies

Practical Electronics: Components and Techniques: Components and Techniques

Home Automation For Dummies

The Essential Guide to Bitcoin Mining: A Cryptocurrency Tutorial

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