Limit Search Results
Author
Young, Gerald. author.
(2)
Abelló, Alberto. editor.
(1)
Alirezaie, Marjan. editor.
(1)
Asselbergs, Folkert W. editor.
(1)
Aydoğan, Reyhan. editor.
(1)
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
30 Results Found Subscribe to search results
000000DEFAULT
Print
25. 
Cover image for Clinical Applications of Artificial Intelligence in Real-World Data
Clinical Applications of Artificial Intelligence in Real-World Data
Author 
Asselbergs, Folkert W. editor. Denaxas, Spiros. editor. Oberski, Daniel L. editor. Moore, Jason H. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(522026.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36678-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
Author 
Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519135.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-23820-3
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Distributed Applications and Interoperable Systems 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Distributed Applications and Interoperable Systems 15th IFIP WG 6.1 International Conference, DAIS 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Author 
Bessani, Alysson. editor. Bouchenak, Sara. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519172.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-19129-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings
Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings
Author 
Suzuki, Joe. editor. Ueno, Maomi. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519179.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-28379-1
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Data Mining for Social Robotics Toward Autonomously Social Robots
Data Mining for Social Robotics Toward Autonomously Social Robots
Author 
Mohammad, Yasser. author. Nishida, Toyoaki. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(518603.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25232-2
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
Author 
Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519007.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-21690-4
Format: 
Availability 
Online Library~1
Available:
Copies: