International Workshop on Computer Aided Systems Theory (2005 :)
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Computer Aided Systems Theory - EUROCAST 2005 : = 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
by:
Moreno-Diaz, Roberto.; Pichler, Franz.; Quesada Arencibia, Alexis.; SpringerLink (Online service); International Workshop on Computer Aided Systems Theory (2005 :)
(Language materials, printed)
Subjects
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer-aided design- Congresses.
Artificial Intelligence (incl. Robotics)
Computer-Aided Engineering (CAD, CAE) and Design.
Processor Architectures.
Computer-aided engineering- Congresses.
Computer Science.
Simulation and Modeling.