Quantitative Evaluation of Systems : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / edited by Gul Agha, Benny Van Houdt

Mitwirkende(r):

Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 9826Verlag: Cham : Springer, 2016Beschreibung: Online-Ressource (XVII, 382 p. 91 illus, online resource)ISBN:

9783319434254

Schlagwörter:

Andere physische Formen: 9783319434247 | Erscheint auch als: 978-3-319-43424-7 Druck-Ausgabe | Printed edition: 9783319434247 DDC-Klassifikation:

005.1015113
004.0151 23

MSC: MSC: *68-06 | 68Mxx | 68Qxx | 00B25LOC-Klassifikation:

QA76.9.L63 QA76.5913 QA76.63
QA76.9.L63
QA76.5913
QA76.63

DOI: DOI: 10.1007/978-3-319-43425-4Online-Ressourcen:

Zusammenfassung: This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016. The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov decision processes and Markovian analysis; networksZusammenfassung: Markov processes -- Tools -- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis -- NetworksPPN: PPN: 1658655885Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB

Exemplare ( 0 )

Dieser Titel hat keine Exemplare