000 | 03539nam a22006375i 4500 | ||
---|---|---|---|
001 | 978-3-319-66335-7 | ||
003 | DE-He213 | ||
005 | 20210120143337.0 | ||
007 | cr nn 008mamaa | ||
008 | 170810s2017 gw | s |||| 0|eng d | ||
020 |
_a9783319663357 _9978-3-319-66335-7 |
||
024 | 7 |
_a10.1007/978-3-319-66335-7 _2doi |
|
050 | 4 | _aQA76.9.L63 | |
050 | 4 | _aQA76.5913 | |
072 | 7 |
_aUM _2bicssc |
|
072 | 7 |
_aCOM051000 _2bisacsh |
|
072 | 7 |
_aUM _2thema |
|
072 | 7 |
_aUYF _2thema |
|
082 | 0 | 4 |
_a005.1015113 _223 |
245 | 1 | 0 |
_aQuantitative Evaluation of Systems _h[electronic resource] : _b14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings / _cedited by Nathalie Bertrand, Luca Bortolussi. |
250 | _a1st ed. 2017. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2017. |
|
300 |
_aXIII, 370 p. 94 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 ; _v10503 _aLecture Notes in Computer Science _v10503 |
|
505 | 0 | _aProbabilistic modeling -- Smart energy systems over the cloud -- Petri nets and performance modeling -- Parametric verification -- Machine learning and formal methods -- Tools. . | |
520 | _aThis book constitutes the proceedings of the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools. . | ||
650 | 0 | _aComputer logic. | |
650 | 0 | _aComputer system failures. | |
650 | 0 | _aMathematical statistics. | |
650 | 0 | _aComputers. | |
650 | 0 | _aComputer simulation. | |
650 | 1 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
650 | 2 | 4 |
_aSystem Performance and Evaluation. _0https://scigraph.springernature.com/ontologies/product-market-codes/I13049 |
650 | 2 | 4 |
_aProbability and Statistics in Computer Science. _0https://scigraph.springernature.com/ontologies/product-market-codes/I17036 |
650 | 2 | 4 |
_aComputation by Abstract Devices. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16013 |
650 | 2 | 4 |
_aSimulation and Modeling. _0https://scigraph.springernature.com/ontologies/product-market-codes/I19000 |
700 | 1 |
_aBertrand, Nathalie. _eeditor. _0(orcid)0000-0002-9957-5394 _1https://orcid.org/0000-0002-9957-5394 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aBortolussi, Luca. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319663340 |
776 | 0 | 8 |
_iPrinted edition: _z9783319663364 |
830 | 0 |
_aTheoretical Computer Science and General Issues ; _v10503 |
|
830 | 0 |
_aLecture Notes in Computer Science ; _v10503 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-66335-7 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cEBK | ||
999 |
_c57653 _d57653 |