Search Results for Reasoning. - Narrowed by: Computer networks .
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dReasoning.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bnetworks$0025C2$0025A0.$002509Computer$002bnetworks$0025C2$0025A0.$0026ps$003d300?dt=list
2026-03-25T07:38:22Z
Case-Based Reasoning Research and Development 33rd International Conference, ICCBR 2025, Biarritz, France, June 30-July 3, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:609121
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Bichindaritz, Isabelle. editor. (orcid)0000-0003-1712-490X López, Beatriz. editor. (orcid)0000-0001-9210-0073 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-96559-3">https://doi.org/10.1007/978-3-031-96559-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604145
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63498-7">https://doi.org/10.1007/978-3-031-63498-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604146
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63501-4">https://doi.org/10.1007/978-3-031-63501-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning Research and Development 32nd International Conference, ICCBR 2024, Merida, Mexico, July 1-4, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604039
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Recio-Garcia, Juan A. editor. (orcid)0000-0001-8731-6195 Orozco-del-Castillo, Mauricio G. editor. (orcid)0000-0001-5793-6449 Bridge, Derek. editor. (orcid)0000-0002-8720-3876 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63646-2">https://doi.org/10.1007/978-3-031-63646-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618348
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61581-3">https://doi.org/10.1007/978-3-319-61581-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Case-Based Reasoning Research and Development 24th International Conference, ICCBR 2016, Atlanta, GA, USA, October 31 - November 2, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612473
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Goel, Ashok. editor. Díaz-Agudo, M Belén. editor. Roth-Berghofer, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47096-2">https://doi.org/10.1007/978-3-319-47096-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605503
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66149-5">https://doi.org/10.1007/978-3-031-66149-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607214
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence - IBERAMIA 2024 18th Ibero-American Conference on AI, Montevideo, Uruguay, November 13-15, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:607371
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Correia, Luís. editor. (orcid)0000-0003-2439-1168 Rosá, Aiala. editor. Garijo, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80366-6">https://doi.org/10.1007/978-3-031-80366-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Systems 21st European Conference, EUMAS 2024, Dublin, Ireland, August 26-28, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:609001
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Collier, Rem. editor. (orcid)0000-0003-0319-0797 Ricci, Alessandro. editor. (orcid)0000-0002-9222-5092 Nallur, Vivek. editor. (orcid)0000-0003-0447-4150 Burattini, Samuele. editor. (orcid)0009-0009-4853-7783 Omicini, Andrea. editor. (orcid)0000-0002-6655-3869<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93930-3">https://doi.org/10.1007/978-3-031-93930-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Electronic Voting 9th International Joint Conference, E-Vote-ID 2024, Tarragona, Spain, October 2-4, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605279
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Duenas-Cid, David. editor. (orcid)0000-0002-0451-4514 Roenne, Peter. editor. (orcid)0000-0002-2785-8301 Volkamer, Melanie. editor. (orcid)0000-0003-2674-4043 Budurushi, Jurlind. editor. (orcid)0000-0002-6732-4400 Blom, Michelle. editor. (orcid)0000-0002-0459-9917<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72244-8">https://doi.org/10.1007/978-3-031-72244-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607116
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:601949
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Fenrong. editor. (orcid)0000-0001-7931-0324 Sadanandan, Arun Anand. editor. Pham, Duc Nghia. editor. Mursanto, Petrus. editor. (orcid)0000-0002-4831-4629 Lukose, Dickson. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7022-3">https://doi.org/10.1007/978-981-99-7022-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602127
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Fenrong. editor. (orcid)0000-0001-7931-0324 Sadanandan, Arun Anand. editor. Pham, Duc Nghia. editor. Mursanto, Petrus. editor. (orcid)0000-0002-4831-4629 Lukose, Dickson. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7019-3">https://doi.org/10.1007/978-981-99-7019-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602187
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8429-9">https://doi.org/10.1007/978-981-99-8429-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602188
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8432-9">https://doi.org/10.1007/978-981-99-8432-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:602189
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8540-1">https://doi.org/10.1007/978-981-99-8540-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:602190
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8549-4">https://doi.org/10.1007/978-981-99-8549-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:602193
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8462-6">https://doi.org/10.1007/978-981-99-8462-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:602194
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8537-1">https://doi.org/10.1007/978-981-99-8537-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part IX
ent://SD_ILS/0/SD_ILS:602195
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8546-3">https://doi.org/10.1007/978-981-99-8546-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XIII
ent://SD_ILS/0/SD_ILS:602196
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8558-6">https://doi.org/10.1007/978-981-99-8558-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XI
ent://SD_ILS/0/SD_ILS:602204
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8552-4">https://doi.org/10.1007/978-981-99-8552-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part XII
ent://SD_ILS/0/SD_ILS:602205
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8555-5">https://doi.org/10.1007/978-981-99-8555-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:602211
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8543-2">https://doi.org/10.1007/978-981-99-8543-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:602942
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55630-2">https://doi.org/10.1007/978-3-031-55630-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604250
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63787-2">https://doi.org/10.1007/978-3-031-63787-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604251
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63797-1">https://doi.org/10.1007/978-3-031-63797-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:604252
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63800-8">https://doi.org/10.1007/978-3-031-63800-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Explainable Artificial Intelligence Second World Conference, xAI 2024, Valletta, Malta, July 17-19, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:604253
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Longo, Luca. editor. Lapuschkin, Sebastian. editor. (orcid)0000-0002-0762-7258 Seifert, Christin. editor. (orcid)0000-0002-6776-3868 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63803-9">https://doi.org/10.1007/978-3-031-63803-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:607723
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8435-0">https://doi.org/10.1007/978-981-99-8435-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pattern Recognition and Computer Vision 6th Chinese Conference, PRCV 2023, Xiamen, China, October 13-15, 2023, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:607724
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Qingshan. editor. (orcid)0000-0002-8161-1780 Wang, Hanzi. editor. Ma, Zhanyu. editor. Zheng, Weishi. editor. (orcid)0000-0001-8327-0003 Zha, Hongbin. editor. (orcid)0000-0001-5860-4673<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8469-5">https://doi.org/10.1007/978-981-99-8469-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PRICAI 2023: Trends in Artificial Intelligence 20th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2023, Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:602423
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Liu, Fenrong. editor. (orcid)0000-0001-7931-0324 Sadanandan, Arun Anand. editor. Pham, Duc Nghia. editor. Mursanto, Petrus. editor. (orcid)0000-0002-4831-4629 Lukose, Dickson. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7025-4">https://doi.org/10.1007/978-981-99-7025-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence 20th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2024, A Coruña, Spain, June 19-21, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603913
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Alonso-Betanzos, Amparo. editor. (orcid)0000-0003-0950-0012 Guijarro-Berdiñas, Bertha. editor. (orcid)0000-0001-8901-5441 Bolón-Canedo, Verónica. editor. (orcid)0000-0002-0524-6427 Hernández-Pereira, Elena. editor. (orcid)0000-0001-8666-4075 Fontenla-Romero, Oscar. editor. (orcid)0000-0003-4203-8720<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62799-6">https://doi.org/10.1007/978-3-031-62799-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604337
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Thórisson, Kristinn R. editor. (orcid)0000-0003-3842-0564 Isaev, Peter. editor. Sheikhlar, Arash. editor. (orcid)0000-0002-0568-075X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65572-2">https://doi.org/10.1007/978-3-031-65572-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Management and Big Data Second Annual International Symposium, SIMBig 2015, Cusco, Peru, September 2-4, 2015, and Third Annual International Symposium, SIMBig 2016, Cusco, Peru, September 1-3, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:614458
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Lossio-Ventura, Juan Antonio. editor. Alatrista-Salas, Hugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55209-5">https://doi.org/10.1007/978-3-319-55209-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611629
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60042-0">https://doi.org/10.1007/978-3-319-60042-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ontology-Based Data Access Leveraging Subjective Reports
ent://SD_ILS/0/SD_ILS:613642
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Simari, Gerardo I. author. Molinaro, Cristian. author. Vanina Martinez, Maria. author. Lukasiewicz, Thomas. author. Predoiu, Livia. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65229-0">https://doi.org/10.1007/978-3-319-65229-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Artificial Intelligence 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616155
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Oliveira, Eugénio. editor. Gama, João. editor. Vale, Zita. editor. Lopes Cardoso, Henrique. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65340-2">https://doi.org/10.1007/978-3-319-65340-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-disciplinary Trends in Artificial Intelligence 11th International Workshop, MIWAI 2017, Gadong, Brunei, November 20-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612245
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Phon-Amnuaisuk, Somnuk. editor. Ang, Swee-Peng. editor. Lee, Soo-Young. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69456-6">https://doi.org/10.1007/978-3-319-69456-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618308
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60045-1">https://doi.org/10.1007/978-3-319-60045-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613619
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Soft Computing 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:615917
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Pichardo-Lagunas, Obdulia. editor. Miranda-Jiménez, Sabino. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62428-0">https://doi.org/10.1007/978-3-319-62428-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computational Intelligence 15th Mexican International Conference on Artificial Intelligence, MICAI 2016, Cancún, Mexico, October 23-28, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:615986
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Sidorov, Grigori. editor. Herrera-Alcántara, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62434-1">https://doi.org/10.1007/978-3-319-62434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.
ent://SD_ILS/0/SD_ILS:616022
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67190-1">https://doi.org/10.1007/978-3-319-67190-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
ent://SD_ILS/0/SD_ILS:617461
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Science, Engineering and Management 10th International Conference, KSEM 2017, Melbourne, VIC, Australia, August 19-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617618
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Li, Gang. editor. (orcid)0000-0003-1583-641X Ge, Yong. editor. Zhang, Zili. editor. Jin, Zhi. editor. Blumenstein, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63558-3">https://doi.org/10.1007/978-3-319-63558-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617812
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Social, Cultural, and Behavioral Modeling 9th International Conference, SBP-BRiMS 2016, Washington, DC, USA, June 28 - July 1, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611107
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Xu, Kevin S. editor. Reitter, David. editor. Lee, Dongwon. editor. Osgood, Nathaniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39931-7">https://doi.org/10.1007/978-3-319-39931-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611115
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Loreti, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28766-9">https://doi.org/10.1007/978-3-319-28766-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612727
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web. Latest Advances and New Domains 13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 -- June 2, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618347
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Sack, Harald. editor. Blomqvist, Eva. editor. (orcid)0000-0003-0036-6662 d'Aquin, Mathieu. editor. Ghidini, Chiara. editor. Ponzetto, Simone Paolo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34129-3">https://doi.org/10.1007/978-3-319-34129-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Parallel and Distributed Computing and Ubiquitous Services UCAWSN & PDCAT 2015
ent://SD_ILS/0/SD_ILS:618395
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Park, James J. (Jong Hyuk). editor. Yi, Gangman. editor. Jeong, Young-Sik. editor. Shen, Hong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0068-3">https://doi.org/10.1007/978-981-10-0068-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence and Intelligent Systems 7th International Symposium, ISICA 2015, Guangzhou, China, November 21-22, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617070
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Li, Kangshun. editor. Li, Jin. editor. Liu, Yong. editor. (orcid)0000-0002-4663-6739 Castiglione, Aniello. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0356-1">https://doi.org/10.1007/978-981-10-0356-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Map Framework A Formal Model of Maps as a Fundamental Data Type in Information Systems
ent://SD_ILS/0/SD_ILS:615905
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author McKenney, Mark. author. Schneider, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46766-5">https://doi.org/10.1007/978-3-319-46766-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 4th International Conference on Computer Engineering and Networks CENet2014
ent://SD_ILS/0/SD_ILS:530244
2026-03-25T07:38:22Z
2026-03-25T07:38:22Z
Author Wong, W. Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11104-9">https://doi.org/10.1007/978-3-319-11104-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>