Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

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

Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

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

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications

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

NFC For Dummies

macOS Sonoma For Dummies

Tricks of Keyboard Shortcuts

Arduino Projects For Dummies

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

Practical Electronics: Components and Techniques: Components and Techniques

Learning Python with Raspberry Pi

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

Raspberry Pi for Python Programmers Cookbook: Edition 2

Beginning Radio Communications: Radio Projects and Theory

Beginning Sensor Networks with Arduino and Raspberry Pi

Sensor Technologies: Healthcare, Wellness and Environmental Applications

Raspberry Pi Projects

IoT and Edge Computing for Architects: Implementing edge and IoT systems from sensors to clouds with communication systems, analytics, and security, Edition 2