Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(406)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(10)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(9)
Martín-Vide, Carlos. editor.
(7)
Legay, Axel. editor.
(6)
Dil
Yayın Yılı
-
Konu
Computer science.
(284)
Machine theory.
(254)
Formal Languages and Automata Theory.
(249)
Software engineering.
(193)
Artificial intelligence.
(184)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
434 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings için kapak resmi
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings
Yazar 
Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-95908-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings için kapak resmi
Combinatorics on Words 15th International Conference, WORDS 2025, Nancy, France, June 30 - July 4, 2025, Proceedings
Yazar 
Gamard, Guilhem. editor. Leroy, Julien. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97548-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings için kapak resmi
Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings
Yazar 
Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97100-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career için kapak resmi
Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career
Yazar 
Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-97274-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings için kapak resmi
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings
Yazar 
Bouraoui, Zied. editor. Vesic, Srdjan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45608-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings için kapak resmi
Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
Yazar 
Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-49342-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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:
8. 
Active Object Languages: Current Research Trends için kapak resmi
Active Object Languages: Current Research Trends
Yazar 
de Boer, Frank. editor. Damiani, Ferruccio. editor. (orcid)0000-0001-8109-1706 Hähnle, Reiner. editor. Broch Johnsen, Einar. editor. (orcid)0000-0001-5382-3949 Kamburjan, Eduard. editor. (orcid)0000-0002-0996-2543
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-51060-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
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:
10. 
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:
11. 
Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings için kapak resmi
Developments in Language Theory 28th International Conference, DLT 2024, Göttingen, Germany, August 12-16, 2024, Proceedings
Yazar 
Day, Joel D. editor. (orcid)0000-0002-3660-7766 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-66159-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets