Computer Aided Systems Theory – EUROCAST 2005
Moreno Díaz, Roberto.
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
TA345 / M67 2005
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
TA345 / M67 2005