000 | 03047nam a22005775i 4500 | ||
---|---|---|---|
001 | 978-3-642-40196-1 | ||
003 | DE-He213 | ||
005 | 20240730193134.0 | ||
007 | cr nn 008mamaa | ||
008 | 130723s2013 gw | s |||| 0|eng d | ||
020 |
_a9783642401961 _9978-3-642-40196-1 |
||
024 | 7 |
_a10.1007/978-3-642-40196-1 _2doi |
|
050 | 4 | _aQA75.5-76.95 | |
072 | 7 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
082 | 0 | 4 |
_a004.0151 _223 |
245 | 1 | 0 |
_aQuantitative Evaluation of Systems _h[electronic resource] : _b10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / _cedited by Kaustubh Joshi, Markus Siegle, Mariƫlle Stoelinga, Pedro R. D'Argenio. |
250 | _a1st ed. 2013. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013. |
|
300 |
_aXII, 406 p. 98 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v8054 |
|
520 | _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. | ||
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aElectronic digital computers _xEvaluation. _921495 |
|
650 | 0 |
_aComputer science _xMathematics. _93866 |
|
650 | 0 |
_aMathematical statistics. _99597 |
|
650 | 1 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aSystem Performance and Evaluation. _932047 |
650 | 2 | 4 |
_aProbability and Statistics in Computer Science. _931857 |
700 | 1 |
_aJoshi, Kaustubh. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9152614 |
|
700 | 1 |
_aSiegle, Markus. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9152615 |
|
700 | 1 |
_aStoelinga, Mariƫlle. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9152616 |
|
700 | 1 |
_aD'Argenio, Pedro R. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9152617 |
|
710 | 2 |
_aSpringerLink (Online service) _9152618 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642401954 |
776 | 0 | 8 |
_iPrinted edition: _z9783642401978 |
830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v8054 _9152619 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-40196-1 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c94613 _d94613 |