Limit Search Results
Author
SpringerLink (Online service)
(50646)
Project Muse.
(12202)
Wiley InterScience (Online service)
(6536)
John Wiley & Sons.
(798)
IGI Global, publisher.
(602)
Language
Publication Date
-
2011
(21138)
2012
(20589)
2013
(18050)
2010
(17682)
2014
(13507)
Subject
Computer science.
(10803)
Artificial intelligence.
(6246)
Engineering.
(6166)
Medicine.
(5628)
Software engineering.
(3525)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
233271 Results Found Subscribe to search results
000000000000DEFAULT
Print
4921. 
Cover image for Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
Author 
Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521095.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36889-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4922. 
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 
XX(521096.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37706-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4923. 
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 
XX(521097.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37709-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4924. 
Cover image for Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 8th International Workshop, BrainLes 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers, Part I
Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries 8th International Workshop, BrainLes 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers, Part I
Author 
Bakas, Spyridon. editor. Crimi, Alessandro. editor. Baid, Ujjwal. editor. Malec, Sylwia. editor. Pytlarz, Monika. editor.
Preferred Shelf Number 
XX(521098.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33842-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4925. 
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 
XX(521099.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4926. 
Cover image for New Frontiers in Artificial Intelligence JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021, Revised Selected Papers
New Frontiers in Artificial Intelligence JSAI-isAI 2021 Workshops, JURISIN, LENLS18, SCIDOCA, Kansei-AI, AI-BIZ, Yokohama, Japan, November 13-15, 2021, Revised Selected Papers
Author 
Yada, Katsutoshi. editor. Takama, Yasufumi. editor. (orcid) Mineshima, Koji. editor. (orcid) Satoh, Ken. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number 
XX(521100.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36190-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4927. 
Cover image for Extended Reality International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I
Extended Reality International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part I
Author 
De Paolis, Lucio Tommaso. editor. Arpaia, Pasquale. editor. Sacco, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521124.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43401-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4928. 
Cover image for Extended Reality International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part II
Extended Reality International Conference, XR Salento 2023, Lecce, Italy, September 6-9, 2023, Proceedings, Part II
Author 
De Paolis, Lucio Tommaso. editor. Arpaia, Pasquale. editor. Sacco, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521125.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43404-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4929. 
Cover image for Web Information Systems and Applications 20th International Conference, WISA 2023, Chengdu, China, September 15-17, 2023, Proceedings
Web Information Systems and Applications 20th International Conference, WISA 2023, Chengdu, China, September 15-17, 2023, Proceedings
Author 
Yuan, Long. editor. Yang, Shiyu. editor. Li, Ruixuan. editor. Kanoulas, Evangelos. editor. Zhao, Xiang. editor.
Preferred Shelf Number 
XX(521133.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6222-8
Format: 
Availability 
Online Library~1
Available:
Copies:
4930. 
Cover image for Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Author 
Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521127.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43264-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4931. 
Cover image for Computational Logistics 14th International Conference, ICCL 2023, Berlin, Germany, September 6-8, 2023, Proceedings
Computational Logistics 14th International Conference, ICCL 2023, Berlin, Germany, September 6-8, 2023, Proceedings
Author 
Daduna, Joachim R. editor. Liedtke, Gernot. editor. Shi, Xiaoning. editor. Voß, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521128.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43612-3
Format: 
Availability 
Online Library~1
Available:
Copies:
4932. 
Cover image for Predictive Intelligence in Medicine 6th International Workshop, PRIME 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings
Predictive Intelligence in Medicine 6th International Workshop, PRIME 2023, Held in Conjunction with MICCAI 2023, Vancouver, BC, Canada, October 8, 2023, Proceedings
Author 
Rekik, Islem. editor. Adeli, Ehsan. editor. (orcid) Park, Sang Hyun. editor. Cintas, Celia. editor. Zamzmi, Ghada. editor.
Preferred Shelf Number 
XX(521229.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-46005-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action