Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Learning SOLIDWORKS 2023: Modeling, Assembly and Analysis

Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings

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

Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings

Learning Autodesk Inventor 2022: Modeling, Assembly and Analysis

Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

SketchUp Pro 2013 step by step

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Autodesk 3ds Max 2025 Basics Guide

Rapid Prototyping of Digital Systems: SOPC Edition

Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Thermal Analysis with SOLIDWORKS Simulation 2022 and Flow Simulation 2022

Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings

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

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

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

Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

Getting Started with MakerBot

Active Object Languages: Current Research Trends