Search Results for - Narrowed by: Lanese, Ivan. editor. - Springer E-Book Collection - Logics and Meanings of Programs.SirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dAUTHOR$002509Yazar$002509Lanese$00252C$002bIvan.$002beditor.$002509Lanese$00252C$002bIvan.$002beditor.$0026qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300$0026isd$003dtrue?2024-06-16T08:12:35ZReversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:181112024-06-16T08:12:35Z2024-06-16T08:12:35ZYazar Devitt, Simon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-40578-0">http://dx.doi.org/10.1007/978-3-319-40578-0</a><br/>Format: Electronic Resources<br/>Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedingsent://SD_ILS/0/SD_ILS:180092024-06-16T08:12:35Z2024-06-16T08:12:35ZYazar Albert, Elvira. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39570-8">http://dx.doi.org/10.1007/978-3-319-39570-8</a><br/>Format: Electronic Resources<br/>Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papersent://SD_ILS/0/SD_ILS:223652024-06-16T08:12:35Z2024-06-16T08:12:35ZYazar Lanese, Ivan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-15317-9">http://dx.doi.org/10.1007/978-3-319-15317-9</a><br/>Format: Electronic Resources<br/>Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedingsent://SD_ILS/0/SD_ILS:245252024-06-16T08:12:35Z2024-06-16T08:12:35ZYazar Diaz, Josep. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-44602-7">http://dx.doi.org/10.1007/978-3-662-44602-7</a><br/>Format: Electronic Resources<br/>