Search Results for Design, general. - Narrowed by: Prabhakar, Pavithra. editor. (orcid)0000-0002-5368-3234 SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dDesign$00252C$002bgeneral.$0026qf$003dAUTHOR$002509Yazar$002509Prabhakar$00252C$002bPavithra.$002beditor.$002b$002528orcid$0025290000-0002-5368-3234$002509Prabhakar$00252C$002bPavithra.$002beditor.$002b$002528orcid$0025290000-0002-5368-3234$0026ps$003d300? 2024-06-20T15:53:27Z 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-06-20T15:53:27Z 2024-06-20T15:53:27Z 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-06-20T15:53:27Z 2024-06-20T15:53:27Z 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/>