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 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:
2. 
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:
3. 
Cover image for Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Verification, Model Checking, and Abstract Interpretation 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Dragoi, Cezara. editor. Emmi, Michael. editor. Wang, Jingbo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24950-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
Cover image for Document Analysis and Recognition - ICDAR 2023 17th International Conference, San José, CA, USA, August 21-26, 2023, Proceedings, Part V
Document Analysis and Recognition - ICDAR 2023 17th International Conference, San José, CA, USA, August 21-26, 2023, Proceedings, Part V
Author 
Fink, Gernot A. editor. Jain, Rajiv. editor. Kise, Koichi. editor. Zanibbi, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-41734-4
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Social, Cultural, and Behavioral Modeling 16th International Conference, SBP-BRiMS 2023, Pittsburgh, PA, USA, September 20-22, 2023, Proceedings
Social, Cultural, and Behavioral Modeling 16th International Conference, SBP-BRiMS 2023, Pittsburgh, PA, USA, September 20-22, 2023, Proceedings
Author 
Thomson, Robert. editor. (orcid) Al-khateeb, Samer. editor. Burger, Annetta. editor. Park, Patrick. editor. A. Pyke, Aryn. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43129-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Simulation and Gaming for Social Impact 53rd International Simulation and Gaming Association Conference, ISAGA 2022, Boston, MA, USA, July 11-14, 2022, Revised Selected Papers
Simulation and Gaming for Social Impact 53rd International Simulation and Gaming Association Conference, ISAGA 2022, Boston, MA, USA, July 11-14, 2022, Revised Selected Papers
Author 
Harteveld, Casper. editor. Sutherland, Steven. editor. Troiano, Giovanni. editor. Lukosch, Heide. editor. Meijer, Sebastiaan. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-37171-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus Proceedings of FAIM 2022, June 19-23, 2022, Detroit, Michigan, USA
Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus Proceedings of FAIM 2022, June 19-23, 2022, Detroit, Michigan, USA
Author 
Kim, Kyoung-Yun. editor. Monplaisir, Leslie. editor. Rickli, Jeremy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-18326-3
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Mobile and Ubiquitous Systems: Computing, Networking and Services 19th EAI International Conference, MobiQuitous 2022, Pittsburgh, PA, USA, November 14-17, 2022, Proceedings
Mobile and Ubiquitous Systems: Computing, Networking and Services 19th EAI International Conference, MobiQuitous 2022, Pittsburgh, PA, USA, November 14-17, 2022, Proceedings
Author 
Longfei, Shangguan. editor. Bodhi, Priyantha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34776-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
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:
11. 
Cover image for Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
Trends in Functional Programming 24th International Symposium, TFP 2023, Boston, MA, USA, January 13-15, 2023, Revised Selected Papers
Author 
Chang, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-38938-2
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Public-Key Cryptography - PKC 2023 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7-10, 2023, Proceedings, Part I
Public-Key Cryptography - PKC 2023 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7-10, 2023, Proceedings, Part I
Author 
Boldyreva, Alexandra. editor. Kolesnikov, Vladimir. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-31368-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action