NASA Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings, Dutle Aaron, Moscato Mariano M., Titolo Laura

Автор: Lee Ritchie, Jha Susmit, Mavridou Anastasia
Название: NASA Formal Methods: 12th International Symposium, Nfm 2020, Moffett Field, Ca, Usa, May 11-15, 2020, Proceedings
ISBN: 3030557537 ISBN-13(EAN): 9783030557539
Издательство: Springer
Рейтинг:
Цена: 68930.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions.

Автор: Fogli Daniela, Tetteroo Daniel, Barricelli Barbara Rita
Название: End-User Development: 8th International Symposium, Is-Eud 2021, Virtual Event, July 6-8, 2021, Proceedings
ISBN: 3030798399 ISBN-13(EAN): 9783030798390
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 8th International Conference on End-User Development, IS-EUD 2021, held in July 2021.

Автор: Elmoataz Abderrahim, Fadili Jalal, Quйau Yvain
Название: Scale Space and Variational Methods in Computer Vision: 8th International Conference, Ssvm 2021, Virtual Event, May 16-20, 2021, Proceedings
ISBN: 3030755487 ISBN-13(EAN): 9783030755485
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 8th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2021, which took place during May 16-20, 2021.

Автор: Laarman Alfons, Sokolova Ana
Название: Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings
ISBN: 3030846288 ISBN-13(EAN): 9783030846282
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 submissions.

Автор: Lubiw Anna, Salavatipour Mohammad
Название: Algorithms and Data Structures: 17th International Symposium, Wads 2021, Virtual Event, August 9-11, 2021, Proceedings
ISBN: 3030835073 ISBN-13(EAN): 9783030835071
Издательство: Springer
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures, WADS 2021, held in virtually in August 2021. They present original research on the theory, design and application of algorithms and data structures.

Автор: Yamashita Shigeru, Yokoyama Tetsuo
Название: Reversible Computation: 13th International Conference, Rc 2021, Virtual Event, July 7-8, 2021, Proceedings
ISBN: 3030798364 ISBN-13(EAN): 9783030798369
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions.

Автор: Taibi Davide, Lenarduzzi Valentina, Kilamo Terhi
Название: Open Source Systems: 17th Ifip Wg 2.13 International Conference, OSS 2021, Virtual Event, May 12-13, 2021, Proceedings
ISBN: 303075250X ISBN-13(EAN): 9783030752507
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 17th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2021, held virtually in May 2021.The 4 full papers and 3 short papers presented were carefully reviewed and selected from 23 submissions.

Автор: Karlapalem Kamal, Cheng Hong, Ramakrishnan Naren
Название: Advances in Knowledge Discovery and Data Mining: 25th Pacific-Asia Conference, Pakdd 2021, Virtual Event, May 11-14, 2021, Proceedings, Part III
ISBN: 3030757676 ISBN-13(EAN): 9783030757670
Издательство: Springer
Цена: 79190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 3-volume set LNAI 12712-12714 constitutes the proceedings of the 25th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2021, which was held during May 11-14, 2021.The 157 papers included in the proceedings were carefully reviewed and selected from a total of 628 submissions.

Автор: Paterson Kenneth G.
Название: Topics in Cryptology - Ct-Rsa 2021: Cryptographers` Track at the Rsa Conference 2021, Virtual Event, May 17-20, 2021, Proceedings
ISBN: 303075538X ISBN-13(EAN): 9783030755386
Издательство: Springer
Цена: 111790.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2021, CT-RSA 2021, held in San Francisco, CA, USA, in May 2021.*

The 27 full papers presented in this volume were carefully reviewed and selected from 100 submissions.

CT-RSA is the track devoted to scientific papers on cryptography, public-key to symmetric-key cryptography and from crypto-graphic protocols to primitives and their implementation security.

*The conference was held virtually.

Автор: Faber Wolfgang, Friedrich Gerhard, Gebser Martin
Название: Logics in Artificial Intelligence: 17th European Conference, Jelia 2021, Virtual Event, May 17-20, 2021, Proceedings
ISBN: 3030757749 ISBN-13(EAN): 9783030757748
Издательство: Springer
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The accepted papers span a number of areas within Logics in AI, including: argumentation;

Автор: Chen Bo, Huang Xinyi
Название: Applied Cryptography in Computer and Communications: First Eai International Conference, Ac3 2021, Virtual Event, May 15-16, 2021, Proceedings
ISBN: 3030808505 ISBN-13(EAN): 9783030808501
Издательство: Springer
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed post-conference proceedings of the First International Conference on Applied Cryptography in Computer and Communications, AC3 2021, and the First International Workshop on Security for Internet of Things (IoT).

Автор: Calamoneri Tiziana, Corт Federico
Название: Algorithms and Complexity: 12th International Conference, Ciac 2021, Virtual Event, May 10-12, 2021, Proceedings
ISBN: 3030752410 ISBN-13(EAN): 9783030752415
Издательство: Springer
Цена: 69870.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed conference proceedings of the 12th International Conference on Algorithms and Complexity, CIAC 2019, held as a virtual event, in May 2021. The 28 full papers presented together with one invited lecture and 2 two abstracts of invited lectures were carefully reviewed and selected from 78 submissions.