Search Results for Dynamical systems. - Narrowed by: Computer logic. - Computer system failures. - Logics and Meanings of Programs. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dDynamical$002bsystems.$0026qf$003dSUBJECT$002509Konu$002509Computer$002blogic.$002509Computer$002blogic.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsystem$002bfailures.$002509Computer$002bsystem$002bfailures.$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300? 2024-07-08T18:33:30Z Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11&ndash;13, 2019, Proceedings ent://SD_ILS/0/SD_ILS:428225 2024-07-08T18:33:30Z 2024-07-08T18:33:30Z Yazar&#160;Filiot, Emmanuel. editor.<br/><a href="https://doi.org/10.1007/978-3-030-30806-3">https://doi.org/10.1007/978-3-030-30806-3</a><br/>Format:&#160;Electronic Resources<br/> Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II ent://SD_ILS/0/SD_ILS:428104 2024-07-08T18:33:30Z 2024-07-08T18:33:30Z Yazar&#160;Dillig, Isil. editor.<br/><a href="https://doi.org/10.1007/978-3-030-25543-5">https://doi.org/10.1007/978-3-030-25543-5</a><br/>Format:&#160;Electronic Resources<br/> Quantitative Evaluation of Systems 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings ent://SD_ILS/0/SD_ILS:21566 2024-07-08T18:33:30Z 2024-07-08T18:33:30Z Yazar&#160;Norman, Gethin. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10696-0">http://dx.doi.org/10.1007/978-3-319-10696-0</a><br/>Format:&#160;Electronic Resources<br/>