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
13. 
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:
14. 
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
Yazar 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası 
XX(520843.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday için kapak resmi
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Yazar 
Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Yer Numarası 
XX(520864.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-31476-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings için kapak resmi
Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Yazar 
Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Yer Numarası 
XX(520889.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Information for a Better World: Normality, Virtuality, Physicality, Inclusivity 18th International Conference, iConference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part I için kapak resmi
Information for a Better World: Normality, Virtuality, Physicality, Inclusivity 18th International Conference, iConference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part I
Yazar 
Sserwanga, Isaac. editor. Goulding, Anne. editor. Moulaison-Sandy, Heather. editor. Du, Jia Tina. editor. Soares, António Lucas. editor.
Yer Numarası 
XX(520895.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28035-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings için kapak resmi
Computational Methods in Systems Biology 21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings
Yazar 
Pang, Jun. editor. Niehren, Joachim. editor. SpringerLink (Online service)
Yer Numarası 
XX(521132.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42697-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
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:
20. 
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:
21. 
Terminology, Ontology and their Implementations için kapak resmi
Terminology, Ontology and their Implementations
Yazar 
Elkin, Peter L. editor. SpringerLink (Online service)
Yer Numarası 
XX(521842.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-11039-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Representation Learning for Natural Language Processing için kapak resmi
Representation Learning for Natural Language Processing
Yazar 
Liu, Zhiyuan. editor. Lin, Yankai. editor. Sun, Maosong. editor. SpringerLink (Online service)
Yer Numarası 
XX(520543.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-1600-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Computational Linguistics and Intelligent Text Processing 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part II için kapak resmi
Computational Linguistics and Intelligent Text Processing 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part II
Yazar 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
XX(520831.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-24340-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers için kapak resmi
Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers
Yazar 
Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)
Yer Numarası 
XX(520802.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-25803-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç