Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
7 sonuç bulundu Arama sonuçlarına abone ol
0000000DEFAULT_TR
Yazdır
1. 
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:
2. 
Algorithms for Constructing Computably Enumerable Sets için kapak resmi
Algorithms for Constructing Computably Enumerable Sets
Yazar 
Supowit, Kenneth J. author. SpringerLink (Online service)
Yer Numarası 
XX(520324.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26904-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Konrad Zuse's Early Computers The Quest for the Computer in Germany için kapak resmi
Konrad Zuse's Early Computers The Quest for the Computer in Germany
Yazar 
Rojas, Raúl. author. SpringerLink (Online service)
Yer Numarası 
XX(520704.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39876-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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:
5. 
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings için kapak resmi
AIxIA 2022 - Advances in Artificial Intelligence XXIst International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings
Yazar 
Dovier, Agostino. editor. Montanari, Angelo. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Yer Numarası 
XX(520898.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27181-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Higher Education Computer Science A Manual of Practical Approaches için kapak resmi
Higher Education Computer Science A Manual of Practical Approaches
Yazar 
Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)
Yer Numarası 
XX(520416.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29386-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers için kapak resmi
Computational Intelligence in Data Science 6th IFIP TC 12 International Conference, ICCIDS 2023, Chennai, India, February 23-25, 2023, Revised Selected Papers
Yazar 
Chandran K R, Sarath. editor. N, Sujaudeen. editor. A, Beulah. editor. Hamead H, Shahul. editor. SpringerLink (Online service)
Yer Numarası 
XX(520518.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-38296-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya: