On and Off-Chip Crosstalk Avoidance in VLSI Design

Minimizing and Exploiting Leakage in VLSI Design

VLSI Design for Video Coding H.264/AVC Encoding from Standard Specification to Chip

ESL Models and their Application Electronic System Level Design and Verification in Practice

C Compilers for ASIPs Automatic Compiler Generation with LISA

Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies

Scalable Techniques for Formal Verification

A Practical Introduction to Hardware/Software Codesign

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

FPGA Design Best Practices for Team-based Design

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

Simulation Methods for Reliability and Availability of Complex Systems

Fault Location on Power Networks

System Design Optimization for Product Manufacturing

Geometric Algebra Computing in Engineering and Computer Science

Designing Inclusive Interactions Inclusive Interactions Between People and Products in Their Contexts of Use

E-maintenance

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

OntoCAPE A Re-Usable Ontology for Chemical Process Engineering

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

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

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

Analysis and Design of Univariate Subdivision Schemes

Realistic architectural visualization with 3ds max and mental ray

Digital sculpting with Mudbox essential tools and techniques for artists

Realistic architectural visualization with 3ds max and mental ray

Security in Embedded Devices

Design and Verification of Microprocessor Systems for High-Assurance Applications

Processor and System-on-Chip Simulation

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

Composing Software Components A Software-testing Perspective

SystemC: From the Ground Up

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

A Designer's Guide to Asynchronous VLSI

CAD and GIS integration

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

Digital sculpting with Mudbox essential tools and techniques for artists

Low-power design of nanometer FPGAs architecture and EDA

Introduction to AutoCAD 2011

SolidWorks administration bible

Handbook of chemoinformatics algorithms

Embedded System Design Modeling, Synthesis and Verification

Open Verification Methodology Cookbook

Collaborative Design and Planning for Digital Manufacturing

Model Predictive Control System Design and Implementation Using MATLAB®

CAx für Ingenieure Eine praxisbezogene Einführung

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

Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 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

Introduction to AutoCAD 2010 2D and 3D design

Static Timing Analysis for Nanometer Designs A Practical Approach

Structural Analysis with the Finite Element Method Linear Statics

Mixed Reality In Architecture, Design And Construction

Hardware Software Co-Design of a Multimedia SOC Platform

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair

Nanosystems Design and Technology

Clocking in Modern VLSI Systems

Carbon Nanotube Electronics

Timing Optimization Through Clock Skew Scheduling

Computational Surface and Roundness Metrology

Introduction to Embedded System Design Using Field Programmable Gate Arrays

The Language of Design Theory and Computation

DRM, a Design Research Methodology

Spotlight on Modern Transformer Design

Advanced Design and Manufacturing Based on STEP

Management of Knowledge Imperfection in Building Intelligent Systems

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

Pro/MECHANICA® verstehen lernen ab Version Wildfire 4.0

Geometric Algebra with Applications in Engineering

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