Towards a Design Flow for Reversible Logic

Arduino Project Handbook: 25 Practical Projects to Get You Started

Arduino Book for Beginners

Exact Design of Digital Microfluidic Biochips

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

The Hardware Hacking Handbook: Breaking Embedded Security with Hardware Attacks

Micro:bit for Mad Scientists: 30 Clever Coding and Electronics Projects for Kids

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

Internet of Things. Qualitative Aspects of Concept and Implications in the Educational Field With Special Reference to India

Advanced Formal Verification

Building Your Own Smart Mirror with Raspberry Pi: A Beginner's Guide to Customizing and Building Your Own Smart Mirror with Raspberry Pi

Formal Verification of Circuits

Internet of Things in Agriculture. An Overview

Evolutionary Algorithms for VLSI CAD

DIY Weather Station: Building Your Own Weather Station with Raspberry Pi

High Quality Test Pattern Generation and Boolean Satisfiability

Building Smart Robots Using ROS: Design, Build, Simulate, Prototype and Control Smart Robots Using ROS, Machine Learning and React Native Platform

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

Introduction to SystemVerilog

Designing Droplet Microfluidic Networks: A Toolbox for Designers