Formal Methods for Industrial Critical Systems: 26th International Conference, Fmics 2021, Paris, France, August 24-26, 2021, Proceedings, Lluch Lafuente Alberto, Mavridou Anastasia
Автор: Dou Zhicheng, Miao Qiguang, Lu Wei Название: Information Retrieval: 26th China Conference, Ccir 2020, Xi`an, China, August 14-16, 2020, Proceedings ISBN: 3030567249 ISBN-13(EAN): 9783030567248 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 26th China Conference on Information Retrieval, CCIR 2020, held in Xi`an, China, in August 2020.*The 12 full papers presented were carefully reviewed and selected from 102 submissions.
Автор: Larsen Kim Guldstrand, Willemse Tim Название: Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings ISBN: 3030270076 ISBN-13(EAN): 9783030270070 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions.
The three-volume set LNCS 12681-12683 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2021, held in Taipei, Taiwan, in April 2021.
The total of 156 papers presented in this three-volume set was carefully reviewed and selected from 490 submissions.
The topic areas for the selected papers include information retrieval, search and recommendation techniques; RDF, knowledge graphs, semantic web, and knowledge management; and spatial, temporal, sequence, and streaming data management, while the dominant keywords are network, recommendation, graph, learning, and model. These topic areas and keywords shed the light on the direction where the research in DASFAA is moving towards.
Due to the Corona pandemic this event was held virtually.
The three-volume set LNCS 12681-12683 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2021, held in Taipei, Taiwan, in April 2021.
The total of 156 papers presented in this three-volume set was carefully reviewed and selected from 490 submissions.
The topic areas for the selected papers include information retrieval, search and recommendation techniques; RDF, knowledge graphs, semantic web, and knowledge management; and spatial, temporal, sequence, and streaming data management, while the dominant keywords are network, recommendation, graph, learning, and model. These topic areas and keywords shed the light on the direction where the research in DASFAA is moving towards.
Due to the Corona pandemic this event was held virtually.
The three-volume set LNCS 12681-12683 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2021, held in Taipei, Taiwan, in April 2021.
The total of 156 papers presented in this three-volume set was carefully reviewed and selected from 490 submissions.
The topic areas for the selected papers include information retrieval, search and recommendation techniques; RDF, knowledge graphs, semantic web, and knowledge management; and spatial, temporal, sequence, and streaming data management, while the dominant keywords are network, recommendation, graph, learning, and model. These topic areas and keywords shed the light on the direction where the research in DASFAA is moving towards.
Due to the Corona pandemic this event was held virtually.
Автор: Dima Catalin, Shirmohammadi Mahsa Название: Formal Modeling and Analysis of Timed Systems: 19th International Conference, Formats 2021, Paris, France, August 24-26, 2021, Proceedings ISBN: 3030850366 ISBN-13(EAN): 9783030850364 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 19th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2021, held in Paris, France, in August 2021. The 8 full papers that were carefully reviewed and selected from 19 submissions are presented in this volume with 2 invited talks.
Автор: Abate Alessandro, Marin Andrea Название: Quantitative Evaluation of Systems: 18th International Conference, Qest 2021, Paris, France, August 23-27, 2021, Proceedings ISBN: 3030851710 ISBN-13(EAN): 9783030851712 Издательство: Springer Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions.
Название: Print Proceedings of the ASME 2017 26th Annual Conference on Information Storage and Processing Systems (ISPS2017): Volume 1 ISBN: 0791858103 ISBN-13(EAN): 9780791858103 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 111810.00 T Наличие на складе: Невозможна поставка. Описание: A printed collection of 49 full-length, peer-reviewed technical papers. Topics include: Tribology, Head/Media Interface; Actuator/Suspension and Sensors; Servo Control Technology; Shock and Flow Induced Vibrations; Spindle Motor and Acoustics; Micro/Nano Technology; Mechatronics, Robotics, and Automation; and Imaging/printing Technologies and Consumer Electronics.
Автор: Kim Donghyun, Uma R. N., Cai Zhipeng Название: Computing and Combinatorics: 26th International Conference, Cocoon 2020, Atlanta, Ga, Usa, August 29-31, 2020, Proceedings ISBN: 3030581497 ISBN-13(EAN): 9783030581497 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 26th International Conference on Computing and Combinatorics, COCOON 2020, held in Atlanta, GA, USA, in August 2020. Due to the COVID-19 pandemic COCOON 2020 was organized as a fully online conference.
Автор: Augusto Adriano, Gill Asif, Nurcan Selmin Название: Enterprise, Business-Process and Information Systems Modeling: 22nd International Conference, Bpmds 2021, and 26th International Conference, Emmsad 20 ISBN: 3030791858 ISBN-13(EAN): 9783030791858 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Improving event data quality in coherence with business requirements (BPMDS 2021).- From Network Traffic Data to Business Activities: A Process Mining Driven Conceptualization.- A NLP-oriented Methodology to Enhance Event Log Quality .- Enhancing the value of data in processes improvement (BPMDS 2021).- Detecting and Understanding Branching Frequency Changes in Process Models.- Detecting the "Split-Cases" Workaround in Event Logs.- "Towards a Content-Based Process Mining Approach in Personal Services.- Event stream and predictive monitoring (BPMDS 2021).- Generating Reliable Process Event Streams and Time Series Data based on Neural Networks.- Inter-Case Properties and Process Variant Considerations in Time Prediction: A Conceptual Framework.- Towards Reliable Business Process Simulation: A Framework to Integrate ERP Systems.- Modeling languages and reference models (BPMDS 2021).- Supporting Data-Aware Processes with MERODE.- Evaluating Perceived Usefulness and Ease of Use of CMMN and DCR.- Subject-Oriented Reference Model for Virtual Factory Operations Commissioning.- Enterprise Modeling (EMMSAD 2021).- Participatory Modeling From a Stakeholder Perspective: On the Influence of Collaboration and Revisions On Psychological Ownership and Perceived Model Quality.- Reference Service Model for Federated Identity Management.- Traceability from the Business Value Model to the Enterprise Architecture: A Case Study.- Design Thinking and Enterprise Modeling: An Investigation of Eight Enterprise Architecture Management Projects.- Handling Models and Modeling Methods (EMMSAD 2021).- Formalizing Conceptual Modeling Methods with MetaMorph.- Situation-specific Business Model Development Methods for Mobile App Developers.- Searching for Class Models.- From Mental Models to Machine Learning Models via Conceptual Models.- Threat and Evidence Modeling (EMMSAD 2021).- Towards Measuring Test Coverage of Attack Simulations.- Murder, She Modeled: Modeling to Support Crimino-Forensic Processes. - Model-Driven Engineering & Applications (EMMSAD 2021).- Model-Driven Engineering: A State of A airs and Research Agenda.- FloWare: an Approach for IoT Support and Application Development.- A Model-based Application for the Effective and Efficient Management of Data associated with Retina-Macula Pathology.- API Management Maturity of Low-Code Development Platforms.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
