| 000 | 02628nam a22005775i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-40196-1 | ||
| 003 | DE-He213 | ||
| 005 | 20200421111154.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 | _aQA76.9.L63 | |
| 050 | 4 | _aQA76.5913 | |
| 050 | 4 | _aQA76.63 | |
| 072 | 7 |
_aUM _2bicssc |
|
| 072 | 7 |
_aUYF _2bicssc |
|
| 072 | 7 |
_aCOM051000 _2bisacsh |
|
| 072 | 7 |
_aCOM036000 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1015113 _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�elle Stoelinga, Pedro R. D'Argenio. |
| 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 |
_aLecture Notes in Computer Science, _x0302-9743 ; _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. | |
| 650 | 0 | _aComputer system failures. | |
| 650 | 0 | _aComputer logic. | |
| 650 | 0 | _aMathematical statistics. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aLogics and Meanings of Programs. |
| 650 | 2 | 4 | _aSystem Performance and Evaluation. |
| 650 | 2 | 4 | _aProbability and Statistics in Computer Science. |
| 700 | 1 |
_aJoshi, Kaustubh. _eeditor. |
|
| 700 | 1 |
_aSiegle, Markus. _eeditor. |
|
| 700 | 1 |
_aStoelinga, Mari�elle. _eeditor. |
|
| 700 | 1 |
_aD'Argenio, Pedro R. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642401954 |
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v8054 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-40196-1 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cEBK | ||
| 999 |
_c53445 _d53445 |
||