Formal System Verification: State-of the-Art and Future Trends

Arduino Book for Beginners

Arduino Project Handbook: 25 Practical Projects to Get You Started

The Hardware Hacking Handbook: Breaking Embedded Security with Hardware Attacks

Information Storage: A Multidisciplinary Perspective

Micro:bit for Mad Scientists: 30 Clever Coding and Electronics Projects for Kids

Advanced Logic Synthesis

DIY Weather Station: Building Your Own Weather Station with Raspberry Pi

Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems

Internet of Things. Qualitative Aspects of Concept and Implications in the Educational Field With Special Reference to India

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015

.NET MAUI for C# Developers: Build cross-platform mobile and desktop applications

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

Building Low Latency Applications with C++: Develop a complete low latency trading ecosystem from scratch using modern C++

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Internet of Things in Agriculture. An Overview

Natural Language Processing for Electronic Design Automation

Building Smart Robots Using ROS: Design, Build, Simulate, Prototype and Control Smart Robots Using ROS, Machine Learning and React Native Platform

Advanced BDD Optimization