Search Results for Rossi, Matteo. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dRossi$00252C$002bMatteo.$0026ic$003dtrue$0026ps$003d300?dt=list 2026-06-01T10:29:34Z Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:605095 2026-06-01T10:29:34Z 2026-06-01T10:29:34Z Author&#160;Platzer, Andr&eacute;. editor. (orcid)0000-0001-7238-5710&#160;Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828&#160;Pradella, Matteo. editor. (orcid)0000-0003-3039-1084&#160;Rossi, Matteo. editor. (orcid)0000-0002-9193-9560&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71162-6">https://doi.org/10.1007/978-3-031-71162-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:605121 2026-06-01T10:29:34Z 2026-06-01T10:29:34Z Author&#160;Platzer, Andre. editor. (orcid)0000-0001-7238-5710&#160;Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828&#160;Pradella, Matteo. editor. (orcid)0000-0003-3039-1084&#160;Rossi, Matteo. editor. (orcid)0000-0002-9193-9560&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-71177-0">https://doi.org/10.1007/978-3-031-71177-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modeling Time in Computing ent://SD_ILS/0/SD_ILS:197209 2026-06-01T10:29:34Z 2026-06-01T10:29:34Z Author&#160;Furia, Carlo A. author.&#160;Mandrioli, Dino. author.&#160;Morzenti, Angelo. author.&#160;Rossi, Matteo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32332-4">http://dx.doi.org/10.1007/978-3-642-32332-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sarcopenia ent://SD_ILS/0/SD_ILS:593049 2026-06-01T10:29:34Z 2026-06-01T10:29:34Z Author&#160;Cruz-Jentoft, Alfonso J.&#160;Morley, John E.<br/>Preferred Shelf Number&#160;RC925.53<br/>Electronic Access&#160;<a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781118338032">https://onlinelibrary.wiley.com/doi/book/10.1002/9781118338032</a> <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119597896">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119597896</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>