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

Make: Electronics: Learning Through Discovery

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

Arduino: A Begineer's Guide

Reversible Computation: Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers

Digital Electronics

Natural Language Processing for Electronic Design Automation

Electronic Components and Circuits Lab

Advanced Logic Synthesis

Practical Electronics: Components and Techniques: Components and Techniques

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

Communications Circuits Experiments

Information Storage: A Multidisciplinary Perspective

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

Make: Analog Synthesizers: Make Electronic Sounds the Synth-DIY Way

High Performance Simulation for Industrial Paint Shop Applications

Introduction to Oscillators

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

Circuitbuilding Do-It-Yourself For Dummies