Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(56)
Chen, Xilin. editor.
(13)
Ji, Rongrong. editor. (orcid)0000-0003-4739-8936
(13)
Liu, Qingshan. editor. (orcid)0000-0002-8161-1780
(13)
Ma, Zhanyu. editor.
(13)
Dil
Yayın Yılı
-
Konu
Artificial intelligence.
(45)
Computer Communication Networks.
(39)
Application software.
(34)
Computer and Information Systems Applications.
(34)
Computer vision.
(22)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
56 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Case-Based Reasoning Research and Development 33rd International Conference, ICCBR 2025, Biarritz, France, June 30-July 3, 2025, Proceedings için kapak resmi
Case-Based Reasoning Research and Development 33rd International Conference, ICCBR 2025, Biarritz, France, June 30-July 3, 2025, Proceedings
Yazar 
Bichindaritz, Isabelle. editor. (orcid)0000-0003-1712-490X López, Beatriz. editor. (orcid)0000-0001-9210-0073 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-96559-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I için kapak resmi
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
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)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63498-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II için kapak resmi
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
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)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63501-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Case-Based Reasoning Research and Development 32nd International Conference, ICCBR 2024, Merida, Mexico, July 1-4, 2024, Proceedings için kapak resmi
Case-Based Reasoning Research and Development 32nd International Conference, ICCBR 2024, Merida, Mexico, July 1-4, 2024, Proceedings
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)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63646-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings için kapak resmi
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
Yazar 
Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-61581-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Case-Based Reasoning Research and Development 24th International Conference, ICCBR 2016, Atlanta, GA, USA, October 31 - November 2, 2016, Proceedings için kapak resmi
Case-Based Reasoning Research and Development 24th International Conference, ICCBR 2016, Atlanta, GA, USA, October 31 - November 2, 2016, Proceedings
Yazar 
Goel, Ashok. editor. Díaz-Agudo, M Belén. editor. Roth-Berghofer, Thomas. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-47096-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings için kapak resmi
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Yazar 
Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66149-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II için kapak resmi
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
Yazar 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-78750-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Advances in Artificial Intelligence - IBERAMIA 2024 18th Ibero-American Conference on AI, Montevideo, Uruguay, November 13-15, 2024, Proceedings için kapak resmi
Advances in Artificial Intelligence - IBERAMIA 2024 18th Ibero-American Conference on AI, Montevideo, Uruguay, November 13-15, 2024, Proceedings
Yazar 
Correia, Luís. editor. (orcid)0000-0003-2439-1168 Rosá, Aiala. editor. Garijo, Francisco. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-80366-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Multi-Agent Systems 21st European Conference, EUMAS 2024, Dublin, Ireland, August 26-28, 2024, Proceedings için kapak resmi
Multi-Agent Systems 21st European Conference, EUMAS 2024, Dublin, Ireland, August 26-28, 2024, Proceedings
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
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-93930-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Electronic Voting 9th International Joint Conference, E-Vote-ID 2024, Tarragona, Spain, October 2-4, 2024, Proceedings için kapak resmi
Electronic Voting 9th International Joint Conference, E-Vote-ID 2024, Tarragona, Spain, October 2-4, 2024, Proceedings
Yazar 
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
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-72244-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I için kapak resmi
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
Yazar 
Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-78709-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç