International Workshop on Computer Aided Systems Theory (2005 :)
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
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 :)
(書目-語言資料,印刷品)
主題
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.