Search Results for - Narrowed by: Springer E-Book Collection - Logics and Meanings of Programs. - Lanese, Ivan. editor. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dAUTHOR$002509Yazar$002509Lanese$00252C$002bIvan.$002beditor.$002509Lanese$00252C$002bIvan.$002beditor.$0026ps$003d300$0026isd$003dtrue? 2024-05-25T21:03:19Z Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18111 2024-05-25T21:03:19Z 2024-05-25T21:03:19Z Yazar&#160;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:&#160;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, Proceedings ent://SD_ILS/0/SD_ILS:18009 2024-05-25T21:03:19Z 2024-05-25T21:03:19Z Yazar&#160;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:&#160;Electronic Resources<br/> Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers ent://SD_ILS/0/SD_ILS:22365 2024-05-25T21:03:19Z 2024-05-25T21:03:19Z Yazar&#160;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:&#160;Electronic Resources<br/> Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24525 2024-05-25T21:03:19Z 2024-05-25T21:03:19Z Yazar&#160;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:&#160;Electronic Resources<br/>