Search Results for Engineering mathematics. - Narrowed by: Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 - Computer science.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dEngineering$002bmathematics.$0026qf$003dAUTHOR$002509Yazar$002509Prabhakar$00252C$002bPavithra.$002beditor.$002b$002528orcid$0025290000-0002-5368-3234$002509Prabhakar$00252C$002bPavithra.$002beditor.$002b$002528orcid$0025290000-0002-5368-3234$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?2024-08-02T23:38:45ZNumerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:2267082024-08-02T23:38:45Z2024-08-02T23:38:45ZYazar Bogomolov, Sergiy. editor.<br/><a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format: Electronic Resources<br/>Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedingsent://SD_ILS/0/SD_ILS:2217732024-08-02T23:38:45Z2024-08-02T23:38:45ZYazar Jansen, David N. editor. (orcid)0000-0002-6636-3301<br/><a href="https://doi.org/10.1007/978-3-030-00151-3">https://doi.org/10.1007/978-3-030-00151-3</a><br/>Format: Electronic Resources<br/>