Search Results for Ferreira, Carla.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFerreira$00252C$002bCarla.$0026ps$003d300?2026-05-17T16:46:56ZSoftware Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212752026-05-17T16:46:56Z2026-05-17T16:46:56ZAuthor Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6089372026-05-17T16:46:56Z2026-05-17T16:46:56ZAuthor Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95497-9">https://doi.org/10.1007/978-3-031-95497-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sustainability of the food system : sovereignty, waste, and nutrients bioavailabilityent://SD_ILS/0/SD_ILS:5223942026-05-17T16:46:56Z2026-05-17T16:46:56ZAuthor Betoret, Noelia, editor. Betoret, Ester, editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="https://www.sciencedirect.com/science/book/9780128182932">https://www.sciencedirect.com/science/book/9780128182932</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Enterprise interoperability : smart services and business impact of enterprise interoperabilityent://SD_ILS/0/SD_ILS:5948912026-05-17T16:46:56Z2026-05-17T16:46:56ZAuthor I-ESA (Conference) (9th : 2018 : Berlin, Germany) Zelm, Martin, editor. Jaekel, Frank-Walter, editor. Doumeingts, Guy, editor. Wollschlaeger, Martin, editor.<br/>Preferred Shelf Number HD30.213<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119564034">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119564034</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Neurobiology of body fluid homeostasis : transduction and integrationent://SD_ILS/0/SD_ILS:5447272026-05-17T16:46:56Z2026-05-17T16:46:56ZAuthor De Luca, Laurival Antonio, Jr., editor. of compilation. Menani, Jose Vanderlei, editor. of compilation. Johnson, Alan Kim, editor. of compilation.<br/>Preferred Shelf Number QP535 .N2 N48 2014<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466506961">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>