LEADER 03199nam  22006855  450 
001 9910483727503321
005 20251226200300.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 $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 08$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$xEvaluation
606   $aComputer science$xMathematics
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$xEvaluation.
615  0$aComputer science$xMathematics.
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   $a9910483727503321
996   $aQuantitative Evaluation of Systems$92914390
997   $aUNINA

LEADER 01220nam  2200301la 450 
001 9910482366803321
005 20221102161333.0
035   $a(UK-CbPIL)2090363530
035   $a(CKB)5500000000091504
035   $a(EXLCZ)995500000000091504
100   $a20221102d1583      uy         |
101 0 $alat
135   $aurcn||||a|bb|
200 10$aSynopsis quorundam brevium sed perutilium commentariorum de peste. Autoribus aliquot excellentissimis medicis / ... Edita studio Joachimi Camerarii ..
210   $aNuremberg $cIn officina Catharinae Gerlachin,& haeredum Johannis Montani$d1583
215   $aOnline resource ([80] l , (8vo))
300   $aReproduction of original in The Wellcome Library, London.
700   $aCamerarius$b Joachim$f1534-1598.$0980745
701   $aDonzellini$b Girolamo$f1588.$0796020
701   $aIngrassia$b Giovanni Filippo$f1510-1580.$0980746
701   $aRincio$b Caesare$f1580.$0980747
701   $aVenice (Republic : to 1797)$0980748
801  0$bUk-CbPIL
801  1$bUk-CbPIL
906   $aBOOK
912   $a9910482366803321
996   $aSynopsis quorundam brevium sed perutilium commentariorum de peste. Autoribus aliquot excellentissimis medicis$92238123
997   $aUNINA