LEADER 03228nam  22006855  450 
001 996466031803316
005 20230405231528.0
010   $a3-642-40196-1
024 7 $a10.1007/978-3-642-40196-1
035   $a(CKB)3710000000002669
035   $a(SSID)ssj0000963088
035   $a(PQKBManifestationID)11618989
035   $a(PQKBTitleCode)TC0000963088
035   $a(PQKBWorkID)10979607
035   $a(PQKB)11184238
035   $a(DE-He213)978-3-642-40196-1
035   $a(MiAaPQ)EBC3093123
035   $a(PPN)172429110
035   $a(EXLCZ)993710000000002669
100   $a20130723d2013      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aQuantitative Evaluation of Systems$b[electronic resource] $e10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings /$fedited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio
205   $a1st ed. 2013.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013.
215   $a1 online resource (XII, 406 p. 98 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8054
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-40195-3 
330   $aThis book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8054
606   $aComputer science
606   $aElectronic digital computers?Evaluation
606   $aComputer science?Mathematics
606   $aMathematical statistics
606   $aComputer Science Logic and Foundations of Programming
606   $aSystem Performance and Evaluation
606   $aProbability and Statistics in Computer Science
615  0$aComputer science.
615  0$aElectronic digital computers?Evaluation.
615  0$aComputer science?Mathematics.
615  0$aMathematical statistics.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSystem Performance and Evaluation.
615 24$aProbability and Statistics in Computer Science.
676   $a004.24
702   $aJoshi$b Kaustubh$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSiegle$b Markus$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aStoelinga$b Mariëlle$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aD'Argenio$b Pedro R$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466031803316
996   $aQuantitative Evaluation of Systems$92914390
997   $aUNISA