Search Results for - Narrowed by: Springer E-Book Collection - Theory of Computation. - English - Performance and Reliability.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Theory$002bof$002bComputation.$002509Theory$002bof$002bComputation.$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026qf$003dSUBJECT$002509Konu$002509Performance$002band$002bReliability.$002509Performance$002band$002bReliability.$0026ps$003d300?2024-06-12T18:40:42ZHandbook of Model Checkingent://SD_ILS/0/SD_ILS:2242052024-06-12T18:40:42Z2024-06-12T18:40:42ZYazar 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: Electronic Resources<br/>High Performance Computing 32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 18–22, 2017, Proceedingsent://SD_ILS/0/SD_ILS:2262212024-06-12T18:40:42Z2024-06-12T18:40:42ZYazar 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: Electronic Resources<br/>High Performance Computing 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181492024-06-12T18:40:42Z2024-06-12T18:40:42ZYazar Kunkel, Julian M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-41321-1">http://dx.doi.org/10.1007/978-3-319-41321-1</a><br/>Format: Electronic Resources<br/>High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedingsent://SD_ILS/0/SD_ILS:230182024-06-12T18:40:42Z2024-06-12T18:40:42ZYazar Kunkel, Julian M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-20119-1">http://dx.doi.org/10.1007/978-3-319-20119-1</a><br/>Format: Electronic Resources<br/>Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedingsent://SD_ILS/0/SD_ILS:210222024-06-12T18:40:42Z2024-06-12T18:40:42ZYazar Kunkel, Julian Martin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-07518-1">http://dx.doi.org/10.1007/978-3-319-07518-1</a><br/>Format: Electronic Resources<br/>