Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(432)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X
(7)
Paszynski, Maciej. editor.
(7)
Dil
English
(489)
Yayın Yılı
-
Konu
Computer Modelling.
(337)
Computer simulation.
(337)
Artificial intelligence.
(136)
Software engineering.
(111)
Computer science.
(95)
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ç
489 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings için kapak resmi
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Yazar 
Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-40953-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Exscalate4CoV High-Performance Computing for COVID Drug Discovery için kapak resmi
Exscalate4CoV High-Performance Computing for COVID Drug Discovery
Yazar 
Coletti, Silvano. editor. Bernardi, Gabriella. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-30691-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Attachment Ventilation Theory için kapak resmi
Attachment Ventilation Theory
Yazar 
Li, Angui. author. (orcid)0000-0002-9461-3793 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-9259-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Understanding Behaviour of Distributed Systems Using mCRL2 için kapak resmi
Understanding Behaviour of Distributed Systems Using mCRL2
Yazar 
Atif, Muhammad. author. Groote, Jan Friso. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-23008-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023) için kapak resmi
3rd International Conference on Thermal Issues in Machine Tools (ICTIMT2023)
Yazar 
Ihlenfeldt, Steffen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34486-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Computational Modeling of Multilevel Organisational Learning and Its Control Using Self-modeling Network Models için kapak resmi
Computational Modeling of Multilevel Organisational Learning and Its Control Using Self-modeling Network Models
Yazar 
Canbaloğlu, Gülay. editor. Treur, Jan. editor. Wiewiora, Anna. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-28735-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
Artificial Intelligence for Healthy Longevity için kapak resmi
Artificial Intelligence for Healthy Longevity
Yazar 
Moskalev, Alexey. editor. (orcid)0000-0002-3248-1633 Stambler, Ilia. editor. Zhavoronkov, Alex. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-35176-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Computational Methods for Biological Models için kapak resmi
Computational Methods for Biological Models
Yazar 
Singh, Harendra. editor. Dutta, Hemen. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-5001-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Machine Vision and Augmented Intelligence Select Proceedings of MAI 2022 için kapak resmi
Machine Vision and Augmented Intelligence Select Proceedings of MAI 2022
Yazar 
Kumar Singh, Koushlendra. editor. Bajpai, Manish Kumar. editor. Sheikh Akbari, Akbar. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-0189-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-29386-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Proceedings of Asia Pacific Computer Systems Conference 2021 APCS 2021 için kapak resmi
Proceedings of Asia Pacific Computer Systems Conference 2021 APCS 2021
Yazar 
Gokhale, Anu. editor. Grant, Emanuel. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-19-7904-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
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ı 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-27481-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç