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
(21137)
2012
(20588)
2013
(18049)
2010
(17681)
2014
(13506)
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
233267 Results Found Subscribe to search results
000000000000DEFAULT
Print
4369. 
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:
4370. 
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:
4371. 
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:
4372. 
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:
4373. 
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:
4374. 
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:
4375. 
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 
XX(521101.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-37171-4
Format: 
Availability 
Online Library~1
Available:
Copies:
4376. 
Cover image for Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
Author 
Prevosto, Virgile. editor. Seceleanu, Cristina. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521102.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38828-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4377. 
Cover image for 3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation
3D Research Challenges in Cultural Heritage III Complexity and Quality in Digitisation
Author 
Ioannides, Marinos. editor. Patias, Petros. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521103.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35593-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4378. 
Cover image for HCI in Business, Government and Organizations 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
HCI in Business, Government and Organizations 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
Author 
Nah, Fiona. editor. Siau, Keng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521104.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-35969-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4379. 
Cover image for HCI in Business, Government and Organizations 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
HCI in Business, Government and Organizations 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Author 
Nah, Fiona. editor. Siau, Keng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521105.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-36049-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4380. 
Cover image for Geometric Science of Information 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023, Proceedings, Part I
Geometric Science of Information 6th International Conference, GSI 2023, St. Malo, France, August 30 - September 1, 2023, Proceedings, Part I
Author 
Nielsen, Frank. editor. Barbaresco, Frédéric. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521106.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-38271-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action