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

Electronics Engineering

Arduino: A Begineer's Guide

Make: Electronics: Learning Through Discovery

Electronic Components and Circuits Lab

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

Communications Circuits Experiments

Advanced Logic Synthesis

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

Information Storage: A Multidisciplinary Perspective

Practical Electronics: Components and Techniques: Components and Techniques

Natural Language Processing for Electronic Design Automation

Introduction to Oscillators

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

Advanced BDD Optimization

Circuitbuilding Do-It-Yourself For Dummies

Rapid Prototyping of Digital Systems: SOPC Edition