Metal casting : computer-aided design and analysis

Computer aided design, engineering, and manufacturing systems techniques and applications

Computer aided design, engineering, and manufacturing systems techniques and applications

Computer aided design, engineering, and manufacturing systems techniques and applications

Rapid system prototyping with FPGAs

A Practical Introduction to PSL

Design Computing and Cognition ’06

Reuse-Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits

Assembly Line Design The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms

Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction

Condition Monitoring and Control for Intelligent Manufacturing

Boundary Representation Modelling Techniques

Transformations and Projections in Computer Graphics

Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers

Writing Testbenches using System Verilog

Constraint-Based Verification

Knowledge Enterprise: Intelligent Strategies in Product Design, Manufacturing, and Management Proceedings of PROLAMAT 2006, IFIP TC5 International Conference, June 15–17, 2006, Shanghai, China

Abstraction Refinement for Large Scale Model Checking

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™

Hardware Verification with C++ A Practitioner’s Handbook

SystemVerilog for Design A Guide to Using SystemVerilog for Hardware Design and Modeling

Practical Grey-box Process Identification Theory and Applications

Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung

Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion

Visualisierung digitaler Gelände- und Landschaftsdaten

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

Feature Extraction Foundations and Applications

Low-power CMOS circuits technology, logic design and CAD tools

EDA for IC implementation, circuit design, and process technology

EDA for IC system design, verification, and testing

Large-scale 3D data integration

Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

Konstruieren von Pkw-Karosserien Grundlagen, Elemente und Baugruppen, Vorschriftenübersicht, Beispiele mit CATIA V4 und V5

CATIA V5 Workbook, releases 16

Advanced CATIA V5 workbook : release 16

Large-scale 3D data integration

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity

Verification Methodology Manual for SystemVerilog

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility

Systemverilog for Verification A Guide to Learning the Testbench Language Features

Leakage in Nanometer CMOS Technologies

The Finite Element Method and Applications in Engineering Using Ansys®

Curves and Surfaces for Computer Graphics

Rapid Prototyping of Digital Systems

Interconnect Noise Optimization in Nanometer Technologies

Scalable Hardware Verification with Symbolic Simulation

Embedded System Design

Thermal and Power Management of Integrated Circuits

A Roadmap for Formal Property Verification

Integrated System-Level Modeling of Network-on-Chip enabled Multi-Processor Platforms

Innovation in Life Cycle Engineering and Sustainable Development

Innovations in Design & Decision Support Systems in Architecture and Urban Planning

Learning MicroStation VBA