Limit Search Results
Author
SpringerLink (Online service)
(18161)
Wiley InterScience (Online service)
(208)
IGI Global, publisher.
(87)
ScienceDirect (Online service)
(73)
John Wiley & Sons.
(63)
Language
Publication Date
-
2011
(2328)
2013
(2264)
2012
(2092)
2010
(1908)
2023
(1856)
Subject
Computer science.
(11662)
Artificial intelligence.
(4866)
Software engineering.
(3545)
Computer Communication Networks.
(3149)
Information systems.
(2620)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
28642 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part III
Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges Montreal, QC, Canada, August 21-25, 2022, Proceedings, Part III
Author 
Rousseau, Jean-Jacques. editor. (orcid) Kapralos, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37731-0
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 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:
3. 
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:
4. 
Cover image for Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II
Author 
Enea, Constantin. editor. Lal, Akash. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Advances in Information and Computer Security 18th International Workshop on Security, IWSEC 2023, Yokohama, Japan, August 29-31, 2023, Proceedings
Advances in Information and Computer Security 18th International Workshop on Security, IWSEC 2023, Yokohama, Japan, August 29-31, 2023, Proceedings
Author 
Shikata, Junji. editor. Kuzuno, Hiroki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41326-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings
Computer Algebra in Scientific Computing 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings
Author 
Boulier, François. editor. England, Matthew. editor. (orcid) Kotsireas, Ilias. editor. Sadykov, Timur M. editor. Vorozhtsov, Evgenii V. editor. (orcid)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41724-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Author 
Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Bitsch, Friedemann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40923-3
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
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 IV
HCI International 2023 - Late Breaking Papers 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part IV
Author 
Duffy, Vincent G. editor. Krömker, Heidi. editor. A. Streitz, Norbert. editor. (orcid) Konomi, Shin'ichi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48047-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
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:
10. 
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 II
HCI International 2023 - Late Breaking Papers 25th International Conference on Human-Computer Interaction, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Author 
Gao, Qin. editor. Zhou, Jia. editor. Duffy, Vincent G. editor. Antona, Margherita. editor. Stephanidis, Constantine. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-48041-6
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Scale Space and Variational Methods in Computer Vision 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023, Proceedings
Scale Space and Variational Methods in Computer Vision 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023, Proceedings
Author 
Calatroni, Luca. editor. Donatelli, Marco. editor. Morigi, Serena. editor. Prato, Marco. editor. Santacesaria, Matteo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31975-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Computer Vision, Imaging and Computer Graphics Theory and Applications 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papers
Computer Vision, Imaging and Computer Graphics Theory and Applications 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papers
Author 
de Sousa, A. Augusto. editor. Havran, Vlastimil. editor. Paljic, Alexis. editor. Peck, Tabitha. editor. Hurter, Christophe. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-25477-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action