Результати пошуку
|
|
|
|
|
Human Aspects of IT for the Aged Population. Applications, Services and Contexts [electronic resource] : Third International Conference, ITAP 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II / edited by Jia Zhou, Gavriel Salvendy. by Серія: Information Systems and Applications, incl. Internet/Web, and HCI ; 10298
Видання: 1st ed. 2017.
Вид матеріалу:  Текст ; формат:
електронний ресурс
доступно в Інтернеті  ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2017
У: Springer eBooks
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I / edited by Jan Friso Groote, Kim Guldstrand Larsen. by Серія: Theoretical Computer Science and General Issues ; 12651
Видання: 1st ed. 2021.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2021
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I / edited by Axel Legay, Tiziana Margaria. by Серія: Theoretical Computer Science and General Issues ; 10205
Видання: 1st ed. 2017.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017
У: Springer eBooks
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part I / edited by Sriram Sankaranarayanan, Natasha Sharygina. by Серія: Lecture Notes in Computer Science ; 13993
Видання: 1st ed. 2023.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II / edited by Jan Friso Groote, Kim Guldstrand Larsen. by Серія: Theoretical Computer Science and General Issues ; 12652
Видання: 1st ed. 2021.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2021
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
New Trends in Image Analysis and Processing – ICIAP 2017 [electronic resource] : ICIAP International Workshops, WBICV, SSPandBE, 3AS, RGBD, NIVAR, IWBAAS, and MADiMa 2017, Catania, Italy, September 11-15, 2017, Revised Selected Papers / edited by Sebastiano Battiato, Giovanni Maria Farinella, Marco Leo, Giovanni Gallo. by Серія: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10590
Видання: 1st ed. 2017.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2017
У: Springer eBooks
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Neural Computing for Advanced Applications [electronic resource] : First International Conference, NCAA 2020, Shenzhen, China, July 3–5, 2020, Proceedings / edited by Haijun Zhang, Zhao Zhang, Zhou Wu, Tianyong Hao. by Серія: Communications in Computer and Information Science ; 1265
Видання: 1st ed. 2020.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Singapore : Springer Singapore : Imprint: Springer, 2020
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
Evolutionary Multi-Criterion Optimization [electronic resource] : 9th International Conference, EMO 2017, Münster, Germany, March 19-22, 2017, Proceedings / edited by Heike Trautmann, Günter Rudolph, Kathrin Klamroth, Oliver Schütze, Margaret Wiecek, Yaochu Jin, Christian Grimme. by Серія: Theoretical Computer Science and General Issues ; 10173
Видання: 1st ed. 2017.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2017
У: Springer eBooks
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|