Produktnummer:
1807d7d7ab5493492aae17c6d17dd35653
| Themengebiete: | Markov chains concurrent games concurrent processes distributed computing model checking probabilistic automata programming languages reactive systems simulation systems analysis |
|---|---|
| Veröffentlichungsdatum: | 06.08.2014 |
| EAN: | 9783662445839 |
| Sprache: | Englisch |
| Seitenzahl: | 594 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Baldan, Paolo |
| Verlag: | Springer Berlin |
| Untertitel: | 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings |
Produktinformationen "CONCUR 2014 – Concurrency Theory"
This book constitutes the refereed proceedings of the 25th International Conference on Concurrency Theory, CONCUR 2014, held in Rome, Italy in September 2014. The 35 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 124 submissions. The focus of the conference is on the following topics: process calculi, model checking and abstraction, synthesis, quantitative models, automata and multithreading, complexity, process calculi and types, categories, graphs and quantum systems, automata and time, and games.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen