Search:

Type:

Format:

Library:

Transactions on Computational Science XV Special Issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems Cover Image

E-book

E-book

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.

Gavrilova, Marina L. (editor.). Tan, C. J. Kenneth. (editor.). Phan, Cong-Vinh. (editor.). SpringerLink (Online service) (Added Author).

Record details

ISBN: 9783642285257
Physical Description: XIII, 217 p. online resource.
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Search for related items by subject

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.

Search for related items by series

Add to basket Print Email Permalink Enable Highlighting

Electronic resources

► Awards, Reviews, & Suggested Reads

► Additional Content

► Shelf Browser

► MARC Record