Результати пошуку
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [electronic resource] : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings / edited by Ahmed Bouajjani, David Monniaux. by Серія: Theoretical Computer Science and General Issues ; 10145
Видання: 1st ed. 2017.
Вид матеріалу:  Текст ; формат:
електронний ресурс
доступно в Інтернеті  ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2017
У: Springer eBooks
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
Virtual Reality and Augmented Reality [electronic resource] : 14th EuroVR International Conference, EuroVR 2017, Laval, France, December 12–14, 2017, Proceedings / edited by Jernej Barbic, Mirabelle D'Cruz, Marc Erich Latoschik, Mel Slater, Patrick Bourdot. by Серія: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10700
Видання: 1st ed. 2017.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2017
У: Springer eBooks
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
Information Technology for Management: New Ideas and Real Solutions [electronic resource] : 14th Conference, AITM 2016, and 11th Conference, ISM 2016, held as Part of FedCSIS, Gdansk, Poland, September 11-14, 2016, Revised Selected Papers / edited by Ewa Ziemba. by Серія: Lecture Notes in Business Information Processing ; 277
Видання: 1st ed. 2017.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2017
У: Springer eBooks
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Smart Objects and Technologies for Social Good [electronic resource] : Second International Conference, GOODTECHS 2016, Venice, Italy, November 30 – December 1, 2016, Proceedings / edited by Ombretta Gaggi, Pietro Manzoni, Claudio Palazzi, Armir Bujari, Johann M. Marquez-Barja. by Серія: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 195
Видання: 1st ed. 2017.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2017
У: Springer eBooks
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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 II / edited by Dirk Beyer, Marieke Huisman. by Серія: Theoretical Computer Science and General Issues ; 10806
Видання: 1st ed. 2018.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2018
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings / edited by Orna Kupferman, Pawel Sobocinski. by Серія: Lecture Notes in Computer Science ; 13992
Видання: 1st ed. 2023.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
У: Springer Nature eBook
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
E-Learning, E-Education, and Online Training [electronic resource] : Third International Conference, eLEOT 2016, Dublin, Ireland, August 31 – September 2, 2016, Revised Selected Papers / edited by Giovanni Vincenti, Alberto Bucciero, Markus Helfert, Matthias Glowatz. by Серія: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 180
Видання: 1st ed. 2017.
Вид матеріалу: Текст ; формат:
електронний ресурс
доступно в Інтернеті ; літературний жанр:
не белетристика Публікація: Cham : Springer International Publishing : Imprint: Springer, 2017
У: Springer eBooks
Електронне місцезнаходження та доступ:
Наявність: Немає доступних примірників.
|