Результати пошуку
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Digital Health Transformation, Smart Ageing, and Managing Disability [electronic resource] : 20th International Conference, ICOST 2023, Wonju, South Korea, July 7–8, 2023, Proceedings / edited by Kim Jongbae, Mounir Mokhtari, Hamdi Aloulou, Bessam Abdulrazak, Lee Seungbok. by Серія: Lecture Notes in Computer Science ; 14237
Видання: 1st ed. 2023.
Вид матеріалу:  Текст ; формат:
електронний ресурс
доступно в Інтернеті  ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
Principles of Security and Trust [electronic resource] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / edited by Flemming Nielson, David Sands. by Серія: Security and Cryptology ; 11426
Видання: 1st ed. 2019.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2019
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
npj Imaging [electronic resource] / edited by Tim Witney. by
Вид матеріалу:  Серіальне видання; формат:
доступно в Інтернеті ; тип серіального видання:
періодичне видання Публікація: London : Nature Publishing Group UK : Imprint: Nature Portfolio.
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I / edited by Tomáš Vojnar, Lijun Zhang. by Серія: Theoretical Computer Science and General Issues ; 11427
Видання: 1st ed. 2019.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2019
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. by Серія: Theoretical Computer Science and General Issues ; 11429
Видання: 1st ed. 2019.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2019
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I / edited by Dirk Beyer, Marieke Huisman. by Серія: Theoretical Computer Science and General Issues ; 10805
Видання: 1st ed. 2018.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2018
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings / edited by Reiner Hähnle, Wil van der Aalst. by Серія: Theoretical Computer Science and General Issues ; 11424
Видання: 1st ed. 2019.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2019
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|