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 / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
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.
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 / edited by Roberto Moreno Díaz, Franz Pichler, Alexis Quesada Arencibia. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
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.