Limit Search Results
Author
SpringerLink (Online service)
(59)
Lee, Roger. editor.
(4)
Ao, Sio-Iong. editor.
(3)
Bodden, Eric. editor.
(3)
Marcus, Aaron. editor.
(3)
Language
Publication Date
-
Subject
Artificial intelligence.
(20)
Application software.
(13)
Computer networks .
(13)
Computer science.
(13)
Computer and Information Systems Applications.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
59 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for The Handbook of Formal Methods in Human-Computer Interaction
The Handbook of Formal Methods in Human-Computer Interaction
Author 
Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. (orcid)0000-0002-5381-971X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51838-1
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015
Author 
Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2717-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for S-BPM in the Production Industry A Stakeholder Approach
S-BPM in the Production Industry A Stakeholder Approach
Author 
Neubauer, Matthias. editor. Stary, Christian. editor. (orcid)0000-0001-9764-5021 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48466-2
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Author 
Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49052-6
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Enterprise Interoperability VII Enterprise Interoperability in the Digitized and Networked Factory of the Future
Enterprise Interoperability VII Enterprise Interoperability in the Digitized and Networked Factory of the Future
Author 
Mertins, Kai. editor. Jardim-Gonçalves, Ricardo. editor. Popplewell, Keith. editor. Mendonça, João P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30957-6
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters
Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters
Author 
Al-Akkad, Amro. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-12616-2
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author 
Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48869-1
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Autonomic Road Transport Support Systems
Autonomic Road Transport Support Systems
Author 
McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25808-9
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Author 
Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29613-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Transactions on Engineering Technologies
Transactions on Engineering Technologies
Author 
Ao, Sio-Iong. editor. Yang, Gi-Chul. editor. Gelman, Len. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-1088-0
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
Author 
Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30806-7
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Computational Sustainability
Computational Sustainability
Author 
Lässig, Jörg. editor. Kersting, Kristian. editor. Morik, Katharina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31858-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action