Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(62)
Martín-Vide, Carlos. editor.
(4)
Hameurlain, Abdelkader. editor.
(3)
Baratgin, Jean. editor. (orcid)0000-0001-9566-486X
(2)
Baxter, James. editor. (orcid)0000-0001-6083-9607
(2)
Dil
Yayın Yılı
-
Konu
Formal Languages and Automata Theory.
(62)
Artificial intelligence.
(38)
Computer science.
(28)
Natural Language Processing (NLP).
(22)
Natural language processing (Computer science).
(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ç
63 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers için kapak resmi
Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
Yazar 
Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-52183-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings için kapak resmi
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
Yazar 
Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55630-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings için kapak resmi
Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings
Yazar 
Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-55245-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
The French School of Programming için kapak resmi
The French School of Programming
Yazar 
Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34518-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement için kapak resmi
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
Yazar 
Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-67114-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings için kapak resmi
Foundations of Information and Knowledge Systems 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings
Yazar 
Meier, Arne. editor. (orcid)0000-0002-8061-5376 Ortiz, Magdalena. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-56940-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II için kapak resmi
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part II
Yazar 
Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66673-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I için kapak resmi
The Practice of Formal Methods Essays in Honour of Cliff Jones, Part I
Yazar 
Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66676-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings için kapak resmi
Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings
Yazar 
Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-71261-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings için kapak resmi
AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
Yazar 
Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-70169-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings için kapak resmi
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
Yazar 
Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-60134-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Semantic Keyword-Based Search on Structured Data Sources COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised Selected Papers için kapak resmi
Semantic Keyword-Based Search on Structured Data Sources COST Action IC1302 Second International KEYSTONE Conference, IKC 2016, Cluj-Napoca, Romania, September 8-9, 2016, Revised Selected Papers
Yazar 
Calì, Andrea. editor. Gorgan, Dorian. editor. Ugarte, Martín. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-319-53640-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç