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

Dynamic Provisioning for Community Services

NFC For Dummies

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

Dynamic Equations and Almost Periodic Fuzzy Functions on Time Scales

macOS Sonoma For Dummies

Tricks of Keyboard Shortcuts

Dynamic Mechanical Behaviors and Constitutive Model of Roller Compacted Concrete

Arduino Projects For Dummies

Abstraction Refinement for Large Scale Model Checking

Internet of Things with ESP8266

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

Learning Python with Raspberry Pi

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

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

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