Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(128)
Voronkov, Andrei. editor.
(11)
Fages, François. editor.
(5)
Rossi, Francesca. editor.
(5)
Hanus, Michael. editor.
(3)
Dil
English
(189)
Yayın Yılı
-
Konu
Artificial intelligence.
(62)
Computer science.
(56)
Logic design.
(37)
Software engineering.
(33)
Computer logic.
(23)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
189 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
121. 
Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers için kapak resmi
Digital Transformation in Education and Artificial Intelligence Application First International Conference, MoStart 2023, Mostar, Bosnia and Herzegovina, April 18-20, 2023, Revised Selected Papers
Yazar 
Vasić, Daniel. editor. Kundid Vasić, Mirela. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36833-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
122. 
Symbolic approaches to modeling and analysis of biological systems için kapak resmi
Symbolic approaches to modeling and analysis of biological systems
Yazar 
Lhoussaine, Cédric, editor. Rémy, Elisabeth, editor.
Yer Numarası 
QH324.2 .S96 2023
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394229086
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
123. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-45784-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
124. 
AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings için kapak resmi
AIxIA 2023 - Advances in Artificial Intelligence XXIInd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2023, Rome, Italy, November 6-9, 2023, Proceedings
Yazar 
Basili, Roberto. editor. Lembo, Domenico. editor. Limongelli, Carla. editor. Orlandini, Andrea. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47546-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
125. 
Electronics in advanced research industries : industry 4.0 to industry 5.0 advances için kapak resmi
Electronics in advanced research industries : industry 4.0 to industry 5.0 advances
Yazar 
Massaro, Alessandro, 1974- author.
Yer Numarası 
T59.6 .M37 2022
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716907
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
126. 
Mathematics in computational science and engineering için kapak resmi
Mathematics in computational science and engineering
Yazar 
Bhardwaj, Ramakant, editor.
Yer Numarası 
QA76.9 .M35
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119777557
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
127. 
Data structure and algorithms using C++ : a practical implementation için kapak resmi
Data structure and algorithms using C++ : a practical implementation
Yazar 
Mohanty, Sachi Nandan, editor. Tripathy, Pabitra Kumar, editor.
Yer Numarası 
QA76.73 .C153 D38 2021
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119752059
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
128. 
Introduction to fuzzy logic için kapak resmi
Introduction to fuzzy logic
Yazar 
Peckol, James K., author. John Wiley & Sons, publisher.
Yer Numarası 
QA9.64 .P43 2021
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
129. 
DNA- and RNA-based computing systems için kapak resmi
DNA- and RNA-based computing systems
Yazar 
Katz, Evgeny, editor.
Yer Numarası 
QA76.887 .D53 2021
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9783527825424
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
130. 
Introduction to programming with C++ for engineers için kapak resmi
Introduction to programming with C++ for engineers
Yazar 
Cyganek, Bogusław, author.
Yer Numarası 
QA76.73 .C153 C94 2021
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119431152
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
131. 
The Electrical Engineering Handbook - Six Volume Set için kapak resmi
The Electrical Engineering Handbook - Six Volume Set
Yazar 
Dorf, Richard C., editor. Taylor and Francis.
Yer Numarası 
R857 .B54
Elektronik Erişim 
Click here to view.
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
132. 
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings için kapak resmi
Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings
Yazar 
Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 Leone, Nicola. editor. Manna, Marco. editor. (orcid)0000-0003-3323-9328 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-19570-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Go to:Search Results
|
Top of Page
|
Search Facets