Quantitative Evaluation of Systems
14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
53.49 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Quantitative Evaluation of Systems “
Klappentext zu „Quantitative Evaluation of Systems “
This book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools. Inhaltsverzeichnis zu „Quantitative Evaluation of Systems “
Probabilistic modeling.- Smart energy systems over the cloud.- Petri nets and performance modeling.- Parametric verification.- Machine learning and formal methods.- Tools.Bibliographische Angaben
- 2017, 1st ed. 2017, XIII, 370 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Nathalie Bertrand, Luca Bortolussi
- Verlag: Springer, Berlin
- ISBN-10: 3319663348
- ISBN-13: 9783319663340
- Erscheinungsdatum: 12.08.2017
Sprache:
Englisch
Kommentar zu "Quantitative Evaluation of Systems"
0 Gebrauchte Artikel zu „Quantitative Evaluation of Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Quantitative Evaluation of Systems".
Kommentar verfassen