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

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

Formal Verification of Circuits

SketchUp Pro 2013 step by step

Evolutionary Algorithms for VLSI CAD

Automating SOLIDWORKS 2025 Using Macros: A guide to creating VSTA macros using the Visual Basic.NET Language

Modeling Digital Switching Circuits with Linear Algebra

Autodesk 3ds Max 2025 Basics Guide

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Rapid Prototyping of Digital Systems: SOPC Edition

Formal Specification Level: Concepts, Methods, and Algorithms

Getting Started with MakerBot

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

SketchUp Pro 2014 New features

In-Memory Computing: Synthesis and Optimization