Search Results for Engineering mathematics. - Narrowed by: Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 - Computer science. SirsiDynix Enterprise https://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:45Z Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:226708 2024-08-02T23:38:45Z 2024-08-02T23:38:45Z Yazar&#160;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:&#160;Electronic Resources<br/> Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4&ndash;6, 2018, Proceedings ent://SD_ILS/0/SD_ILS:221773 2024-08-02T23:38:45Z 2024-08-02T23:38:45Z Yazar&#160;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:&#160;Electronic Resources<br/>