Search Results for Lanese, Ivan. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLanese$00252C$002bIvan.$0026te$003dILS$0026ps$003d300? 2024-10-24T19:21:02Z 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:519140 2024-10-24T19:21:02Z 2024-10-24T19:21:02Z Author&#160;Lanese, Ivan. editor.&#160;Madelaine, Eric. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519140.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-15317-9">https://doi.org/10.1007/978-3-319-15317-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<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:487329 2024-10-24T19:21:02Z 2024-10-24T19:21:02Z Author&#160;Diaz, Josep. editor.&#160;Lanese, Ivan. editor. (orcid)0000-0003-2527-9995&#160;Sangiorgi, Davide. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-44602-7">https://doi.org/10.1007/978-3-662-44602-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>