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

Logic Synthesis and Verification Using Testing Techniques

Implementational Issues

Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings

5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings

IFIP TC5 WG5.2 Seventh Workshop on Geometric Modeling: Fundamentals and Applications October 2–4, 2000, Parma, Italy

IFIP TC5 WG5.2 Third Workshop on Knowledge Intensive CAD December 1–4, 1998, Tokyo, Japan

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

Proceedings of the Design Modeling Symposium Berlin 2011

Results of the First KES International Symposium IDT'09