Towards a Design Flow for Reversible Logic

Make: Electronics: Learning Through Discovery

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

Exact Design of Digital Microfluidic Biochips

Arduino: A Begineer's Guide

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

Electronic Components and Circuits Lab

Design Automation for Field-coupled Nanotechnologies

Communications Circuits Experiments

Advanced Formal Verification

Practical Electronics: Components and Techniques: Components and Techniques

Formal Verification of Circuits

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

Evolutionary Algorithms for VLSI CAD

Introduction to Oscillators

High Quality Test Pattern Generation and Boolean Satisfiability

Digital Electronics

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

Circuitbuilding Do-It-Yourself For Dummies

Designing Droplet Microfluidic Networks: A Toolbox for Designers