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

Electronics Engineering

Arduino: A Begineer's Guide

Make: Electronics: Learning Through Discovery

Information Storage: A Multidisciplinary Perspective

Electronic Components and Circuits Lab

Advanced Logic Synthesis

Communications Circuits Experiments

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

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

Practical Electronics: Components and Techniques: Components and Techniques

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

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

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

Introduction to Oscillators

Natural Language Processing for Electronic Design Automation

Circuitbuilding Do-It-Yourself For Dummies

Advanced BDD Optimization