Computer Science and Engineering in Health Services: 5th EAI International Conference, COMPSE 2021, Virtual Event, July 29, 2021, Proceedings, Marmolejo-Saucedo Josй Antonio, Vasant Pandian, Litvinchev Igor
Автор: 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).
Автор: Brooks Eva Irene, Brooks Anthony, Sylla Cristina Название: Design, Learning, and Innovation: 5th Eai International Conference, DLI 2020, Virtual Event, December 10-11, 2020, Proceedings ISBN: 3030784479 ISBN-13(EAN): 9783030784478 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed post-conference proceedings the 5th EAI International Conference on DLI 2020, Design, Leaning and Innovation, which took place in December 2020.
Автор: Silva Alexandra, Leino K. Rustan M. Название: Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II ISBN: 3030816877 ISBN-13(EAN): 9783030816872 Издательство: Springer Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.
Автор: Silva Alexandra, Leino K. Rustan M. Название: Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I ISBN: 3030816842 ISBN-13(EAN): 9783030816841 Издательство: Springer Цена: 37260.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.
Автор: Perego Paolo, Taherinejad Nima, Caon Maurizio Название: Wearables in Healthcare: Second Eai International Conference, Healthwear 2020, Virtual Event, December 10-11, 2020, Proceedings ISBN: 3030760650 ISBN-13(EAN): 9783030760656 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The next section focus on IoT and smart sensors on the use of wearable devices and systems for Internet of Medical Things application. This track focuses on the intrinsic multidisciplinary of wearable devices, and includes works on methodology and design aspect of wearable research.