Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, Silva Alexandra, Leino K. Rustan M.
Описание: 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.
Описание: This book constitutes the refereed proceedings of the 14th International Conference on Graph Transformation, ICGT 2021, which took place virtually during June 24-25, 2021.The 14 full papers and 2 tool papers presented in this book were carefully reviewed and selected from 26 submissions. and tool presentations.
Описание: This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The papers were organized in the following topical sections: Part I: automata and timed systems;
Описание: This book constitutes the proceedings of the 33rd International Conference on Advanced Information Systems Engineering, CAiSE 2021, which was held online during June 28-July 2, 2021. The papers included in these proceedings focus on intelligent information systems and deal with novel approaches to IS engineering;
Описание: The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.
Описание: 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.
Описание: The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.
Описание: 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).
Описание: The three-volume set CCIS 1419, CCIS 1420, and CCIS 1421 contains the extended abstracts of the posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru