Arama Sonuçlarını Sınırlandır
Yazar
Dil
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
4 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULT_TR
Yazdır
1. 
Mathematical Foundations of Software Engineering A Practical Guide to Essentials için kapak resmi
Mathematical Foundations of Software Engineering A Practical Guide to Essentials
Yazar 
O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası 
XX(520574.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26212-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Neuro Symbolic Reasoning and Learning için kapak resmi
Neuro Symbolic Reasoning and Learning
Yazar 
Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.
Yer Numarası 
XX(520609.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39179-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings için kapak resmi
Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
Yazar 
Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)
Yer Numarası 
XX(521209.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-44267-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings için kapak resmi
Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Yazar 
Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)
Yer Numarası 
XX(521245.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45784-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets