000 | 02798nam a22006135i 4500 | ||
---|---|---|---|
001 | vtls000560592 | ||
003 | RU-ToGU | ||
005 | 20210922090322.0 | ||
007 | cr nn 008mamaa | ||
008 | 170212s2015 gw | s |||| 0|eng d | ||
020 |
_a9783319222646 _9978-3-319-22264-6 |
||
024 | 7 |
_a10.1007/978-3-319-22264-6 _2doi |
|
035 | _ato000560592 | ||
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 |
245 | 1 | 0 |
_aQuantitative Evaluation of Systems _helectronic resource _b12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / _cedited by Javier Campos, Boudewijn R. Haverkort. |
250 | _a1st ed. 2015. | ||
260 |
_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 |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _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. _9155490 |
|
650 | 0 |
_aComputer system failures. _9460950 |
|
650 | 0 |
_acomputers. _9460101 |
|
650 | 0 |
_aComputer logic. _9463252 |
|
650 | 0 |
_aMathematical statistics. _9566264 |
|
650 | 0 |
_aComputer simulation. _9304569 |
|
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 |
650 | 2 | 4 |
_aComputation by Abstract Devices. _9305111 |
650 | 2 | 4 |
_aSimulation and Modeling. _9304570 |
700 | 1 |
_aCampos, Javier. _eeditor. _9467991 |
|
700 | 1 |
_aHaverkort, Boudewijn R. _eeditor. _9467992 |
|
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-319-22264-6 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-LNC | ||
999 | _c415520 |