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ç
Eylem Seç
189 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
121. 
Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II için kapak resmi
Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
Yazar 
Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35129-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
122. 
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings için kapak resmi
Computer Information Systems and Industrial Management 22nd International Conference, CISIM 2023, Tokyo, Japan, September 22-24, 2023, Proceedings
Yazar 
Saeed, Khalid. editor. (orcid) Dvorský, Jiří. editor. Nishiuchi, Nobuyuki. editor. Fukumoto, Makoto. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-42823-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
123. 
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings için kapak resmi
Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
Yazar 
Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47963-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
124. 
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:
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. 
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:
128. 
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:
129. 
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:
130. 
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:
131. 
Formal Languages and Compilation için kapak resmi
Formal Languages and Compilation
Yazar 
Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-04879-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
132. 
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers için kapak resmi
Multi-Agent Systems 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers
Yazar 
Slavkovik, Marija. editor. (orcid)0000-0003-2548-8623 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-030-14174-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç