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

Introduction to AutoCAD 2011 2D and 3D design

Introduction to AutoCAD 2011

CAD and GIS integration

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

Programming.architecture

Handbook of chemoinformatics algorithms

A Designer's Guide to Asynchronous VLSI

Designing Amplifier Circuits (Analog Circuit Design Series Volume 1)

Realistic architectural visualization with 3ds max and mental ray

Power-Aware Testing and Test Strategies for Low Power Devices

Analysis and Design of Resilient VLSI Circuits Mitigating Soft Errors and Process Variations

Advanced Test Methods for SRAMs Effective Solutions for Dynamic Fault Detection in Nanoscaled Technologies

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

Hardware Acceleration of EDA Algorithms Custom ICs, FPGAs and GPUs

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

Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications

FPGA Design Best Practices for Team-based Design

Composing Software Components A Software-testing Perspective

C Compilers for ASIPs Automatic Compiler Generation with LISA

Security in Embedded Devices

Design and Verification of Microprocessor Systems for High-Assurance Applications

Synthesis of Embedded Software Frameworks and Methodologies for Correctness by Construction

Processor and System-on-Chip Simulation

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

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

Simulation Methods for Reliability and Availability of Complex Systems

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

SystemC: From the Ground Up

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

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

The configuration space method for kinematic design of mechanisms

Realistic architectural visualization with 3ds max and mental ray

Digital sculpting with Mudbox essential tools and techniques for artists

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

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

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

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

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

Motivated Reinforcement Learning Curious Characters for Multiuser Games

Embedded System Design Modeling, Synthesis and Verification

CAx für Ingenieure Eine praxisbezogene Einführung

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

Introduction to AutoCAD 2010 2D and 3D design

Isogeometric analysis toward integration of CAD and FEA

Approximate antenna analysis for CAD

Introduction to Autocad 2010 2D and 3D design

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

Nanosystems Design and Technology

Clocking in Modern VLSI Systems

Open Verification Methodology Cookbook

Introduction to Embedded System Design Using Field Programmable Gate Arrays

The Language of Design Theory and Computation

Advanced Design and Manufacturing Based on STEP

Static Timing Analysis for Nanometer Designs A Practical Approach

Structural Analysis with the Finite Element Method Linear Statics

Hardware Software Co-Design of a Multimedia SOC Platform

Computational Surface and Roundness Metrology

DRM, a Design Research Methodology

Spotlight on Modern Transformer Design

Collaborative Design and Planning for Digital Manufacturing

Model Predictive Control System Design and Implementation Using MATLAB®

Electronic design automation synthesis, verification, and test