Arama Sonuçlarını Sınırlandır
Yazar
Goertzel, Ben. editor.
(2)
Kaye, Alan David. editor.
(2)
Potapov, Alexey. editor.
(2)
Urman, Richard D. editor.
(2)
Agarwal, Sonali. editor.
(1)
Dil
Yayın Yılı
-
Konu
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ç
52 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday için kapak resmi
Verification, Induction, Termination Analysis Festschrift for Christoph Walther on the Occasion of His 60th Birthday
Yazar 
Siegler, Simon. editor. Wasser, Nathan. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/978-3-642-17172-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques için kapak resmi
Data Mining and Knowledge Discovery Approaches Based on Rule Induction Techniques
Yazar 
Triantaphyllou, Evangelos. editor. Felici, Giovanni. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
http://dx.doi.org/10.1007/0-387-34296-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
R-Calculus, IV: Propositional Logic için kapak resmi
R-Calculus, IV: Propositional Logic
Yazar 
Li, Wei. author. Sui, Yuefei. author. SpringerLink (Online service)
Yer Numarası 
XX(520383.1)
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-8633-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Computer Vision, Imaging and Computer Graphics Theory and Applications 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papers için kapak resmi
Computer Vision, Imaging and Computer Graphics Theory and Applications 16th International Joint Conference, VISIGRAPP 2021, Virtual Event, February 8-10, 2021, Revised Selected Papers
Yazar 
de Sousa, A. Augusto. editor. Havran, Vlastimil. editor. Paljic, Alexis. editor. Peck, Tabitha. editor. Hurter, Christophe. editor.
Yer Numarası 
XX(520203.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-25477-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Mathematics for Computer Scientists A Practice-Oriented Approach için kapak resmi
Mathematics for Computer Scientists A Practice-Oriented Approach
Yazar 
Hartmann, Peter. author. SpringerLink (Online service)
Yer Numarası 
XX(520344.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-40423-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings için kapak resmi
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
Yazar 
Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Yer Numarası 
XX(520682.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36336-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings için kapak resmi
Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings
Yazar 
Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)
Yer Numarası 
XX(520796.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-19907-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
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:
9. 
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:
10. 
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I için kapak resmi
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part I
Yazar 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Yer Numarası 
XX(520851.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30442-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
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:
12. 
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings için kapak resmi
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Yazar 
Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
XX(520880.1)
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-39784-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç