Результати пошуку
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I / edited by Arie Gurfinkel, Vijay Ganesh. by Серія: Lecture Notes in Computer Science ; 14681
Видання: 1st ed. 2024.
Вид матеріалу:  Текст ; формат:
електронний ресурс
доступно в Інтернеті  ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III / edited by Arie Gurfinkel, Vijay Ganesh. by Серія: Lecture Notes in Computer Science ; 14683
Видання: 1st ed. 2024.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
Computer Aided Verification [electronic resource] : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II / edited by Arie Gurfinkel, Vijay Ganesh. by Серія: Lecture Notes in Computer Science ; 14682
Видання: 1st ed. 2024.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
Gravity, Positioning and Reference Frames [electronic resource] : Proceedings of the IAG Symposia - GGHS2022: Gravity, Geoid, and Height Systems 2022, Austin, TX, United States of America, September 12 – 14, 2022; IAG Commission 4: Positioning and Applications, Potsdam, Germany, September 5 – 8, 2022; REFAG2022: Reference Frames for Applications in Geosciences, Thessaloniki, Greece, October 17 – 20, 2022 / edited by Jeffrey T. Freymueller, Laura Sánchez. by Серія: International Association of Geodesy Symposia ; 156
Видання: 1st ed. 2024.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Robust Argumentation Machines [electronic resource] : First International Conference, RATIO 2024, Bielefeld, Germany, June 5–7, 2024, Proceedings / edited by Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein. by Серія: Lecture Notes in Artificial Intelligence ; 14638
Видання: 1st ed. 2024.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|