Algorithms and Data Structures: 17th International Symposium, Wads 2021, Virtual Event, August 9-11, 2021, Proceedings, Lubiw Anna, Salavatipour Mohammad
Автор: 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.
This book constitutes the refereed proceedings of the 16th International Symposium on Algorithms and Data Structures, WADS, 2019, held in Edmonton, AB, Canada, in August 2019. The 42 full papers presented together with 3 invited lectures, we carefully reviewed and selected from a total of 88 submissions. They present original research on the theory and application of algorithms and data structures in many areas, including combinatorics, computational geometry, databases, graphics, and parallel and distributed computing.
Автор: 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.
Автор: Bentahar Jamal, Awan Irfan, Younas Muhammad Название: Mobile Web and Intelligent Information Systems: 17th International Conference, Mobiwis 2021, Virtual Event, August 23-25, 2021, Proceedings ISBN: 3030831639 ISBN-13(EAN): 9783030831639 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 17th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2021, held as a virtual event, in August 2021. The 15 full papers presented in this book were carefully reviewed and selected from 40 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.
Автор: Dutle Aaron, Moscato Mariano M., Titolo Laura Название: NASA Formal Methods: 13th International Symposium, Nfm 2021, Virtual Event, May 24-28, 2021, Proceedings ISBN: 3030763838 ISBN-13(EAN): 9783030763831 Издательство: Springer Цена: 79190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.
Автор: 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.
Автор: 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 I ISBN: 3030757617 ISBN-13(EAN): 9783030757618 Издательство: Springer Цена: 93160.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.
