Formal System Verification: State-of the-Art and Future Trends

Learning SOLIDWORKS 2023: Modeling, Assembly and Analysis

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

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

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

SketchUp Pro 2013 step by step

Recent Findings in Boolean Techniques: Selected Papers from the 14th International Workshop on Boolean Problems

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

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Rapid Prototyping of Digital Systems: SOPC Edition

Information Storage: A Multidisciplinary Perspective

Problems and Solutions for Integer and Combinatorial Optimization: Building Skills in Discrete Optimization

Natural Language Processing for Electronic Design Automation

Autodesk 3ds Max 2025 Basics Guide

Advanced Logic Synthesis

Getting Started with MakerBot

Advanced BDD Optimization

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