Catalog

Record Details

Catalog Search


Search Results Showing Item 3 of 4

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 resources

Record details

  • ISBN: 9783540318293
  • Physical Description: electronic
    electronic resource
    access
    remote
    XIV, 629 p. Also available online. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
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 Results Showing Item 3 of 4

Additional Resources