Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II

Growth and Development of Computer-Aided Innovation Third IFIP WG 5.4 Working Conference, CAI 2009, Harbin, China, August 20-21, 2009. Proceedings

Research and Education in Robotics — EUROBOT 2008 International Conference, Heidelberg, Germany, May 22-24, 2008. Revised Selected Papers

Computer Aided Systems Theory - EUROCAST 2009 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers

SYROM 2009 Proceedings of the 10th IFToMM International Symposium on Science of Mechanisms and Machines, held in Brasov, Romania, october 12-15, 2009

Static Timing Analysis for Nanometer Designs A Practical Approach

Functional Design Errors in Digital Circuits Diagnosis, Correction and Repair

Embedded System Design Modeling, Synthesis and Verification

Introduction to Embedded System Design Using Field Programmable Gate Arrays

The Language of Design Theory and Computation

DRM, a Design Research Methodology