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 / [electronic resource] :
edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
- v.: digital
- Lecture Notes in Computer Science, 3643 0302-9743 ; .
9783540318293
Computer science Logic design Artificial intelligence Computer simulation Computer aided design Computer Science Simulation and Modeling Computer-Aided Engineering (CAD, CAE) and Design Artificial Intelligence (incl. Robotics) Logics and Meanings of Programs Processor Architectures Mathematical Logic and Formal Languages