Recent Trends in Algebraic Development Techniques: 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

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

Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

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: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

NFC For Dummies

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Tricks of Keyboard Shortcuts

All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic

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

The NVIDIA Empire: From Graphics to Global Supremacy

Sensor Technologies: Healthcare, Wellness and Environmental Applications

Raspberry Pi Projects