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

Arduino Project Handbook: 25 Practical Projects to Get You Started

Generative AI Art

Make: Electronics: Learning Through Discovery

Information Storage: A Multidisciplinary Perspective

Arduino Book for Beginners

Advanced Logic Synthesis

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

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

The Hardware Hacking Handbook: Breaking Embedded Security with Hardware Attacks

Beginner's Guide to Reading Schematics, Third Edition: Edition 3

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

Mastering CUDA C++ Programming: From Fundamentals to Advanced GPU Computing: A Complete Guide for High-Performance Programming, Optimization, and Real-World Applications

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

Building Your Own Smart Mirror with Raspberry Pi: A Beginner's Guide to Customizing and Building Your Own Smart Mirror with Raspberry Pi

Natural Language Processing for Electronic Design Automation

Internet of Things in Agriculture. An Overview

Advanced BDD Optimization