03202nam 22007095 450 99646603640331620230329203933.03-319-43425-X10.1007/978-3-319-43425-4(CKB)3710000000837705(DE-He213)978-3-319-43425-4(MiAaPQ)EBC6304941(MiAaPQ)EBC5591991(Au-PeEL)EBL5591991(OCoLC)956529725(PPN)194803899(EXLCZ)99371000000083770520160802d2016 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierQuantitative 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 Houdt1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XVII, 382 p. 91 illus.)Theoretical Computer Science and General Issues,2512-2029 ;98263-319-43424-1 Markov 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.Theoretical Computer Science and General Issues,2512-2029 ;9826Computer scienceElectronic digital computers—EvaluationComputer science—MathematicsMathematical statisticsComputer simulationComputer Science Logic and Foundations of ProgrammingSystem Performance and EvaluationProbability and Statistics in Computer ScienceTheory of ComputationComputer ModellingComputer 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 Modelling.004.24Agha Guledthttp://id.loc.gov/vocabulary/relators/edtVan Houdt Bennyedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996466036403316Quantitative Evaluation of Systems2914390UNISA