000 02730nam a22006135i 4500
001 978-3-319-43425-4
003 DE-He213
005 20200421111846.0
007 cr nn 008mamaa
008 160802s2016 gw | s |||| 0|eng d
020 _a9783319434254
_9978-3-319-43425-4
024 7 _a10.1007/978-3-319-43425-4
_2doi
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
_h[electronic resource] :
_b13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings /
_cedited by Gul Agha, Benny Van Houdt.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2016.
300 _aXVII, 382 p. 91 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v9826
505 0 _aMarkov processes -- Tools -- Sampling, inference, and optimization methods.-Markov decision processes and Markovian analysis -- Networks.
520 _aThis book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016. The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. They are organized in topical sections entitled: Markov processes; tools; sampling, inference, and optimization methods; Markov decision processes and Markovian analysis; networks.
650 0 _aComputer science.
650 0 _aComputer system failures.
650 0 _aComputers.
650 0 _aComputer logic.
650 0 _aMathematical statistics.
650 0 _aComputer simulation.
650 1 4 _aComputer Science.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aSystem Performance and Evaluation.
650 2 4 _aProbability and Statistics in Computer Science.
650 2 4 _aComputation by Abstract Devices.
650 2 4 _aSimulation and Modeling.
700 1 _aAgha, Gul.
_eeditor.
700 1 _aVan Houdt, Benny.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319434247
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v9826
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-43425-4
912 _aZDB-2-SCS
912 _aZDB-2-LNC
942 _cEBK
999 _c55820
_d55820