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.
(286)
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
1701 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
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 
XX(520788.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
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 
XX(520796.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-19907-3
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
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 
XX(520797.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24950-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part II
Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part II
Author 
Handschuh, Helena. editor. Lysyanskaya, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520967.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38545-2
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part III
Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part III
Author 
Handschuh, Helena. editor. Lysyanskaya, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520968.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38548-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part IV
Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part IV
Author 
Handschuh, Helena. editor. Lysyanskaya, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520969.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38551-3
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part V
Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part V
Author 
Handschuh, Helena. editor. Lysyanskaya, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520970.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38554-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part I
Advances in Cryptology - CRYPTO 2023 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part I
Author 
Handschuh, Helena. editor. Lysyanskaya, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520971.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38557-5
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
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 
XX(520809.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-26369-9
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Brain Informatics 16th International Conference, BI 2023, Hoboken, NJ, USA, August 1-3, 2023, Proceedings
Brain Informatics 16th International Conference, BI 2023, Hoboken, NJ, USA, August 1-3, 2023, Proceedings
Author 
Liu, Feng. editor. Zhang, Yu. editor. Kuai, Hongzhi. editor. Stephen, Emily P. editor. Wang, Hongjun. editor.
Preferred Shelf Number 
XX(521136.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43075-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Job Scheduling Strategies for Parallel Processing 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 26th Workshop, JSSPP 2023, St. Petersburg, FL, USA, May 19, 2023, Revised Selected Papers
Author 
Klusáček, Dalibor. editor. Corbalán, Julita. editor. Rodrigo, Gonzalo P. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521143.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43943-8
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
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 
XX(521145.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43129-6
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action