Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification

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

Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I

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

Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Sports Analytics: First International Conference, ISACE 2024, Paris, France, July 12–13, 2024, Proceedings

NFC For Dummies

Tricks of Keyboard Shortcuts

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

Sensor Technologies: Healthcare, Wellness and Environmental Applications

Raspberry Pi Projects