Search Results for - Narrowed by: Mathematical logic. - Albert, Elvira. editor. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026qf$003dAUTHOR$002509Yazar$002509Albert$00252C$002bElvira.$002beditor.$002509Albert$00252C$002bElvira.$002beditor.$0026ps$003d300? 2024-05-09T18:44:58Z 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-09T18:44:58Z 2024-05-09T18:44:58Z 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/> Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings ent://SD_ILS/0/SD_ILS:21462 2024-05-09T18:44:58Z 2024-05-09T18:44:58Z Yazar&#160;Albert, Elvira. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-10181-1">http://dx.doi.org/10.1007/978-3-319-10181-1</a><br/>Format:&#160;Electronic Resources<br/>