Limit Search Results
Author
SpringerLink (Online service)
(1274)
Joshi, Amit. editor.
(14)
Garau, Chiara. editor. (orcid)
(11)
Gervasi, Osvaldo. editor. (orcid)
(11)
Iliadis, Lazaros. editor. (orcid)
(11)
Language
Subject
Computational intelligence.
(211)
Artificial intelligence.
(138)
Telecommunication.
(103)
Communications Engineering, Networks.
(100)
Cooperating objects (Computer systems).
(77)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1334 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I
Author 
Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37706-8
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III
Author 
Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37709-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for HCI International 2023 - Late Breaking Papers 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part V
HCI International 2023 - Late Breaking Papers 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part V
Author 
Chen, Jessie Y. C. editor. Fragomeni, Gino. editor. Fang, Xiaowen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48050-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part III
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part III
Author 
Greenspan, Hayit. editor. Madabhushi, Anant. editor. Mousavi, Parvin. editor. Salcudean, Septimiu. editor. (orcid) Duncan, James. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43898-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part IV
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part IV
Author 
Greenspan, Hayit. editor. Madabhushi, Anant. editor. Mousavi, Parvin. editor. Salcudean, Septimiu. editor. (orcid) Duncan, James. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43901-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part V
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part V
Author 
Greenspan, Hayit. editor. Madabhushi, Anant. editor. Mousavi, Parvin. editor. Salcudean, Septimiu. editor. (orcid) Duncan, James. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43904-9
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part I
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part I
Author 
Greenspan, Hayit. editor. Madabhushi, Anant. editor. Mousavi, Parvin. editor. Salcudean, Septimiu. editor. (orcid) Duncan, James. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43907-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part VI
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part VI
Author 
Greenspan, Hayit. editor. Madabhushi, Anant. editor. Mousavi, Parvin. editor. Salcudean, Septimiu. editor. (orcid) Duncan, James. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43987-2
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part VIII
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part VIII
Author 
Greenspan, Hayit. editor. Madabhushi, Anant. editor. Mousavi, Parvin. editor. Salcudean, Septimiu. editor. (orcid) Duncan, James. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43993-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part IX
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part IX
Author 
Greenspan, Hayit. editor. Madabhushi, Anant. editor. Mousavi, Parvin. editor. Salcudean, Septimiu. editor. (orcid) Duncan, James. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43996-4
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part X
Medical Image Computing and Computer Assisted Intervention - MICCAI 2023 26th International Conference, Vancouver, BC, Canada, October 8-12, 2023, Proceedings, Part X
Author 
Greenspan, Hayit. editor. Madabhushi, Anant. editor. Mousavi, Parvin. editor. Salcudean, Septimiu. editor. (orcid) Duncan, James. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43999-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings
Embedded Computer Systems: Architectures, Modeling, and Simulation 23rd International Conference, SAMOS 2023, Samos, Greece, July 2-6, 2023, Proceedings
Author 
Silvano, Cristina. editor. Pilato, Christian. editor. Reichenbach, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-46077-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action