Produktnummer:
18c507ab3f397647049ed70595dd248628
| Themengebiete: | Markov chains Petri nets cloud computing formal methods graph theory model checking optimization performance evaluation probability queueing networks |
|---|---|
| Veröffentlichungsdatum: | 24.05.2018 |
| EAN: | 9783319916316 |
| Sprache: | Englisch |
| Seitenzahl: | 171 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Balsamo, Simonetta Marin, Andrea Vicario, Enrico |
| Verlag: | Springer International Publishing |
| Untertitel: | 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers |
Produktinformationen "New Frontiers in Quantitative Methods in Informatics"
This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice, Italy, in December 2017.The 11 revised full papers and the one revised short paper presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on networking and mobile applications; applications of quantitative modeling; big data processing and IoT; theory, methods and tools for quantitative analysis.
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