Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(64)
Gelbukh, Alexander. editor.
(4)
Blumenstein, Michael. editor.
(3)
Cho, Sung-Bae. editor.
(3)
Kamiya, Tohru. editor.
(3)
Dil
Konu
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ç
67 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Explainable Artificial Intelligence First World Conference, xAI 2023, Lisbon, Portugal, July 26-28, 2023, Proceedings, Part II için kapak resmi
Explainable Artificial Intelligence First World Conference, xAI 2023, Lisbon, Portugal, July 26-28, 2023, Proceedings, Part II
Yazar 
Longo, Luca. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(520713.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-44067-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Yazar 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası 
XX(521139.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings için kapak resmi
Quantitative Evaluation of Systems 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Yazar 
Jansen, Nils. editor. Tribastone, Mirco. editor. SpringerLink (Online service)
Yer Numarası 
XX(521142.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43835-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VII için kapak resmi
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part VII
Yazar 
Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Yer Numarası 
XX(521165.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-44195-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part I için kapak resmi
Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part I
Yazar 
Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Yer Numarası 
XX(521167.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-44207-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings için kapak resmi
Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings
Yazar 
Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)
Yer Numarası 
XX(521192.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40875-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings için kapak resmi
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Yazar 
Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)
Yer Numarası 
XX(521340.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47963-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings için kapak resmi
Programming Languages and Systems 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023, Proceedings
Yazar 
Hur, Chung-Kil. editor. SpringerLink (Online service)
Yer Numarası 
XX(521341.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-8311-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Man-Machine Speech Communication 17th National Conference, NCMMSC 2022, Hefei, China, December 15-18, 2022, Proceedings için kapak resmi
Man-Machine Speech Communication 17th National Conference, NCMMSC 2022, Hefei, China, December 15-18, 2022, Proceedings
Yazar 
Zhenhua, Ling. editor. Jianqing, Gao. editor. Kai, Yu. editor. Jia, Jia. editor. SpringerLink (Online service)
Yer Numarası 
XX(520242.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-2401-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas için kapak resmi
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Yazar 
Farmer, William M. author. SpringerLink (Online service)
Yer Numarası 
XX(520259.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-21112-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven? için kapak resmi
Ontology of Communication Agent-Based Data-Driven or Sign-Based Substitution-Driven?
Yazar 
Hausser, Roland. author. SpringerLink (Online service)
Yer Numarası 
XX(520261.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-22739-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Searchable Encryption From Concepts to Systems için kapak resmi
Searchable Encryption From Concepts to Systems
Yazar 
Ren, Kui. author. Wang, Cong. author. SpringerLink (Online service)
Yer Numarası 
XX(520262.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-21377-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç