End-User Development: 8th International Symposium, Is-Eud 2021, Virtual Event, July 6-8, 2021, Proceedings, Fogli Daniela, Tetteroo Daniel, Barricelli Barbara Rita

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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.

Автор: Thomson Robert, Hussain Muhammad Nihal, Dancy Christopher
Название: Social, Cultural, and Behavioral Modeling: 14th International Conference, Sbp-Brims 2021, Virtual Event, July 6-9, 2021, Proceedings
ISBN: 3030803864 ISBN-13(EAN): 9783030803865
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 14th International Conference on Social, Cultural, and Behavioral Modeling, SBP-BRiMS 2021, which was held online during July 6-9, 2021.The 32 full papers presented in this volume were carefully reviewed and selected from 56 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.

Автор: 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.

Автор: de Mol Liesbeth, Weiermann Andreas, Manea Florin
Название: Connecting with Computability: 17th Conference on Computability in Europe, Cie 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings
ISBN: 3030800482 ISBN-13(EAN): 9783030800482
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021.

Автор: 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.

Автор: Stephanidis Constantine, Antona Margherita, Ntoa Stavroula
Название: Hci International 2021 - Posters: 23rd Hci International Conference, Hcii 2021, Virtual Event, July 24-29, 2021, Proceedings, Part III
ISBN: 3030786447 ISBN-13(EAN): 9783030786441
Издательство: Springer
Цена: 46570.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.

Автор: Chomphuwiset Phatthanaphong, Kim Junmo, Pawara Pornntiwa
Название: Multi-Disciplinary Trends in Artificial Intelligence: 14th International Conference, Miwai 2021, Virtual Event, July 2-3, 2021, Proceedings
ISBN: 3030802523 ISBN-13(EAN): 9783030802523
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 3D Point Cloud Upsampling and Colorization using GAN.- Learning Behavioral Rules from Multi-Agent Simulations for Optimizing Hospital Processes.- An Open-World Novelty Generator for Authoring Reinforcement Learning Environment of Standardized Toolkits.- Book Cover and Content Similarity Retrieval using Computer Vision and NLP Techniques.- Fast Classification Learning with Neural Networks and Conceptors for Speech Recognition and Car Driving Maneuvers.- Feature Group Importance for Automated Essay Scoring.- Feature Extraction Efficient for Face Verification Based on Residual Network Architecture.- Acquiring Input Features from Stock Market Summaries: A NLG Perspective.- A Comparative of A New Hybrid based on Neural Networks and SARIMA Models for Time Series Forecasting.- Cartpole Problem with PDL and GP using Multi-Objective Fitness Functions Differing in A Priori Knowledge.- Learning Robot Arm Controls using Augmented Random Search in Simulated Environments.- An Analytical Evaluation of a Deep Learning Model to Detect Network Intrusion.- Application of Machine Learning Techniques to Predict Breast Cancer Survival.- Thai Handwritten Recognition on BEST2019 Datasets using Deep Learning.- Comparing of Multi-class Text Classification Methods for Automatic Ratings of Consumer Reviews.- Designing An Algorithm for Scheduling Tasks for Multiagent Systems.

Автор: Chamberlain Bradford L., Varbanescu Ana-Lucia, Ltaief Hatem
Название: High Performance Computing: 36th International Conference, Isc High Performance 2021, Virtual Event, June 24 - July 2, 2021, Proceedings
ISBN: 3030787125 ISBN-13(EAN): 9783030787127
Издательство: Springer
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 36th International Conference on High Performance Computing, ISC High Performance 2021, held virtually in June/July 2021.The 24 full papers presented were carefully reviewed and selected from 74 submissions. performance modeling, evaluation, and analysis;