Calinescu, Radu.
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers / [electronic resource] : edited by Radu Calinescu, Ethan Jackson. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6662 0302-9743 ; . - Lecture Notes in Computer Science, 6662 .
9783642212925
10.1007/978-3-642-21292-5 doi
Computer science.
Computer Communication Networks.
Computer system performance.
Software engineering.
Information storage and retrieval systems.
Information systems.
Artificial intelligence.
Computer Science.
Software Engineering.
Information Systems Applications (incl.Internet).
Information Storage and Retrieval.
Computer Communication Networks.
System Performance and Evaluation.
Artificial Intelligence (incl. Robotics).
QA76.758
005.1
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers / [electronic resource] : edited by Radu Calinescu, Ethan Jackson. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6662 0302-9743 ; . - Lecture Notes in Computer Science, 6662 .
9783642212925
10.1007/978-3-642-21292-5 doi
Computer science.
Computer Communication Networks.
Computer system performance.
Software engineering.
Information storage and retrieval systems.
Information systems.
Artificial intelligence.
Computer Science.
Software Engineering.
Information Systems Applications (incl.Internet).
Information Storage and Retrieval.
Computer Communication Networks.
System Performance and Evaluation.
Artificial Intelligence (incl. Robotics).
QA76.758
005.1