Gastin, Paul.
CONCUR 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings / [electronic resource] : edited by Paul Gastin, François Laroussinie. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6269 0302-9743 ; . - Lecture Notes in Computer Science, 6269 .
9783642153754
10.1007/978-3-642-15375-4 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 2010 - Concurrency Theory 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings / [electronic resource] : edited by Paul Gastin, François Laroussinie. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. - digital. - Lecture Notes in Computer Science, 6269 0302-9743 ; . - Lecture Notes in Computer Science, 6269 .
9783642153754
10.1007/978-3-642-15375-4 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