Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
5 Results Found Subscribe to search results
00000DEFAULT
Print
1. 
Cover image for Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
Author 
Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-47115-5
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for 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, Proceedings
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, Proceedings
Author 
Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-95497-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Sustainability of the food system : sovereignty, waste, and nutrients bioavailability
Sustainability of the food system : sovereignty, waste, and nutrients bioavailability
Author 
Betoret, Noelia, editor. Betoret, Ester, editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect https://www.sciencedirect.com/science/book/9780128182932
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Enterprise interoperability : smart services and business impact of enterprise interoperability
Enterprise interoperability : smart services and business impact of enterprise interoperability
Author 
I-ESA (Conference) (9th : 2018 : Berlin, Germany) Zelm, Martin, editor. Jaekel, Frank-Walter, editor. Doumeingts, Guy, editor. Wollschlaeger, Martin, editor.
Preferred Shelf Number 
HD30.213
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119564034
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Neurobiology of body fluid homeostasis : transduction and integration
Neurobiology of body fluid homeostasis : transduction and integration
Author 
De Luca, Laurival Antonio, Jr., editor. of compilation. Menani, Jose Vanderlei, editor. of compilation. Johnson, Alan Kim, editor. of compilation.
Preferred Shelf Number 
QP535 .N2 N48 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets