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

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

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

Learning Autodesk Inventor 2022: Modeling, Assembly and Analysis

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

Quickly Dominate Social Media Marketing: The Ultimate Guide Top Tips to Pinterest, Google+, Facebook, Twitter, Instagram, Linkedin and You Tube Viral Marketing

Information Storage: A Multidisciplinary Perspective

SketchUp Pro 2013 step by step

Natural Language Processing for Electronic Design Automation

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

Advanced Logic Synthesis

Rapid Prototyping of Digital Systems: SOPC Edition

Advanced BDD Optimization

Thermal Analysis with SOLIDWORKS Simulation 2022 and Flow Simulation 2022