Multiple-Valued Logic: Concepts and Representations

Learning SOLIDWORKS 2023: Modeling, Assembly and Analysis

Learning Autodesk Inventor 2022: Modeling, Assembly and Analysis

Advanced Formal Verification

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

Formal Verification of Circuits

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

Evolutionary Algorithms for VLSI CAD

SketchUp Pro 2013 step by step

Modeling Digital Switching Circuits with Linear Algebra

Autodesk 3ds Max 2025 Basics Guide

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

Rapid Prototyping of Digital Systems: SOPC Edition

Robustness and Usability in Modern Design Flows

Getting Started with MakerBot

Introduction to Logic Synthesis using Verilog HDL

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

In-Memory Computing: Synthesis and Optimization