Produktnummer:
18f1a5f26ad2e44ddc9eb219f2fdb804d9
| Themengebiete: | artificial intelligence correlation analysis embedded systems formal methods graph theory markov processes model checking numerical model performance evaluation probability |
|---|---|
| Veröffentlichungsdatum: | 12.08.2021 |
| EAN: | 9783030851712 |
| Sprache: | Englisch |
| Seitenzahl: | 469 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Abate, Alessandro Marin, Andrea |
| Verlag: | Springer International Publishing |
| Untertitel: | 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings |
Produktinformationen "Quantitative Evaluation of Systems"
This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.
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