Limit Search Results
Author
SpringerLink (Online service)
(558)
Roth, Stefan. editor. (orcid)0000-0001-9002-9832
(90)
Ricci, Elisa. editor. (orcid)0000-0002-0228-1147
(88)
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277
(87)
Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241
(87)
Language
English
(558)
Publication Date
-
2025
(202)
2017
(103)
2019
(96)
2024
(84)
2016
(40)
Subject
Computers, Special purpose.
(437)
Special Purpose and Application-Based Systems.
(437)
Computer networks .
(277)
Computer Communication Networks.
(271)
Artificial intelligence.
(204)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
558 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
Author 
Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-71162-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part VI
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part VI
Author 
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277 Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Roth, Stefan. editor. (orcid)0000-0001-9002-9832 Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241 Sattler, Torsten. editor. (orcid)0000-0001-9760-4553
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72658-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLII
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XLII
Author 
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277 Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Roth, Stefan. editor. (orcid)0000-0001-9002-9832 Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241 Sattler, Torsten. editor. (orcid)0000-0001-9760-4553
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72946-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXI
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XXI
Author 
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277 Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Roth, Stefan. editor. (orcid)0000-0001-9002-9832 Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241 Sattler, Torsten. editor. (orcid)0000-0001-9760-4553
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72664-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XIII
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XIII
Author 
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277 Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Roth, Stefan. editor. (orcid)0000-0001-9002-9832 Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241 Sattler, Torsten. editor. (orcid)0000-0001-9760-4553
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72624-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LXXXVI
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part LXXXVI
Author 
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277 Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Roth, Stefan. editor. (orcid)0000-0001-9002-9832 Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241 Sattler, Torsten. editor. (orcid)0000-0001-9760-4553
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-73016-0
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75107-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Shape in Medical Imaging International Workshop, ShapeMI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings
Shape in Medical Imaging International Workshop, ShapeMI 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings
Author 
Wachinger, Christian. editor. Paniagua, Beatriz. editor. (orcid)0000-0002-8437-6632 Elhabian, Shireen. editor. (orcid)0000-0002-7394-557X Luijten, Gijs. editor. (orcid)0009-0000-3404-1917 Egger, Jan. editor. (orcid)0000-0002-5225-1982
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75291-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
Author 
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-75390-9
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for IoT as a Service 9th EAI International Conference, IoTaaS 2023, Nanjing, China, October 27-29, 2023, Proceedings
IoT as a Service 9th EAI International Conference, IoTaaS 2023, Nanjing, China, October 27-29, 2023, Proceedings
Author 
Chen, Xiang. editor. Wang, Xijun. editor. Lin, Shangjing. editor. Liu, Jing. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-70507-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XVI
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part XVI
Author 
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277 Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Roth, Stefan. editor. (orcid)0000-0001-9002-9832 Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241 Sattler, Torsten. editor. (orcid)0000-0001-9760-4553
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72640-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part III
Computer Vision - ECCV 2024 18th European Conference, Milan, Italy, September 29-October 4, 2024, Proceedings, Part III
Author 
Leonardis, Aleš. editor. (orcid)0000-0003-0773-3277 Ricci, Elisa. editor. (orcid)0000-0002-0228-1147 Roth, Stefan. editor. (orcid)0000-0001-9002-9832 Russakovsky, Olga. editor. (orcid)0000-0001-5272-3241 Sattler, Torsten. editor. (orcid)0000-0001-9760-4553
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-72646-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets