Search Results for Computer science—Mathematics. - Narrowed by: Ábrahám, Erika. editor.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputer$002bscience$0025E2$002580$002594Mathematics.$0026qf$003dAUTHOR$002509Yazar$002509$0025C3$002581brah$0025C3$0025A1m$00252C$002bErika.$002beditor.$002509$0025C3$002581brah$0025C3$0025A1m$00252C$002bErika.$002beditor.$0026ps$003d300?2024-09-23T20:02:45ZIntegrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedingsent://SD_ILS/0/SD_ILS:178752024-09-23T20:02:45Z2024-09-23T20:02:45ZYazar Ábrahám, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-33693-0">http://dx.doi.org/10.1007/978-3-319-33693-0</a><br/>Format: Electronic Resources<br/>Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:175492024-09-23T20:02:45Z2024-09-23T20:02:45ZYazar Ábrahám, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-30734-3">http://dx.doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Electronic Resources<br/>Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedingsent://SD_ILS/0/SD_ILS:244052024-09-23T20:02:45Z2024-09-23T20:02:45ZYazar Ábrahám, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-43613-4">http://dx.doi.org/10.1007/978-3-662-43613-4</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedingsent://SD_ILS/0/SD_ILS:240552024-09-23T20:02:45Z2024-09-23T20:02:45ZYazar Ábrahám, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54862-8">http://dx.doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>