Towards a Design Flow for Reversible Logic

Arduino Project Handbook: 25 Practical Projects to Get You Started

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Generative AI Art

Make: Electronics: Learning Through Discovery

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

Arduino Book for Beginners

Exact Design of Digital Microfluidic Biochips

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

Advanced Formal Verification

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

Formal Verification of Circuits

The Hardware Hacking Handbook: Breaking Embedded Security with Hardware Attacks

Evolutionary Algorithms for VLSI CAD

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

High Quality Test Pattern Generation and Boolean Satisfiability

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

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never

Internet of Things in Agriculture. An Overview

Designing Droplet Microfluidic Networks: A Toolbox for Designers