Limit Search Results
Author
SpringerLink (Online service)
(65973)
Project Muse.
(12563)
Wiley InterScience (Online service)
(6745)
John Wiley & Sons.
(896)
IGI Global, publisher.
(602)
Language
Publication Date
-
2011
(18883)
2012
(18466)
2013
(15672)
2010
(15251)
2009
(10588)
Subject
Computer science.
(11616)
Engineering.
(7944)
Medicine.
(7535)
Economics.
(7326)
Artificial intelligence.
(6263)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
154032 Results Found Subscribe to search results
000000000000DEFAULT
Print
865. 
Cover image for Implementation and Application of Automata 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings
Implementation and Application of Automata 27th International Conference, CIAA 2023, Famagusta, North Cyprus, September 19-22, 2023, Proceedings
Author 
Nagy, Benedek. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521109.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40247-0
Format: 
Availability 
Online Library~1
Available:
Copies:
866. 
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:
867. 
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:
868. 
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:
869. 
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:
870. 
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:
871. 
Cover image for Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
Author 
Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Bitsch, Friedemann. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521134.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40923-3
Format: 
Availability 
Online Library~1
Available:
Copies:
872. 
Cover image for Experimental IR Meets Multilinguality, Multimodality, and Interaction 14th International Conference of the CLEF Association, CLEF 2023, Thessaloniki, Greece, September 18-21, 2023, Proceedings
Experimental IR Meets Multilinguality, Multimodality, and Interaction 14th International Conference of the CLEF Association, CLEF 2023, Thessaloniki, Greece, September 18-21, 2023, Proceedings
Author 
Arampatzis, Avi. editor. Kanoulas, Evangelos. editor. Tsikrika, Theodora. editor. Vrochidis, Stefanos. editor. Giachanou, Anastasia. editor.
Preferred Shelf Number 
XX(521135.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42448-9
Format: 
Availability 
Online Library~1
Available:
Copies:
873. 
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:
874. 
Cover image for Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Author 
Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.
Preferred Shelf Number 
XX(521137.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-40953-0
Format: 
Availability 
Online Library~1
Available:
Copies:
875. 
Cover image for Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part II
Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part II
Author 
Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. (orcid) Tadeusiewicz, Ryszard. editor.
Preferred Shelf Number 
XX(521138.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42508-0
Format: 
Availability 
Online Library~1
Available:
Copies:
876. 
Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Author 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521139.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action