Arama Sonuçları Reasoning. - Daraltılmış: Computer engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dReasoning.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bengineering.$002509Computer$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-03-20T15:33:02Z
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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar Bichindaritz, Isabelle. editor. (orcid)0000-0003-1712-490X López, Beatriz. editor. (orcid)0000-0001-9210-0073 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar 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/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar Pichardo-Lagunas, Obdulia. editor. Miranda-Jiménez, Sabino. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar Sidorov, Grigori. editor. Herrera-Alcántara, Oscar. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-20T15:33:02Z
2026-03-20T15:33:02Z
Yazar Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Loreti, Michele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>