Quantitative Evaluation of Systems [electronic resource] : 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings / edited by Gul Agha, Benny Van Houdt.
Contributor(s): Agha, Gul [editor.] | Van Houdt, Benny [editor.] | SpringerLink (Online service).
Material type: BookSeries: Theoretical Computer Science and General Issues: 9826Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Edition: 1st ed. 2016.Description: XVII, 382 p. 91 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319434254.Subject(s): Computer science | Electronic digital computers -- Evaluation | Computer science -- Mathematics | Mathematical statistics | Computer simulation | Computer Science Logic and Foundations of Programming | System Performance and Evaluation | Probability and Statistics in Computer Science | Theory of Computation | Computer ModellingAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.0151 Online resources: Click here to access onlineMarkov processes -- Tools -- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis -- Networks.
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; networks.
There are no comments for this item.