Scalable Techniques for Formal Verification

A Practical Introduction to Hardware/Software Codesign

Processor and System-on-Chip Simulation

FPGA Design Best Practices for Team-based Design

Software Automatic Tuning From Concepts to State-of-the-Art Results

Instandhaltung technischer Systeme Methoden und Werkzeuge zur Gewährleistung eines sicheren und wirtschaftlichen Anlagenbetriebs

CAD and GIS integration

Architectural rendering with 3ds Max and V-Ray photorealistic visualization

Realistic architectural visualization with 3ds max and mental ray

Power-Aware Testing and Test Strategies for Low Power Devices

Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification

On and Off-Chip Crosstalk Avoidance in VLSI Design

Security in Embedded Devices

Design and Verification of Microprocessor Systems for High-Assurance Applications

Power-efficient System Design

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction

Extreme Low-Power Mixed Signal IC Design Subthreshold Source-Coupled Circuits

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Composing Software Components A Software-testing Perspective

Fault Location on Power Networks

Advanced Manufacturing and Sustainable Logistics 8th International Heinz Nixdorf Symposium, IHNS 2010, Paderborn, Germany, April 21-22, 2010. Proceedings

Large-Scale Scientific Computing 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers

Mathematical Methods for Curves and Surfaces 7th International Conference, MMCS 2008, Tønsberg, Norway, June 26-July 1, 2008, Revised Selected Papers

Digital sculpting with Mudbox essential tools and techniques for artists

Introduction to AutoCAD 2011

CAD and GIS integration

SolidWorks administration bible

Computational modelling of concrete structures proceedings of EURO-C 2010, Rohrmoos/Schladming, Austria, 15-18 March 2010

Manufacturing Simulation with Plant Simulation and SimTalk Usage and Programming with Examples and Solutions

Designing Amplifier Circuits (Analog Circuit Design Series Volume 1)

Realistic architectural visualization with 3ds max and mental ray

Introduction to AutoCAD 2011 2D and 3D design

Programming.architecture

Digital sculpting with Mudbox essential tools and techniques for artists

Handbook of chemoinformatics algorithms

Simulation Methods for Reliability and Availability of Complex Systems

Dynamic Modelling for Supply Chain Management Dealing with Front-end, Back-end and Integration Issues

System Design Optimization for Product Manufacturing

OntoCAPE A Re-Usable Ontology for Chemical Process Engineering

Datenaustausch in der Anlagenplanung mit AutomationML Integration von CAEX, PLCopen XML und COLLADA

Analysis and Design of Univariate Subdivision Schemes

Structural Optimization with Uncertainties

Low-power design of nanometer FPGAs architecture and EDA

The configuration space method for kinematic design of mechanisms

A Designer's Guide to Asynchronous VLSI

Electronic design automation synthesis, verification, and test

Structural Analysis with the Finite Element Method Linear Statics

Mixed Reality In Architecture, Design And Construction

Clocking in Modern VLSI Systems

Carbon Nanotube Electronics

Nanosystems Design and Technology

Embedded System Design Modeling, Synthesis and Verification

Open Verification Methodology Cookbook

Geometric Algebra with Applications in Engineering

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

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

Static Timing Analysis for Nanometer Designs A Practical Approach

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair

Hardware Software Co-Design of a Multimedia SOC Platform

Introduction to Embedded System Design Using Field Programmable Gate Arrays

The Language of Design Theory and Computation

Model Predictive Control System Design and Implementation Using MATLAB®

Motivated Reinforcement Learning Curious Characters for Multiuser Games

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

Introduction to AutoCAD 2010 2D and 3D design

Approximate antenna analysis for CAD

CAx für Ingenieure Eine praxisbezogene Einführung

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

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

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

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

Computational Surface and Roundness Metrology

Collaborative Design and Planning for Digital Manufacturing

DRM, a Design Research Methodology