MPG.eBooks - Search Results - "Computer-aided design"

Search alternatives:
"Computer-aided design" » "Computer-added design", "Computer-aimed design"

Cover Image

1

Numerical Validation in Current Hardware Architectures : International Dagstuhl Seminar, Dagstuhl Castle, Germany, January 6-11, 2008, Revised Papers

Published 2009

Springer Berlin Heidelberg

Table of Contents: “... of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control...”