Catalog

Record Details

Catalog Search


Search Results Showing Item 37 of 47

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Swart, Harrie. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642210709
  • Physical Description: electronic
    electronic resource
    access
    remote
    VIII, 363 p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Subject: Computer science
Software engineering
Logic design
Algebra Data processing
Artificial intelligence
Computer simulation
Computer Science
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Logics and Meanings of Programs
Software Engineering
Simulation and Modeling
Artificial Intelligence (incl. Robotics)
Search Results Showing Item 37 of 47

Additional Resources