Результати пошуку
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
AI in Drug Discovery [electronic resource] : First International Workshop, AIDD 2024, Held in Conjunction with ICANN 2024, Lugano, Switzerland, September 19, 2024, Proceedings / edited by Djork-Arné Clevert, Michael Wand, Kristína Malinovská, Jürgen Schmidhuber, Igor V. Tetko. by Серія: Lecture Notes in Computer Science ; 14894
Видання: 1st ed. 2025.
Вид матеріалу:  Текст ; формат:
електронний ресурс
доступно в Інтернеті  ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2025
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
Formal Methods [electronic resource] : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part II / edited by Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi. by Серія: Lecture Notes in Computer Science ; 14934
Видання: 1st ed. 2025.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2025
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
Formal Methods [electronic resource] : 26th International Symposium, FM 2024, Milan, Italy, September 9–13, 2024, Proceedings, Part I / edited by André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi. by Серія: Lecture Notes in Computer Science ; 14933
Видання: 1st ed. 2025.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2025
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|