| 000 | 02787nam a22005655i 4500 | ||
|---|---|---|---|
| 001 | vtls000485234 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922070125.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 140715s2013 gw | s |||| 0|eng d | ||
| 020 |
_a9783642401961 _9978-3-642-40196-1 |
||
| 024 | 7 |
_a10.1007/978-3-642-40196-1 _2doi |
|
| 035 | _ato000485234 | ||
| 040 |
_aSpringer _cSpringer _dRU-ToGU |
||
| 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 |
| 100 | 1 |
_aJoshi, Kaustubh. _eeditor. _9416443 |
|
| 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. |
| 260 |
_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 |
||
| 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. _9155490 |
|
| 650 | 0 |
_aComputer system performance. _9303225 |
|
| 650 | 0 |
_aLogic design. _9306256 |
|
| 650 | 1 | 4 |
_aComputer Science. _9155490 |
| 650 | 2 | 4 |
_aLogics and Meanings of Programs. _9306257 |
| 650 | 2 | 4 |
_aSystem Performance and Evaluation. _9303229 |
| 650 | 2 | 4 |
_aProbability and Statistics in Computer Science. _9304554 |
| 700 | 1 |
_aSiegle, Markus. _eeditor. _9416444 |
|
| 700 | 1 |
_aStoelinga, Mariëlle. _eeditor. _9416445 |
|
| 700 | 1 |
_aD’Argenio, Pedro R. _eeditor. _9416446 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9143950 |
|
| 773 | 0 | _tSpringer eBooks | |
| 830 | 0 |
_aLecture Notes in Computer Science, _9279505 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-40196-1 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 | _c357860 | ||