Limit Search Results
Author
SpringerLink (Online service)
(1019)
Wiley InterScience (Online service)
(48)
Stephanidis, Constantine. editor.
(33)
Bebis, George. editor.
(24)
Boyle, Richard. editor.
(21)
Language
Publication Date
-
Subject
Computer science.
(608)
Artificial intelligence.
(288)
Software engineering.
(233)
Computer Communication Networks.
(211)
Information systems.
(173)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
1809 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Cryptology and Network Security 22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings
Cryptology and Network Security 22nd International Conference, CANS 2023, Augusta, GA, USA, October 31 - November 2, 2023, Proceedings
Author 
Deng, Jing. editor. Kolesnikov, Vladimir. editor. Schwarzmann, Alexander A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-7563-1
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Asynchronous Many-Task Systems and Applications First International Workshop, WAMTA 2023, Baton Rouge, LA, USA, February 15-17, 2023, Proceedings
Asynchronous Many-Task Systems and Applications First International Workshop, WAMTA 2023, Baton Rouge, LA, USA, February 15-17, 2023, Proceedings
Author 
Diehl, Patrick. editor. Thoman, Peter. editor. Kaiser, Hartmut. editor. Kale, Laxmikant. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-32316-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Internet of Things - ICIOT 2022 7th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings
Internet of Things - ICIOT 2022 7th International Conference, Held as Part of the Services Conference Federation, SCF 2022, Honolulu, HI, USA, December 10-14, 2022, Proceedings
Author 
Tekinerdogan, Bedir. editor. Wang, Yingwei. editor. Zhang, Liang-Jie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-23582-5
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Author 
Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-19907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings
Decision and Game Theory for Security 13th International Conference, GameSec 2022, Pittsburgh, PA, USA, October 26-28, 2022, Proceedings
Author 
Fang, Fei. editor. Xu, Haifeng. editor. Hayel, Yezekael. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-26369-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Topics in Cryptology - CT-RSA 2023 Cryptographers' Track at the RSA Conference 2023, San Francisco, CA, USA, April 24-27, 2023, Proceedings
Topics in Cryptology - CT-RSA 2023 Cryptographers' Track at the RSA Conference 2023, San Francisco, CA, USA, April 24-27, 2023, Proceedings
Author 
Rosulek, Mike. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-30872-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings
Unconventional Computation and Natural Computation 20th International Conference, UCNC 2023, Jacksonville, FL, USA, March 13-17, 2023, Proceedings
Author 
Genova, Daniela. editor. Kari, Jarkko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34034-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Post-Quantum Cryptography 14th International Workshop, PQCrypto 2023, College Park, MD, USA, August 16-18, 2023, Proceedings
Post-Quantum Cryptography 14th International Workshop, PQCrypto 2023, College Park, MD, USA, August 16-18, 2023, Proceedings
Author 
Johansson, Thomas. editor. Smith-Tone, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-40003-2
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Document Analysis and Recognition - ICDAR 2023 Workshops San José, CA, USA, August 24-26, 2023, Proceedings, Part I
Document Analysis and Recognition - ICDAR 2023 Workshops San José, CA, USA, August 24-26, 2023, Proceedings, Part I
Author 
Coustaty, Mickael. editor. Fornés, Alicia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41498-5
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Document Analysis and Recognition - ICDAR 2023 Workshops San José, CA, USA, August 24-26, 2023, Proceedings, Part II
Document Analysis and Recognition - ICDAR 2023 Workshops San José, CA, USA, August 24-26, 2023, Proceedings, Part II
Author 
Coustaty, Mickael. editor. Fornés, Alicia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41501-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action