Kniha momentálne nie je na sklade
Concurrency theory
Autori
Parametre
Viac o knihe
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.
Nákup knihy
Concurrency theory, Paolo Baldan
- Jazyk
- Rok vydania
- 2014
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
2021 2022 2023
Navrhnúť zmenu
- Titul
- Concurrency theory
- Jazyk
- anglicky
- Autori
- Paolo Baldan
- Vydavateľ
- Springer
- Rok vydania
- 2014
- ISBN10
- 3662445832
- ISBN13
- 9783662445839
- Séria
- Lecture notes in computer science
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- 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.