Katoen, Joost-Pieter.
CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings / [electronic resource] : edited by Joost-Pieter Katoen, Barbara König. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6901 0302-9743 ; . - Lecture Notes in Computer Science, 6901 .
9783642232176
10.1007/978-3-642-23217-6 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information systems.
Artificial intelligence.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet).
Artificial Intelligence (incl. Robotics).
QA76.758
005.1
CONCUR 2011 – Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings / [electronic resource] : edited by Joost-Pieter Katoen, Barbara König. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Lecture Notes in Computer Science, 6901 0302-9743 ; . - Lecture Notes in Computer Science, 6901 .
9783642232176
10.1007/978-3-642-23217-6 doi
Computer science.
Computer Communication Networks.
Software engineering.
Logic design.
Information systems.
Artificial intelligence.
Computer Science.
Software Engineering.
Logics and Meanings of Programs.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Information Systems Applications (incl.Internet).
Artificial Intelligence (incl. Robotics).
QA76.758
005.1