Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

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

Big Data: 7th CCF Conference, BigData 2019, Wuhan, China, September 26–28, 2019, 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

Automated Technology for Verification and Analysis: 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Dynamic Provisioning for Community Services

NFC For Dummies

Tricks of Keyboard Shortcuts

Abstraction Refinement for Large Scale Model Checking

Practical Electronics: Components and Techniques: Components and Techniques

Data Science and Information Security: First International Artificial Intelligence Conference, IAIC 2023, Nanjing, China, November 25–27, 2023, Revised Selected Papers, Part II

Home Automation For Dummies

Artificial Intelligence and Machine Learning: First International Artificial Intelligence Conference, IAIC 2023, Nanjing, China, November 25–27, 2023, Revised Selected Papers, Part I

The Essential Guide to Bitcoin Mining: A Cryptocurrency Tutorial

Web Services – ICWS 2018: 25th International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings

Arduino Projects For Dummies

Autonomic and Trusted Computing: Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006

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

Ubiquitous Intelligence and Computing: Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings