Search Results for - Narrowed by: Programming Languages, Compilers, Interpreters. - Remke, Anne. editor. - SpringerLink (Online service) SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$0026qf$003dAUTHOR$002509Yazar$002509Remke$00252C$002bAnne.$002beditor.$002509Remke$00252C$002bAnne.$002beditor.$0026qf$003dAUTHOR$002509Yazar$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300? 2024-06-07T17:51:49Z 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-06-07T17:51:49Z 2024-06-07T17:51:49Z 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/> 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-06-07T17:51:49Z 2024-06-07T17:51:49Z 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/>