Limit Search Results
Author
Jain, Lakhmi C. editor.
(137)
Filipe, Joaquim. editor.
(75)
Nguyen, Ngoc Thanh. editor.
(72)
Abraham, Ajith. editor.
(69)
Kacprzyk, Janusz. editor.
(67)
Language
Publication Date
-
2013
(7991)
2012
(6632)
2011
(6512)
2009
(5781)
2010
(5642)
Subject
Computer science.
(11576)
Engineering.
(7871)
Medicine.
(7488)
Economics.
(7225)
Artificial intelligence.
(6167)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
65976 Results Found Subscribe to search results
000000000000DEFAULT
Print
241. 
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:
242. 
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:
243. 
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:
244. 
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:
245. 
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:
246. 
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:
247. 
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:
248. 
Cover image for Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Author 
Bowen, Jonathan P. editor. Li, Qin. editor. Xu, Qiwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521129.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40436-8
Format: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings
Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings
Author 
Tekinerdogan, Bedir. editor. Trubiani, Catia. editor. Tibermacine, Chouki. editor. Scandurra, Patrizia. editor. Cuesta, Carlos E. editor.
Preferred Shelf Number 
XX(521130.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42592-9
Format: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings
Towards Autonomous Robotic Systems 24th Annual Conference, TAROS 2023, Cambridge, UK, September 13-15, 2023, Proceedings
Author 
Iida, Fumiya. editor. Maiolino, Perla. editor. Abdulali, Arsen. editor. Wang, Mingfeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521131.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43360-3
Format: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings
Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings
Author 
Pang, Jun. editor. Niehren, Joachim. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521132.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42697-1
Format: 
Availability 
Online Library~1
Available:
Copies:
252. 
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:
Select an Action