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
1093. 
Cover image for Serious Games 9th Joint International Conference, JCSG 2023, Dublin, Ireland, October 26-27, 2023, Proceedings
Serious Games 9th Joint International Conference, JCSG 2023, Dublin, Ireland, October 26-27, 2023, Proceedings
Author 
Haahr, Mads. editor. Rojas-Salazar, Alberto. editor. Göbel, Stefan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521243.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44751-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1094. 
Cover image for Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings
Author 
Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521244.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45072-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1095. 
Cover image for Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Author 
Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521245.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45784-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1096. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part IV
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part IV
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521246.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6492-5
Format: 
Availability 
Online Library~1
Available:
Copies:
1097. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521247.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6495-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1098. 
Cover image for Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers
Composability, Comprehensibility and Correctness of Working Software 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers
Author 
Porkoláb, Zoltán. editor. Zsók, Viktória. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521248.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-42833-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1099. 
Cover image for Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II
Author 
André, Étienne. editor. Sun, Jun. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521249.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-45332-8
Format: 
Availability 
Online Library~1
Available:
Copies:
1100. 
Cover image for Information and Communications Security 25th International Conference, ICICS 2023, Tianjin, China, November 18-20, 2023, Proceedings
Information and Communications Security 25th International Conference, ICICS 2023, Tianjin, China, November 18-20, 2023, Proceedings
Author 
Wang, Ding. editor. Yung, Moti. editor. (orcid) Liu, Zheli. editor. Chen, Xiaofeng. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521250.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-7356-9
Format: 
Availability 
Online Library~1
Available:
Copies:
1101. 
Cover image for The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings
The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings
Author 
Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.
Preferred Shelf Number 
XX(521251.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43458-7
Format: 
Availability 
Online Library~1
Available:
Copies:
1102. 
Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part I
Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part I
Author 
Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)
Preferred Shelf Number 
XX(521252.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-6483-3
Format: 
Availability 
Online Library~1
Available:
Copies:
1103. 
Cover image for Security Protocols XXVIII 28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers
Security Protocols XXVIII 28th International Workshop, Cambridge, UK, March 27-28, 2023, Revised Selected Papers
Author 
Stajano, Frank. editor. Matyáš, Vashek. editor. Christianson, Bruce. editor. Anderson, Jonathan. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521253.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43033-6
Format: 
Availability 
Online Library~1
Available:
Copies:
1104. 
Cover image for Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
Author 
Madeira, Alexandre. editor. Martins, Manuel A. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521254.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43345-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action