Search Results for Computer science. - Narrowed by: Remke, Anne. editor. - Programming languages (Electronic computers). SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002bscience.$0026qf$003dAUTHOR$002509Yazar$002509Remke$00252C$002bAnne.$002beditor.$002509Remke$00252C$002bAnne.$002beditor.$0026qf$003dSUBJECT$002509Konu$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529.$002509Programming$002blanguages$002b$002528Electronic$002bcomputers$002529.$0026ic$003dtrue$0026ps$003d300? 2024-08-28T11:18:21Z Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures ent://SD_ILS/0/SD_ILS:24635 2024-08-28T11:18:21Z 2024-08-28T11:18:21Z Yazar&#160;Remke, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-45489-3">http://dx.doi.org/10.1007/978-3-662-45489-3</a><br/>Format:&#160;Electronic Resources<br/> Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB &amp; DFT 2016, M&uuml;nster, Germany, April 4-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:17650 2024-08-28T11:18:21Z 2024-08-28T11:18:21Z Yazar&#160;Remke, Anne. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-31559-1">http://dx.doi.org/10.1007/978-3-319-31559-1</a><br/>Format:&#160;Electronic Resources<br/>