Towards a Design Flow for Reversible Logic

Electronics Engineering

Exact Design of Digital Microfluidic Biochips

Arduino: A Begineer's Guide

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

Make: Electronics: Learning Through Discovery

Electronic Components and Circuits Lab

Design Automation for Field-coupled Nanotechnologies

Communications Circuits Experiments

Advanced Formal Verification

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

Formal Verification of Circuits

Practical Electronics: Components and Techniques: Components and Techniques

Evolutionary Algorithms for VLSI CAD

Introduction to Oscillators

High Quality Test Pattern Generation and Boolean Satisfiability

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

Designing Droplet Microfluidic Networks: A Toolbox for Designers

Circuitbuilding Do-It-Yourself For Dummies

Binary Decision Diagrams: Theory and Implementation