Результати пошуку
|
|
|
|
|
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
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
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
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Automated Reasoning [electronic resource] : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I / edited by Christoph Benzmüller, Marijn J.H. Heule, Renate A. Schmidt. by Серія: Lecture Notes in Artificial Intelligence ; 14739
Видання: 1st ed. 2024.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Digital Health and Wireless Solutions [electronic resource] : First Nordic Conference, NCDHWS 2024, Oulu, Finland, May 7–8, 2024, Proceedings, Part I / edited by Mariella Särestöniemi, Pantea Keikhosrokiani, Daljeet Singh, Erkki Harjula, Aleksei Tiulpin, Miia Jansson, Minna Isomursu, Mark van Gils, Simo Saarakkala, Jarmo Reponen. by
- Särestöniemi, Mariella [editor.]
- Keikhosrokiani, Pantea [editor.]
- Singh, Daljeet [editor.]
- Harjula, Erkki [editor.]
- Tiulpin, Aleksei [editor.]
- Jansson, Miia [editor.]
- Isomursu, Minna [editor.]
- van Gils, Mark [editor.]
- Saarakkala, Simo [editor.]
- Reponen, Jarmo [editor.]
- SpringerLink (Online service)
Серія: Communications in Computer and Information Science ; 2083
Видання: 1st ed. 2024.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
Programming Languages and Systems [electronic resource] : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / edited by Stephanie Weirich. by Серія: Lecture Notes in Computer Science ; 14577
Видання: 1st ed. 2024.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
Ernst Denert Award for Software Engineering 2022 [electronic resource] : Practice Meets Foundations / edited by Eric Bodden, Michael Felderer, Wilhelm Hasselbring, Paula Herber, Heiko Koziolek, Carola Lilienthal, Florian Matthes, Lutz Prechelt, Bernhard Rumpe, Ina Schaefer. by
- Bodden, Eric [editor.]
- Felderer, Michael [editor.]
- Hasselbring, Wilhelm [editor.]
- Herber, Paula [editor.]
- Koziolek, Heiko [editor.]
- Lilienthal, Carola [editor.]
- Matthes, Florian [editor.]
- Prechelt, Lutz [editor.]
- Rumpe, Bernhard [editor.]
- Schaefer, Ina [editor.]
- SpringerLink (Online service)
Видання: 1st ed. 2024.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2024
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|