000			01474 a2200337 4500
001			374403
003			OSt
005			20230111161639.0
008			230110b |||||||| |||| 00| 0 eng d
020			_a978-3-319-22264-6
040			_cIITB
041			_aeng
245			_aQuantitative evaluation of systems : 12th international conference, QEST, proceedings, Madrid, Spain, Sep. 1-3, 2015 (e-book)
260			_aBerlin _bSpringer _c2015
440			_922935 _aLecture Notes in Computer Science (LNCS) _vv.9259 _pLNCS Sublibrary : SL1–Theoretical Computer Science and General Issues (LNTCS)
440			_aQEST : International Conference on Quantitative Evaluation of Systems _933066
650		0	_aComputer science and engineering _97673
650		0	_aComputer logic _96500 _vCongresses
650		0	_aComputer simulation _96782 _vCongresses
650		0	_aComputer system failures _96776 _vCongresses
650		0	_aMathematical statistics _97400 _vCongresses
650		0	_aLogics and Meanings of Programs _96591 _vCongresses
650		0	_aComputation by Abstract Devices _96350 _vCongresses
650		0	_aProbability and statistics in computer science _96360 _vCongresses
650		0	_aSimulation and modeling _96586 _vCongresses
650		0	_aSystem performance and evaluation _96364 _vCongresses
700			_aCampos, Javier _eEditor _933005
700			_aHaverkort, Boudewijn R. _eEditor _933006
856			_uhttps://doi.org/10.1007/978-3-319-22264-6
942			_cEB _2udc
999			_c184004 _d184004