Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(240)
Wiley InterScience (Online service)
(15)
Spaccapietra, Stefano. editor.
(14)
Project Muse.
(10)
Gelbukh, Alexander. editor.
(5)
Dil
Yayın Yılı
-
Konu
Semantics.
(153)
Computer science.
(64)
Artificial intelligence.
(59)
Information storage and retrieval systems.
(37)
Database management.
(36)
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ç
542 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
265. 
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:
266. 
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:
267. 
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:
268. 
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:
269. 
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:
270. 
Computational Linguistics and Intelligent Text Processing 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part II için kapak resmi
Computational Linguistics and Intelligent Text Processing 19th International Conference, CICLing 2018, Hanoi, Vietnam, March 18-24, 2018, Revised Selected Papers, Part II
Yazar 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
XX(520829.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-23804-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
271. 
Computational Linguistics and Intelligent Text Processing 20th International Conference, CICLing 2019, La Rochelle, France, April 7-13, 2019, Revised Selected Papers, Part I 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 I
Yazar 
Gelbukh, Alexander. editor. SpringerLink (Online service)
Yer Numarası 
XX(520830.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-24337-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
272. 
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:
273. 
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:
274. 
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:
275. 
Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings için kapak resmi
Application and Theory of Petri Nets and Concurrency 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
Yazar 
Gomes, Luis. editor. Lorenz, Robert. editor. SpringerLink (Online service)
Yer Numarası 
XX(520949.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33620-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
276. 
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ç