LEADER 03202nam  22007095  450 
001 996466036403316
005 20230329203933.0
010   $a3-319-43425-X
024 7 $a10.1007/978-3-319-43425-4
035   $a(CKB)3710000000837705
035   $a(DE-He213)978-3-319-43425-4
035   $a(MiAaPQ)EBC6304941
035   $a(MiAaPQ)EBC5591991
035   $a(Au-PeEL)EBL5591991
035   $a(OCoLC)956529725
035   $a(PPN)194803899
035   $a(EXLCZ)993710000000837705
100   $a20160802d2016      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aQuantitative Evaluation of Systems$b[electronic resource] $e13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /$fedited by Gul Agha, Benny Van Houdt
205   $a1st ed. 2016.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016.
215   $a1 online resource (XVII, 382 p. 91 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9826
311   $a3-319-43424-1 
327   $aMarkov processes -- Tools -- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis -- Networks.
330   $aThis 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.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v9826
606   $aComputer science
606   $aElectronic digital computers?Evaluation
606   $aComputer science?Mathematics
606   $aMathematical statistics
606   $aComputer simulation
606   $aComputer Science Logic and Foundations of Programming
606   $aSystem Performance and Evaluation
606   $aProbability and Statistics in Computer Science
606   $aTheory of Computation
606   $aComputer Modelling
615  0$aComputer science.
615  0$aElectronic digital computers?Evaluation.
615  0$aComputer science?Mathematics.
615  0$aMathematical statistics.
615  0$aComputer simulation.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSystem Performance and Evaluation.
615 24$aProbability and Statistics in Computer Science.
615 24$aTheory of Computation.
615 24$aComputer Modelling.
676   $a004.24
702   $aAgha$b Gul$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVan Houdt$b Benny$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466036403316
996   $aQuantitative Evaluation of Systems$92914390
997   $aUNISA