Limit Search Results
Author
SpringerLink (Online service)
(1005)
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
Library
Switch to list view
Switch to thumbnail view
Select an Action
1872 Results Found Subscribe to search results
000000000000DEFAULT
Print
73. 
Cover image for Languages and Compilers for Parallel Computing 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papers
Languages and Compilers for Parallel Computing 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022, Revised Selected Papers
Author 
Mendis, Charith. editor. Rauchwerger, Lawrence. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520856.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-31445-2
Format: 
Availability 
Online Library~1
Available:
Copies:
74. 
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 
XX(520787.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-23582-5
Format: 
Availability 
Online Library~1
Available:
Copies:
75. 
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:
76. 
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:
77. 
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:
78. 
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:
79. 
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 
XX(520984.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
80. 
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 
XX(521392.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-32316-4
Format: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for Virtual, Augmented and Mixed Reality. Multimodal Interaction 11th International Conference, VAMR 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I
Virtual, Augmented and Mixed Reality. Multimodal Interaction 11th International Conference, VAMR 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I
Author 
Chen, Jessie Y.C. editor. Fragomeni, Gino. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21607-8
Format: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Learning and Collaboration Technologies. Ubiquitous and Virtual Environments for Learning and Collaboration 6th International Conference, LCT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II
Learning and Collaboration Technologies. Ubiquitous and Virtual Environments for Learning and Collaboration 6th International Conference, LCT 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II
Author 
Zaphiris, Panayiotis. editor. Ioannou, Andri. editor. (orcid)0000-0002-3570-6578 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-21817-1
Format: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Human-Computer Interaction. Perspectives on Design Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I
Human-Computer Interaction. Perspectives on Design Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22646-6
Format: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Heterogeneous Data Management, Polystores, and Analytics for Healthcare VLDB 2019 Workshops, Poly and DMAH, Los Angeles, CA, USA, August 30, 2019, Revised Selected Papers
Heterogeneous Data Management, Polystores, and Analytics for Healthcare VLDB 2019 Workshops, Poly and DMAH, Los Angeles, CA, USA, August 30, 2019, Revised Selected Papers
Author 
Gadepally, Vijay. editor. Mattson, Timothy. editor. Stonebraker, Michael. editor. Wang, Fusheng. editor. Luo, Gang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-33752-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action