Machine Design Engineering

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

Finite Element Simulations with ANSYS Workbench 14

Rapid Prototyping of Digital Systems: SOPC Edition

Information Storage: A Multidisciplinary Perspective

Getting Started with MakerBot

Advanced Logic Synthesis

Biologically Inspired Robotics

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

Design for CNC: Furniture Projects and Fabrication Technique

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2015

Articulating Design Decisions: Edition 2

Natural Language Processing for Electronic Design Automation

Custom Bicycles: A Passionate Pursuit

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

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

Advances on Mechanics, Design Engineering and Manufacturing III: Proceedings of the International Joint Conference on Mechanics, Design Engineering & Advanced Manufacturing, JCM 2020, June 2-4, 2020

The Handbook of Design Management

Design Process Improvement: A review of current practice