Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
16 Results Found Subscribe to search results
0000DEFAULT
Print
13. 
Cover image for Structures of Computing A Guide to Practice-Oriented Theory
Structures of Computing A Guide to Practice-Oriented Theory
Author 
Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-54358-6
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Cooperatively Interacting Vehicles Methods and Effects of Automated Cooperation in Traffic
Cooperatively Interacting Vehicles Methods and Effects of Automated Cooperation in Traffic
Author 
Stiller, Christoph. editor. (orcid)0000-0003-4165-2075 Althoff, Matthias. editor. (orcid)0000-0003-3733-842X Burger, Christoph. editor. Deml, Barbara. editor. Eckstein, Lutz. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-60494-2
Format: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Zhu, Huibiao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-52228-9
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Author 
Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66176-6
Format: 
Availability 
Online Library~1
Available:
Copies: