Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Procee, Henglein Fritz, Shoham Sharon, Vizel Yakir
Автор: Stephanidis Constantine, Chen Jessie Y. C., Fragomeni Gino Название: Hci International 2020 - Late Breaking Papers: Virtual and Augmented Reality: 22nd Hci International Conference, Hcii 2020, Copenhagen, Denmark, July ISBN: 3030599892 ISBN-13(EAN): 9783030599898 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings before the conference took place.
Автор: Stephanidis Constantine, Antona Margherita Название: Hci International 2020 - Posters: 22nd International Conference, Hcii 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I ISBN: 3030507254 ISBN-13(EAN): 9783030507251 Издательство: Springer Цена: 93160.00 T Наличие на складе: Поставка под заказ. Описание: This book is intended for periodontal residents and practicing periodontists who wish to incorporate the principles of moderate sedation into daily practice. Comprehensive airway management and rescue skills are then documented in detail so that the patient may be properly managed in the event that the sedation progresses beyond the intended level.
Автор: Stephanidis Constantine, Antona Margherita Название: Hci International 2020 - Posters: 22nd International Conference, Hcii 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part III ISBN: 3030507319 ISBN-13(EAN): 9783030507312 Издательство: Springer Цена: 93160.00 T Наличие на складе: Поставка под заказ. Описание: This book is intended for periodontal residents and practicing periodontists who wish to incorporate the principles of moderate sedation into daily practice. Comprehensive airway management and rescue skills are then documented in detail so that the patient may be properly managed in the event that the sedation progresses beyond the intended level.
Автор: Stephanidis Constantine, Kurosu Masaaki, Degen Helmut Название: Hci International 2020 - Late Breaking Papers: Multimodality and Intelligence: 22nd Hci International Conference, Hcii 2020, Copenhagen, Denmark, July ISBN: 3030601161 ISBN-13(EAN): 9783030601164 Издательство: Springer Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings before the conference took place.
Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula Название: Hci International 2020 - Late Breaking Posters: 22nd International Conference, Hcii 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part I ISBN: 3030606996 ISBN-13(EAN): 9783030606992 Издательство: Springer Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings before the conference took place.
Автор: Stephanidis Constantine, Harris Don, Li Wen-Chin Название: Hci International 2020 - Late Breaking Papers: Cognition, Learning and Games: 22nd Hci International Conference, Hcii 2020, Copenhagen, Denmark, July ISBN: 3030601277 ISBN-13(EAN): 9783030601270 Издательство: Springer Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings before the conference took place.
Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula Название: Hci International 2020 - Late Breaking Posters: 22nd International Conference, Hcii 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, Part II ISBN: 303060702X ISBN-13(EAN): 9783030607029 Издательство: Springer Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings before the conference took place.
Автор: Stephanidis Constantine, Marcus Aaron, Rosenzweig Elizabeth Название: Hci International 2020 - Late Breaking Papers: User Experience Design and Case Studies: 22nd Hci International Conference, Hcii 2020, Copenhagen, Denm ISBN: 3030601137 ISBN-13(EAN): 9783030601133 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings before the conference took place.
Автор: Stephanidis Constantine, Antona Margherita, Gao Qin Название: Hci International 2020 - Late Breaking Papers: Universal Access and Inclusive Design: 22nd Hci International Conference, Hcii 2020, Copenhagen, Denmar ISBN: 303060148X ISBN-13(EAN): 9783030601485 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The conference was planned to take place in Copenhagen, Denmark, but had to change to a virtual conference mode due to the COVID-19 pandemic.From a total of 6326 submissions, a total of 1439 papers and 238 posters have been accepted for publication in the HCII 2020 proceedings before the conference took place.
Автор: Constantin Enea; Ruzica Piskac Название: Verification, Model Checking, and Abstract Interpretation ISBN: 3030112446 ISBN-13(EAN): 9783030112448 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание:
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.
The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
