Computer Aided Systems Theory - EUROCAST 2003 00
Subtitle: 9th International Workshop on Computer Aided Systems Theory Las Palmas de Gran Canaria, Spain, February 24-28, 2003 Revised Selected Papers
By: edited by Roberto Moreno-Daz, Franz Pichler
Series: Lecture Notes in Computer Science -- 2809,; Lecture notes in computer science -- 2809,
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2003
Place of publication: Berlin; Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783540452102
Subjects: Mathematical Logic and Formal Languages; Processor Architectures; Simulation and Modeling; Artificial Intelligence (incl. Robotics); Logic design; Computer-Aided Engineering (CAD, CAE) and Design; Logics and Meanings of Programs; Computer-aided design; Computer simulation; Artificial intelligence; Computer science