Quantitative Evaluation of Systems - 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

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.

List of contents

Markov processes.- Tools.- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis.- Networks.

Product details

• Assisted by: Gul Agha (Editor), Benny van Houdt (Editor), Benny Van Houdt (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 03.08.2016
• EAN: 9783319434247
• ISBN: 978-3-31-943424-7
• No. of pages: 382
• Dimensions: 155 mm x 20 mm x 235 mm
• Weight: 604 g
• Illustrations: XVII, 382 p. 91 illus.
• Series: Theoretical Computer Science and General Issues
• Subject: Natural sciences, medicine, IT, technology > IT, data processing > IT