Introduction to Scientific Visualization

The Maintenance Management Framework Models and Methods for Complex Systems Maintenance

Mass Customization and Footwear: Myth, Salvation or Reality? A Comprehensive Analysis of the Adoption of the Mass Customization Paradigm in Footwear, from the Perspective of the EUROShoE (Extended User Oriented Shoe Enterprise) Research Project

Modelling in Mechanical Engineering and Mechatronics Towards Autonomous Intelligent Software Models

Frontiers in Computing Technologies for Manufacturing Applications

Designing with video Focusing the user-centred design process

Visualization of Digital Terrain and Landscape Data A Manual

Dynamics of Microelectromechanical Systems

SAT-Based Scalable Formal Verification Solutions

Verilog and SystemVerilog Gotchas 101 Common Coding Errors and How to Avoid Them

Hardware Verification with SystemVerilog An Object-Oriented Framework

Design for Manufacturability and Yield for Nano-Scale CMOS

Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components

Full-Chip Nanometer Routing Techniques

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms

Advances in Integrated Design and Manufacturing in Mechanical Engineering II

Towards Synthesis of Micro-/Nano-systems The 11th International Conference on Precision Engineering (ICPE) August 16–18, 2006, Tokyo, Japan

Collaborative Product Design and Manufacturing Methodologies and Applications

Process Planning and Scheduling for Distributed Manufacturing

Software Visualization Visualizing the Structure, Behaviour, and Evolution of Software

Rapid Prototyping of Digital Systems

Interconnect Noise Optimization in Nanometer Technologies

A Practical Introduction to PSL

Hardware Verification with C++ A Practitioner’s Handbook

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

Innovation in Life Cycle Engineering and Sustainable Development

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

Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion

Feature Extraction Foundations and Applications

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility

Systemverilog for Verification A Guide to Learning the Testbench Language Features

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity

Verification Methodology Manual for SystemVerilog

Leakage in Nanometer CMOS Technologies

The Finite Element Method and Applications in Engineering Using Ansys®

Constraint-Based Verification

Thermal and Power Management of Integrated Circuits

Condition Monitoring and Control for Intelligent Manufacturing

Practical Grey-box Process Identification Theory and Applications

Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung

Visualisierung digitaler Gelände- und Landschaftsdaten

Scalable Hardware Verification with Symbolic Simulation

Embedded System Design

Writing Testbenches using System Verilog

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™

A Roadmap for Formal Property Verification

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

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

Boundary Representation Modelling Techniques

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

Computational Intelligence for Modelling and Prediction

Classification and Clustering for Knowledge Discovery

Taxonomies for the Development and Verification of Digital Systems

New Algorithms, Architectures and Applications for Reconfigurable Computing

An Introduction to Meshfree Methods and Their Programming

Assertion-Based Design

Direct Transistor-level Layout for Digital Blocks

Embedded Systems - qualitätsorientierte Entwicklung

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

System-Level Design Techniques for Energy-Efficient Embedded Systems

Tutorials on Emerging Methodologies and Applications in Operations Research Presented at Informs 2004, Denver, CO

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

Design of Embedded Control Systems

The Universal Generating Function in Reliability Analysis and Optimization

Numerik-Algorithmen Verfahren, Beispiele, Anwendungen

Distributed Network Systems From Concepts to Implementations

Interconnect-Centric Design for Advanced SoC and NoC

Digital Design and Implementation with Field Programmable Devices

SystemC Kernel Extensions for Heterogeneous System Modeling A framework for Multi-MoC Modeling & Simulation

Analytical Methods in Anisotropic Elasticity with Symbolic Computational Tools

Robust Control Design with MATLAB®

Differential Evolution A Practical Approach to Global Optimization