Search Results for - Narrowed by: Computer science. - Information theory. - Performance and Reliability. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Information$002btheory.$002509Information$002btheory.$0026qf$003dSUBJECT$002509Konu$002509Performance$002band$002bReliability.$002509Performance$002band$002bReliability.$0026ps$003d300? 2024-06-25T20:48:59Z Handbook of Model Checking ent://SD_ILS/0/SD_ILS:224205 2024-06-25T20:48:59Z 2024-06-25T20:48:59Z Yazar&#160;Clarke, Edmund M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format:&#160;Electronic Resources<br/> High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18&ndash;22, 2017, Proceedings ent://SD_ILS/0/SD_ILS:226221 2024-06-25T20:48:59Z 2024-06-25T20:48:59Z Yazar&#160;Kunkel, Julian M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-58667-0">https://doi.org/10.1007/978-3-319-58667-0</a><br/>Format:&#160;Electronic Resources<br/>