CONCUR 2014 - Concurrency Theory (eBook, PDF)
25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
Redaktion: Baldan, Paolo; University of Roma "La Sapienza"
Alle Infos zum eBook verschenken
CONCUR 2014 - Concurrency Theory (eBook, PDF)
25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings
Redaktion: Baldan, Paolo; University of Roma "La Sapienza"
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Hier können Sie sich einloggen
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
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.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 9.09MB
- CONCUR 2013 -- Concurrency Theory (eBook, PDF)40,95 €
- Tools and Algorithms for the Construction and Analysis of Systems (eBook, PDF)40,95 €
- Verification, Model Checking, and Abstract Interpretation (eBook, PDF)40,95 €
- Quantitative Evaluation of Systems (eBook, PDF)40,95 €
- Unifying Petri Nets (eBook, PDF)40,95 €
- Hybrid Systems Biology (eBook, PDF)32,95 €
- -23%11Roberto GorrieriIntroduction to Concurrency Theory (eBook, PDF)40,95 €
-
-
-
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
- Produktdetails
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 594
- Erscheinungstermin: 23. August 2014
- Englisch
- ISBN-13: 9783662445846
- Artikelnr.: 43859990
- Verlag: Springer-Verlag GmbH
- Seitenzahl: 594
- Erscheinungstermin: 23. August 2014
- Englisch
- ISBN-13: 9783662445846
- Artikelnr.: 43859990