Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(437)
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
(437)
Yayın Yılı
-
2016
(166)
2017
(136)
2025
(68)
2024
(67)
Konu
Computer simulation.
(311)
Computer Modelling.
(303)
Artificial intelligence.
(143)
Software engineering.
(109)
Computer networks .
(107)
Materyal Türü
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
437 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
37. 
Mathematical Modeling and Simulation of Systems Selected Papers of 19th International Conference, MODS, November 11-13, 2024, Chernihiv, Ukraine için kapak resmi
Mathematical Modeling and Simulation of Systems Selected Papers of 19th International Conference, MODS, November 11-13, 2024, Chernihiv, Ukraine
Yazar 
Kazymyr, Volodymyr. editor. Morozov, Anatoliy. editor. Palagin, Alexander. editor. Shkarlet, Serhiy. editor. Stoianov, Nikolai. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90735-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
38. 
Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life için kapak resmi
Modeling Complex Processes Through Nature-Analogous Methods Artificial Intelligence and Artificial Life
Yazar 
Klüver, Christina. author. Klüver, Jürgen. author. Schmidt, Jörn. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-658-46510-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
39. 
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90643-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
40. 
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90660-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
41. 
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
Yazar 
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90653-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
42. 
Plant Model Greenlab for Botany and Agronomy için kapak resmi
Plant Model Greenlab for Botany and Agronomy
Yazar 
Reffye, Philippe De. editor. Kang, Mengzhen. editor. Jaeger, Marc. editor. (orcid)0000-0003-1742-6748 Zhang, Baogui. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-7541-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
43. 
Advances in Computer Science and Ubiquitous Computing Proceedings of CSA 2024 için kapak resmi
Advances in Computer Science and Ubiquitous Computing Proceedings of CSA 2024
Yazar 
Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Camacho, David. editor. (orcid)0000-0002-5051-3475 Gritzalis, Stefanos. editor. (orcid)0000-0002-8037-2191 Park, James J. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-5693-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
44. 
Applications of Computational Tools in Drug Design and Development için kapak resmi
Applications of Computational Tools in Drug Design and Development
Yazar 
Rao G., S.N. Koteswara. editor. Alavala, Rajasekhar Reddy. editor. (orcid)0000-0002-2610-8111 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4154-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
45. 
Engineering Mathematics with MATLAB® and Simulink® için kapak resmi
Engineering Mathematics with MATLAB® and Simulink®
Yazar 
Asadi, Farzin. author. (orcid)0000-0002-5928-0807 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85244-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
46. 
Control Systems Benchmarks için kapak resmi
Control Systems Benchmarks
Yazar 
Maestre, José M. editor. (orcid)0000-0002-4968-6811 Ocampo-Martinez, Carlos. editor. (orcid)0000-0001-9251-6044 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-76312-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
47. 
Dynamic Models of Energy, Robotic, and Biological Systems Systems, Design, and Validation için kapak resmi
Dynamic Models of Energy, Robotic, and Biological Systems Systems, Design, and Validation
Yazar 
Rubio, Jose de Jesus. author. (orcid)0000-0002-2005-5979 Zacarias, Alejandro. author. (orcid)0000-0002-6427-4911 Pacheco, Jaime. author. (orcid)0000-0002-2377-1639 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85438-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
48. 
Information-Measuring Systems Theory and Application için kapak resmi
Information-Measuring Systems Theory and Application
Yazar 
Babak, Vitalii. author. Babak, Serhii. author. Eremenko, Volodymyr. author. Kuts, Yurii. author. Zaporozhets, Artur. author. (orcid)0000-0002-0704-4116
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-89406-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç