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

Abundance: The Future Is Better Than You Think

Learning SOLIDWORKS 2023: Modeling, Assembly and Analysis

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

Loonshots: How to Nurture the Crazy Ideas That Win Wars, Cure Diseases, and Transform Industries

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

Information Storage: A Multidisciplinary Perspective

Bold: How to Go Big, Create Wealth and Impact the World

Formal Specification Level: Concepts, Methods, and Algorithms

Learning Autodesk Inventor 2022: Modeling, Assembly and Analysis

Advanced Logic Synthesis

Case for Mars

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

Tesla: Man Out of Time

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

Engine Airflow HP1537: A Practical Guide to Airflow Theory, Parts Testing, Flow Bench Testing and Analyzing Data to Increase Performance for Any Street or Racing Engine

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

Monetizing Energy Storage: A Toolkit to Assess Future Cost and Value

Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings