Multiple-Valued Logic: Concepts and Representations

Learning SOLIDWORKS 2023: Modeling, Assembly and Analysis

Manual of Engineering Drawing: Technical Product Specification and Documentation to British and International Standards, Edition 3

Advanced Formal Verification

Learning Autodesk Inventor 2022: Modeling, Assembly and Analysis

Formal Verification of Circuits

SketchUp Pro 2013 step by step

Evolutionary Algorithms for VLSI CAD

Autodesk 3ds Max 2025 Basics Guide

Modeling Digital Switching Circuits with Linear Algebra

Rapid Prototyping of Digital Systems: SOPC Edition

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Thermal Analysis with SOLIDWORKS Simulation 2022 and Flow Simulation 2022

Formal Specification Level: Concepts, Methods, and Algorithms

A Hands-On Introduction to SOLIDWORKS 2022: Text and Video Instruction

Robustness and Usability in Modern Design Flows

Beginner's Guide to SOLIDWORKS 2024 - Level I: Parts, Assemblies, Drawings, SOLIDWORKS Visualize and SimulationXpress

Introduction to Logic Synthesis using Verilog HDL

Getting Started with MakerBot

In-Memory Computing: Synthesis and Optimization