Catalog

Record Details

Catalog Search


Computer Aided Systems Theory – EUROCAST 2005 [electronic resource] : 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.

Moreno Díaz, Roberto. (editor.). Pichler, Franz. (editor.). Quesada Arencibia, Alexis. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

Record details

  • ISBN: 9783540318293
  • Physical Description: XIV, 629 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Search for related items by subject

Subject: 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.

Search for related items by series


Additional Resources