Warehouse Management Automation and Organisation of Warehouse and Order Picking Systems

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

Model-Driven Architecture in Practice A Software Production Environment Based on Conceptual Modeling

Holonic and Multi-Agent Systems for Manufacturing Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

Inverse Problems in Electric Circuits and Electromagnetics

CMOS Current-Mode Circuits for Data Communications

Routing Congestion in VLSI Circuits: Estimation and Optimization

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

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

Dynamics of Microelectromechanical Systems

Process Planning and Scheduling for Distributed Manufacturing

The Maintenance Management Framework Models and Methods for Complex Systems Maintenance

CAE-Methoden in der Fahrzeugtechnik

Vernetzt-kooperative Planungsprozesse im Konstruktiven Ingenieurbau Grundlagen, Methoden, Anwendungen und Perspektiven zur vernetzten Ingenieurkooperation

Entwicklung und Erprobung innovativer Produkte — Rapid Prototyping Grundlagen, Rahmenbedingungen und Realisierung

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

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

Introduction to Scientific Visualization

Numerical Methods and Applications 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

Visualisierung digitaler Gelände- und Landschaftsdaten

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

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

Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion

Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung

Feature Extraction Foundations and Applications

Intelligent Computing in Engineering and Architecture 13th EG-ICE Workshop 2006, Ascona, Switzerland, June 25-30, 2006, Revised Selected Papers

Semiconductor Modeling For Simulating Signal, Power, and Electromagnetic Integrity

Systemverilog for Verification A Guide to Learning the Testbench Language Features

Leakage in Nanometer CMOS Technologies

The Finite Element Method and Applications in Engineering Using Ansys®

Curves and Surfaces for Computer Graphics

Rapid Prototyping of Digital Systems

Interconnect Noise Optimization in Nanometer Technologies

Constraint-Based Verification

Abstraction Refinement for Large Scale Model Checking

The Core Test Wrapper Handbook Rationale and Application of IEEE Std. 1500™

Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction

Condition Monitoring and Control for Intelligent Manufacturing

Practical Grey-box Process Identification Theory and Applications

Verification Methodology Manual for SystemVerilog

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility

Thermal and Power Management of Integrated Circuits

Scalable Hardware Verification with Symbolic Simulation

Writing Testbenches using System Verilog

A Practical Introduction to PSL

Hardware Verification with C++ A Practitioner’s Handbook

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

Innovation in Life Cycle Engineering and Sustainable Development

A Roadmap for Formal Property Verification

Boundary Representation Modelling Techniques

Transformations and Projections in Computer Graphics

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers

Computational Intelligence for Modelling and Prediction

Classification and Clustering for Knowledge Discovery

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

Differential Evolution A Practical Approach to Global Optimization

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7 – 11, 2005, Revised Selected Papers

Holonic and Multi-Agent Systems for Manufacturing Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005. Proceedings

Mixed-Signal Layout Generation Concepts

Taxonomies for the Development and Verification of Digital Systems

The Universal Generating Function in Reliability Analysis and Optimization

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

Distributed Network Systems From Concepts to Implementations

Functional Verification of Programmable Embedded Architectures A Top-Down Approach

New Algorithms, Architectures and Applications for Reconfigurable Computing

Direct Transistor-level Layout for Digital Blocks

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

Numerik-Algorithmen Verfahren, Beispiele, Anwendungen

Embedded Systems - qualitätsorientierte Entwicklung

Analytical Methods in Anisotropic Elasticity with Symbolic Computational Tools

An Introduction to Meshfree Methods and Their Programming