000 | 03654nam a22006615i 4500 | ||
---|---|---|---|
001 | 978-3-319-99154-2 | ||
003 | DE-He213 | ||
005 | 20210201191345.0 | ||
007 | cr nn 008mamaa | ||
008 | 180814s2018 gw | s |||| 0|eng d | ||
020 |
_a9783319991542 _9978-3-319-99154-2 |
||
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] : _b15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings / _cedited by Annabelle McIver, Andras Horvath. |
250 | _a1st ed. 2018. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
300 |
_aXI, 423 p. 101 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 ; _v11024 |
|
500 | _aAcceso multiusuario | ||
520 | _aThis book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018. The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods. | ||
541 |
_fUABC ; _cTemporal ; _d01/01/2021-12/31/2023. |
||
650 | 0 | _aComputer logic. | |
650 | 0 | _aSoftware engineering. | |
650 | 0 | _aMathematical statistics. | |
650 | 0 | _aArtificial intelligence. | |
650 | 0 | _aComputer simulation. | |
650 | 0 | _aMathematical logic. | |
650 | 1 | 4 |
_aLogics and Meanings of Programs. _0https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
650 | 2 | 4 |
_aSoftware Engineering. _0https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
650 | 2 | 4 |
_aProbability and Statistics in Computer Science. _0https://scigraph.springernature.com/ontologies/product-market-codes/I17036 |
650 | 2 | 4 |
_aArtificial Intelligence. _0https://scigraph.springernature.com/ontologies/product-market-codes/I21000 |
650 | 2 | 4 |
_aSimulation and Modeling. _0https://scigraph.springernature.com/ontologies/product-market-codes/I19000 |
650 | 2 | 4 |
_aMathematical Logic and Formal Languages. _0https://scigraph.springernature.com/ontologies/product-market-codes/I16048 |
700 | 1 |
_aMcIver, Annabelle. _eeditor. _0(orcid)0000-0002-2405-9838 _1https://orcid.org/0000-0002-2405-9838 _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
700 | 1 |
_aHorvath, Andras. _eeditor. _0(orcid)0000-0002-8210-545X _1https://orcid.org/0000-0002-8210-545X _4edt _4http://id.loc.gov/vocabulary/relators/edt |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319991535 |
776 | 0 | 8 |
_iPrinted edition: _z9783319991559 |
830 | 0 |
_aTheoretical Computer Science and General Issues ; _v11024 |
|
856 | 4 | 0 |
_zLibro electrónico _uhttp://148.231.10.114:2048/login?url=https://doi.org/10.1007/978-3-319-99154-2 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cLIBRO_ELEC | ||
999 |
_c242536 _d242535 |