Design and Verification of Microprocessor Systems for High-Assurance Applications

Handbook of chemoinformatics algorithms

SolidWorks administration bible

Carbon Nanotube Electronics

Structural Analysis with the Finite Element Method Linear Statics

Computational Surface and Roundness Metrology

DRM, a Design Research Methodology

Spotlight on Modern Transformer Design

Advanced Design and Manufacturing Based on STEP

Freiformflächen in der rechnerunterstützten Karosseriekonstruktion und im Industriedesign Grundlagen und Anwendungen

Static Timing Analysis for Nanometer Designs A Practical Approach

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair

Embedded System Design Modeling, Synthesis and Verification

Introduction to Embedded System Design Using Field Programmable Gate Arrays

The Language of Design Theory and Computation

Collaborative Design and Planning for Digital Manufacturing

Model Predictive Control System Design and Implementation Using MATLAB®

CAx für Ingenieure Eine praxisbezogene Einführung

Introduction to AutoCAD 2010 2D and 3D design

Isogeometric analysis toward integration of CAD and FEA

Analysis, Architectures and Modelling of Embedded Systems Third IFIP TC 10 International Embedded Systems Symposium, IESS 2009, Langenargen, Germany, September 14-16, 2009. Proceedings

SYROM 2009 Proceedings of the 10th IFToMM International Symposium on Science of Mechanisms and Machines, held in Brasov, Romania, october 12-15, 2009

Management of Knowledge Imperfection in Building Intelligent Systems

Pro/MECHANICA® verstehen lernen ab Version Wildfire 4.0

Geometric Algebra with Applications in Engineering

Motivated Reinforcement Learning Curious Characters for Multiuser Games

SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II

Complex Sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1

Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings

Holonic and Multi-Agent Systems for Manufacturing 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009. Proceedings

Research and Education in Robotics — EUROBOT 2008 International Conference, Heidelberg, Germany, May 22-24, 2008. Revised Selected Papers

Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

Control and Automation International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference, CA 2009, Jeju Island, Korea, December 10-12, 2009.Proceedings

Electronic design automation synthesis, verification, and test

Timing Optimization Through Clock Skew Scheduling

Mixed Reality In Architecture, Design And Construction

Hardware Software Co-Design of a Multimedia SOC Platform

Nanosystems Design and Technology

Clocking in Modern VLSI Systems

Open Verification Methodology Cookbook

Approximate antenna analysis for CAD

Introduction to Autocad 2010 2D and 3D design

Design for Manufacturability and Statistical Design A Constructive Approach

Power Distribution Networks with On-Chip Decoupling Capacitors

Standardized Functional Verification

Nanometer Technology Designs High-Quality Delay Tests

Low-Power High-Level Synthesis for Nanoscale CMOS Circuits

CMOS Active Inductors and Transformers Principle, Implementation, and Applications

System Verilog for Verification A Guide to Learning the Testbench Language Features

Field Models in Electricity and Magnetism

Design Computing and Cognition '08 Proceedings of the Third International Conference on Design Computing and Cognition

Line Drawing Interpretation

Global Design to Gain a Competitive Edge An Holistic and Collaborative Design Approach based on Computational Tools

Advanced Design and Manufacture to Gain a Competitive Edge New Manufacturing Techniques and their Role in Improving Enterprise Performance

Writing mental ray® Shaders A Perceptual Introduction

Subdivision Surfaces

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

Smart Graphics 9th International Symposium, SG 2008, Rennes, France, August 27-29, 2008. Proceedings

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy

Creating Assertion-Based IP

Functional Verification Coverage Measurement and Analysis

Reverse Engineering An Industrial Perspective

Interactive Curve Modeling With Applications to Computer Graphics, Vision and Image Processing

3D Manufacturing Innovation Revolutionary Change in Japanese Manufacturing with Digital Data

Production Planning in Production Networks Models for Medium and Short-term Planning

Introduction to Geometric Computing

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project

High Performance ASIC Design Using Synthesizable Domino Logic in an ASIC Flow

The Art of Artificial Evolution A Handbook on Evolutionary Art and Music

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings

Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

Rapid Prototyping of Digital Systems

Reanalysis of Structures A Unified Approach for Linear, Nonlinear, Static and Dynamic Systems

Product Engineering Tools and Methods Based on Virtual Reality

Dynamics of Microelectromechanical Systems

Closing the Power Gap Between ASIC & Custom Tools and Techniques for Low Power Design

SAT-Based Scalable Formal Verification Solutions