Computer Aided Verification: 33rd International Conference, Cav 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II, Silva Alexandra, Leino K. Rustan M.
Автор: 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.
Автор: 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).
Автор: Gadducci Fabio, Kehrer Timo Название: Graph Transformation: 14th International Conference, Icgt 2021, Held as Part of Staf 2021, Virtual Event, June 24-25, 2021, Proceedings ISBN: 3030789454 ISBN-13(EAN): 9783030789459 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: Dillig Isil, Tasiran Serdar Название: Computer Aided Verification: 31st International Conference, Cav 2019, New York City, Ny, Usa, July 15-18, 2019, Proceedings, Part I ISBN: 3030255395 ISBN-13(EAN): 9783030255398 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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;
Model Checking.- Software Verification.- Stochastic Systems.- Synthesis.
Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula Название: Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part I ISBN: 303078634X ISBN-13(EAN): 9783030786342 Издательство: Springer Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Автор: American Society of Mechanical Engineers Название: 2014 Proceedings of the ASME 33rd International Conference on Ocean, Offshore and Arctic Engineering (OMAE2014): Volume 1 Parts A & B ISBN: 0791845397 ISBN-13(EAN): 9780791845394 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 402870.00 T Наличие на складе: Невозможна поставка. Описание: Presents the proceedings of the OMAE Conference, featuring topics including offshore technology, structures, safety and reliability, materials technology, pipeline and riser technology, and ocean space utilization. This is a printed collection of 113 full-length, peer-reviewed technical papers. Topics include Offshore Technology.
Автор: American Society of Mechanical Engineers Название: 2014 Proceedings of the ASME 33rd International Conference on Ocean, Offshore and Arctic Engineering (OMAE2014): Volume 3 ISBN: 0791845419 ISBN-13(EAN): 9780791845417 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 157080.00 T Наличие на складе: Невозможна поставка. Описание: Presents the proceedings of the OMAE Conference, featuring topics including offshore technology, structures, safety and reliability, materials technology, pipeline and riser technology, and ocean space utilization. This is a printed collection of 33 full-length, peer-reviewed technical papers. Topics include Offshore Geotechnics.
Автор: American Society of Mechanical Engineers Название: 2014 Proceedings of the ASME 33rd International Conference on Ocean, Offshore and Arctic Engineering (OMAE2014): Volume 10 ISBN: 0791845567 ISBN-13(EAN): 9780791845561 Издательство: Mare Nostrum (Eurospan) Цена: 190350.00 T Наличие на складе: Невозможна поставка. Описание: Proceedings of the OMAE Conference featuring topics including offshore technology, structures, safety and reliability, materials technology, pipeline and riser technology, and ocean space utilization.Printed collection on 53 full-length, peer-reviewed technical papers. Topics include: Polar and Arctic Science and Technology.
Автор: La Rosa Marcello, Sadiq Shazia, Teniente Ernest Название: Advanced Information Systems Engineering: 33rd International Conference, Caise 2021, Melbourne, Vic, Australia, June 28 - July 2, 2021, Proceedings ISBN: 3030793818 ISBN-13(EAN): 9783030793814 Издательство: Springer Цена: 102480.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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;
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
