Integrated Formal Methods: 16th International Conference, Ifm 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings, Dongol Brijesh, Troubitsyna Elena

Автор: Ter Beek Maurice H., Ničkovic Dejan
Название: Formal Methods for Industrial Critical Systems: 25th International Conference, Fmics 2020, Vienna, Austria, September 2-3, 2020, Proceedings
ISBN: 3030582973 ISBN-13(EAN): 9783030582975
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020.

Автор: Magnenat-Thalmann Nadia, Stephanidis Constantine, Wu Enhua
Название: Advances in Computer Graphics: 37th Computer Graphics International Conference, CGI 2020, Geneva, Switzerland, October 20-23, 2020, Proceedings
ISBN: 3030618633 ISBN-13(EAN): 9783030618636
Издательство: Springer
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 37th Computer Graphics International Conference, CGI 2020, held in Geneva, Switzerland, in October 2020. The conference was held virtually. The 43 full papers presented together with 3 short papers were carefully reviewed and selected from 189 submissions.

Автор: Wang Jiangtao, Chen Longbiao, Tang Lei
Название: Green, Pervasive, and Cloud Computing - Gpc 2020 Workshops: 15th International Conference, Gpc 2020, Xi`an, China, November 13-15, 2020, Proceedings
ISBN: 9813345314 ISBN-13(EAN): 9789813345317
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the Workshops from the 15th International Conference on Green, Pervasive, and Cloud Computing, GPC 2020, held in Xi`an, China, in November 2020.

Автор: Bertoni Guido Marco, Regazzoni Francesco
Название: Constructive Side-Channel Analysis and Secure Design: 11th International Workshop, Cosade 2020, Lugano, Switzerland, April 1-3, 2020, Revised Selected
ISBN: 3030687724 ISBN-13(EAN): 9783030687724
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the 11th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2020, held in Lugano, Switzerland, in April 2020. The workshop covers subjects from wide ranges such as secure design, side channel attacks and countermeasures, and architectures and protocols.

Автор: de Boer Frank, Cerone Antonio
Название: Software Engineering and Formal Methods: 18th International Conference, Sefm 2020, Amsterdam, the Netherlands, September 14-18, 2020, Proceedings
ISBN: 3030587673 ISBN-13(EAN): 9783030587673
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions.

Автор: Yang Xiaochun, Wang Chang-Dong, Islam MD Saiful
Название: Advanced Data Mining and Applications: 16th International Conference, Adma 2020, Foshan, China, November 12-14, 2020, Proceedings
ISBN: 3030653897 ISBN-13(EAN): 9783030653897
Издательство: Springer
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 16th International Conference on Advanced Data Mining and Applications, ADMA 2020, held in Foshan, China in November 2020.The 35 full papers presented together with 14 short papers papers were carefully reviewed and selected from 96 submissions.

Автор: Carvalho Gustavo, Stolz Volker
Название: Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, Sbmf 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
ISBN: 3030638812 ISBN-13(EAN): 9783030638818
Издательство: Springer
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020.

Автор: Valencia-Garcнa Rafael, Alcaraz-Marmol Gema, del Cioppo-Morstadt Javier
Название: Technologies and Innovation: 6th International Conference, Citi 2020, Guayaquil, Ecuador, November 30 - December 3, 2020, Proceedings
ISBN: 303062014X ISBN-13(EAN): 9783030620141
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 6th International Conference on Technologies and Innovation, CITI 2020, held in Guayaquil, Ecuador, in November-December 2020.The 16 full papers presented in this volume were carefully reviewed and selected from 41 submissions.

Автор: Rodriguez Morales Germania, Fonseca C. Efraнn R., Salgado Juan Pablo
Название: Information and Communication Technologies: 8th Conference, Ticec 2020, Guayaquil, Ecuador, November 25-27, 2020, Proceedings
ISBN: 3030628329 ISBN-13(EAN): 9783030628321
Издательство: Springer
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes refereed proceedings of the 8th Conference on Information and Communication Technologies of Ecuador, TICEC 2020, held in November 2020. The 36 full and 7 short papers were carefully reviewed and selected from 117 qualified submissions.