Advanced Formal Verification

Learning SOLIDWORKS 2023: Modeling, Assembly and Analysis

Formal Verification of Circuits

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

Evolutionary Algorithms for VLSI CAD

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

SketchUp Pro 2013 step by step

High Quality Test Pattern Generation and Boolean Satisfiability

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

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

Autodesk 3ds Max 2025 Basics Guide

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

Rapid Prototyping of Digital Systems: SOPC Edition

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Getting Started with MakerBot

Binary Decision Diagrams: Theory and Implementation

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

Towards a Design Flow for Reversible Logic

SketchUp Pro 2014 New features

Quality-Driven SystemC Design