| 000 | 02801nam a22005895i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-22264-6 | ||
| 003 | DE-He213 | ||
| 005 | 20240423130228.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 150821s2015 sz | s |||| 0|eng d | ||
| 020 |
_a9783319222646 _9978-3-319-22264-6 |
||
| 024 | 7 |
_a10.1007/978-3-319-22264-6 _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] : _b12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / _cedited by Javier Campos, Boudewijn R. Haverkort. |
| 250 | _a1st ed. 2015. | ||
| 264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
| 300 |
_aXVI, 329 p. 99 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 ; _v9259 |
|
| 520 | _aThis book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. The 19 papers presented were carefully reviewed and selected from 42 submissions. They are organized in topical sections named: modelling and applications; tools; petri nets, process algebra and fault trees; applications; and queuing systems and hybrid systems. The book also contains one full-paper invited talk. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 |
_aElectronic digital computers _xEvaluation. |
|
| 650 | 0 |
_aComputer science _xMathematics. |
|
| 650 | 0 | _aMathematical statistics. | |
| 650 | 0 | _aComputer simulation. | |
| 650 | 1 | 4 | _aComputer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | _aSystem Performance and Evaluation. |
| 650 | 2 | 4 | _aProbability and Statistics in Computer Science. |
| 650 | 2 | 4 | _aTheory of Computation. |
| 650 | 2 | 4 | _aComputer Modelling. |
| 700 | 1 |
_aCampos, Javier. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 700 | 1 |
_aHaverkort, Boudewijn R. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer Nature eBook | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319222639 |
| 776 | 0 | 8 |
_iPrinted edition: _z9783319222653 |
| 830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v9259 |
|
| 856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-22264-6 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-SXCS | ||
| 912 | _aZDB-2-LNC | ||
| 942 | _cSPRINGER | ||
| 999 |
_c186398 _d186398 |
||