Catalog

Record Details

Catalog Search



Transactions on Computational Science XV [electronic resource] : Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Cong-Vinh Phan.

Electronic resources

Record details

  • ISBN: 9783642285257
  • Physical Description: XIII, 217 p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
Subject: Computer science.
Computer Communication Networks.
Software engineering.
Computer software.
Logic design.
Artificial intelligence.
Engineering mathematics.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics).
Appl.Mathematics/Computational Methods of Engineering.
Computer Communication Networks.

Additional Resources