Layoutsynthese elektronischer Schaltungen — Grundlegende Algorithmen für die Entwurfsautomatisierung

Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion

Visualisierung digitaler Gelände- und Landschaftsdaten

Assembly Line Design The Balancing of Mixed-Model Hybrid Assembly Lines with Genetic Algorithms

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

Condition Monitoring and Control for Intelligent Manufacturing

Systemverilog for Verification A Guide to Learning the Testbench Language Features

Electromagnetic Compatibility of Integrated Circuits Techniques for low emission and susceptibility

Rapid Prototyping of Digital Systems

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