CONCUR 2011 – Concurrency Theory [recurso electrónico] : 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings / edited by Joost-Pieter Katoen, Barbara König.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 6901Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Descripción: XIV, 560p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783642232176Tema(s): 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)Formatos físicos adicionales: Printed edition:: Sin títuloClasificación CDD: 005.1 Clasificación LoC:QA76.758Recursos en línea: Libro electrónico En: Springer eBooksResumen: This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, p-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.Tipo de ítem | Biblioteca actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
---|---|---|---|---|---|---|---|
Libro Electrónico | Biblioteca Electrónica | Colección de Libros Electrónicos | QA76.758 (Browse shelf(Abre debajo)) | 1 | No para préstamo | 376621-2001 |
Navegando Biblioteca Electrónica Estantes, Código de colección: Colección de Libros Electrónicos Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
QA76.758 Agent-Oriented Software Engineering XI | QA76.758 Towards a Service-Based Internet. ServiceWave 2010 Workshops | QA76.758 Parallel Computing Technologies | QA76.758 CONCUR 2011 – Concurrency Theory | QA76.758 Programming for Engineers | QA76.758 Evaluation of Novel Approaches to Software Engineering | QA76.758 Static Analysis |
This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers were carefully reviewed and selected from 94 submissions. The papers are organized in topics such as real-time systems, probabilistic systems, automata, separation logic, p-calculus, Petri nets, process algebra and modeling, verification, games, and bisimulation.
19