Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Worksho

Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East Euro

Advances in Formal Design Methods for CAD : Proceedings of the IFIP WG5.2 Wor-,

Advances in Formal Design Methods for CAD: Proceedings of the IFIP WG5.2 Worksho

Knowledge Intensive CAD: Volume 2 Proceedings of the IFIP TC5 WG5.2 Internationa

Recent Advances in System Modelling and Optimization: Proceedings of the IFIP-WG

Knowledge Intensive CAD: Volume 2 Proceedings of the Ifip Tc5 Wg5.2 by Mäntylä

Knowledge Intensive CAD: Volume 2 Proceedings of the IFIP TC5 WG5.2 Internationa