Search Results for - Narrowed by: Springer E-Book Collection - Computer science. - Mathematical Logic and Formal Languages. - 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$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Konu$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026qf$003dAUTHOR$002509Yazar$002509Lanese$00252C$002bIvan.$002beditor.$002509Lanese$00252C$002bIvan.$002beditor.$0026ps$003d300?
2024-05-25T11:20:42Z
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-25T11:20:42Z
2024-05-25T11:20:42Z
Yazar 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 Papers
ent://SD_ILS/0/SD_ILS:22365
2024-05-25T11:20:42Z
2024-05-25T11:20:42Z
Yazar 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. Proceedings
ent://SD_ILS/0/SD_ILS:24525
2024-05-25T11:20:42Z
2024-05-25T11:20:42Z
Yazar 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/>