Ergebnisse zu
CAD-Programm (AutoCAD, CATIA, u.a.)

Functional Optimization

Logic Synthesis and Verification Using Testing Techniques

A Selection of Papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19-23, 2001...

Principles and Architecture

Proceedings of the 1995 Lancaster International Workshop on Engineering Design, 27–29 March 1995