Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7(495) 980-12-10
  пн-пт: 10-18 сб,вс: 11-18
  shop@logobook.ru
   
    Поиск книг                    Поиск по списку ISBN Расширенный поиск    
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Хиты | |
 

Rigorous State-Based Methods: 8th International Conference, Abz 2021, Ulm, Germany, June 9-11, 2021, Proceedings, Raschke Alexander, Mйry Dominique


Варианты приобретения
Цена: 8384.00р.
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: Есть  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Raschke Alexander, Mйry Dominique
Название:  Rigorous State-Based Methods: 8th International Conference, Abz 2021, Ulm, Germany, June 9-11, 2021, Proceedings
ISBN: 9783030775421
Издательство: Springer
Классификация:




ISBN-10: 3030775429
Обложка/Формат: Paperback
Страницы: 167
Вес: 0.26 кг.
Дата издания: 22.07.2021
Язык: English
Размер: 23.39 x 15.60 x 0.97 cm
Ссылка на Издательство: Link
Поставляется из: Германии
Описание: This book constitutes the proceedings of the 8th International Conference on Rigorous State-Based Methods, ABZ 2021, which was planned to take place in Ulm, Germany, during June 6-11, 2021. They deal with state-based and machine-based formal methods, mainly Abstract State Machines (ASM), Alloy, B, TLA+, VDM, and Z.


Rigorous State-Based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings

Автор: Raschke Alexander, Mйry Dominique, Houdek Frank
Название: Rigorous State-Based Methods: 7th International Conference, Abz 2020, Ulm, Germany, May 27-29, 2020, Proceedings
ISBN: 3030480763 ISBN-13(EAN): 9783030480769
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The conference was cancelled due to the COVID-19 pandemic.The 12 full papers and 9 short papers were carefully reviewed and selected from 61 submissions. They are presented in this volume together with 2 invited papers, 6 PhD-Symposium-contributions, as well as the case study and 6 accepted papers outlining solutions to it.

Algorithms for Computational Biology: 8th International Conference, Alcob 2021, Missoula, Mt, Usa, June 7-11, 2021, Proceedings

Автор: Martнn-Vide Carlos, Vega-Rodrнguez Miguel A., Wheeler Travis
Название: Algorithms for Computational Biology: 8th International Conference, Alcob 2021, Missoula, Mt, Usa, June 7-11, 2021, Proceedings
ISBN: 3030744310 ISBN-13(EAN): 9783030744311
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 8th International Conference on Algorithms for Computational Biology, AlCoB 2020, was planned to be held in Missoula, MT, USA in June 2021.

Smart Modelling for Engineering Systems: Proceedings of the International Conference on Computational Methods in Continuum Mechanics (CMCM 2021), Volu

Автор: Favorskaya Margarita N., Favorskaya Alena V., Petrov Igor B.
Название: Smart Modelling for Engineering Systems: Proceedings of the International Conference on Computational Methods in Continuum Mechanics (CMCM 2021), Volu
ISBN: 9813347082 ISBN-13(EAN): 9789813347083
Издательство: Springer
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is a collection of research papers selected for presentation at the International Conference on Smart Computational Methods in Continuum Mechanics 2021, organized by Moscow Institute of Physics and Technology and the Institute for Computer Aided Design of Russian Academy of Sciences.

Smart Modelling for Engineering Systems: Proceedings of the International Conference on Computational Methods in Continuum Mechanics (CMCM 2021), Volu

Автор: Favorskaya Margarita N., Favorskaya Alena V., Petrov Igor B.
Название: Smart Modelling for Engineering Systems: Proceedings of the International Conference on Computational Methods in Continuum Mechanics (CMCM 2021), Volu
ISBN: 9813346183 ISBN-13(EAN): 9789813346185
Издательство: Springer
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is a collection of research papers selected for presentation at the International Conference on Smart Computational Methods in Continuum Mechanics 2021, organized by Moscow Institute of Physics and Technology and the Institute for Computer Aided Design of Russian Academy of Sciences.

Agents and Multi-Agent Systems: Technologies and Applications 2021: Proceedings of 15th Kes International Conference, Kes-Amsta 2021, June 2021

Автор: Jezic G., Chen-Burger J., Kusek M.
Название: Agents and Multi-Agent Systems: Technologies and Applications 2021: Proceedings of 15th Kes International Conference, Kes-Amsta 2021, June 2021
ISBN: 9811629935 ISBN-13(EAN): 9789811629938
Издательство: Springer
Цена: 27950.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The respective papers cover topics such as software agents, multi-agent systems, agent modeling, mobile and cloud computing, big data analysis, business intelligence, artificial intelligence, social systems, computer embedded systems, and nature-inspired manufacturing, all of which contribute to the modern digital economy.

Intelligent Tutoring Systems: 17th International Conference, Its 2021, Virtual Event, June 7-11, 2021, Proceedings

Автор: Cristea Alexandra I., Troussas Christos
Название: Intelligent Tutoring Systems: 17th International Conference, Its 2021, Virtual Event, June 7-11, 2021, Proceedings
ISBN: 3030804208 ISBN-13(EAN): 9783030804206
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Theory and Reviews Difficulties and disparities to distance learning during Covid-19 period for deaf students - A proposed method to eradicate inequalities.- Wide-scale Automatic Analysis of 20 Years of ITS Research.- A Brief Survey of Deep Learning Approaches for Learning Analytics on MOOCs.- Models DiKT: Dichotomous Knowledge Tracing.- CompPrehension - Model-Based Intelligent Tutoring System on Comprehension Level.- Learning Logical Reasoning Using an Intelligent Tutoring System: Improving the Student Model with a data driven approach.- Checking Method for Fake News to Avoid the Twitter Effect.- Comparing Bayesian Knowledge Tracing Model Against Naпve Mastery Model.- Exploring Bayesian Deep Learning for Urgent Instructor Intervention Need in MOOC Forums.- Concept Maps Creating and Visualising Cognitive Maps of Knowledge Diagnosis During the Processing of Learning Digital Footprint.- Integrating Knowledge in Collaborative Concept Mapping: Cases in an Online Class Setting.- An evaluation of a meaningful discovery learning support system for supporting E-book user in pair learning.- Semantic Comparison of Concept Maps for Structuring Learning Activities.- Student Prediction Next week dropout prediction in MOOCs: weekly assessment of time and learning patterns.- Internet of Things (IoT) Based Support System for Diabetic Learners in Saudi Arabian High Schools.- Training Temporal and NLP Features via Extremely Randomised Trees for Educational Level Classification.- Analysis of Learners' Comments: an Automated Intervention Priority Model for MOOC.- Early Predictor for Student Success Based on Behavioural and Demographical Indicators.- Predicting Certification in MOOCs based on Students' Weekly Activities.- Learner Behaviour Recognizing Novice Learners' Modeling Behaviors.- Novice, and Intermediate Performance: Exploring the Relationship Between Clinical Reasoning Behaviors and Diagnostic Performance.- Agent-based Simulation of the Classroom Environment to Gauge the Effect of Inattentive or Disruptive Students.- Investigating Clues for Estimating ICAP States based on Learners' Behavioural Data during Collaborative Learning.- Behaviour Analytics - A Moodle Plug-in to Visualize Students' Learning Patterns.- Toward an ITS to enhance novice clinician situational awareness based on expert perception behaviors in clinical reasoning.- Feedback and Personalisation Flexible Program Alignment to Deliver Data-Driven Feedback to Novice Programmers.- Interaction of human cognitive mechanisms and "computational intelligence" in systems that support teaching mathematics.- Learning Path Construction Using Reinforcement Learning and Bloom's Taxonomy.- Customizing Feedback using Semantic Clusters.- Voice Privacy with Smart Digital Assistants in Educational Settings.- An Intelligent Tutoring System for Psychomotor Development.- Assessment Automated Assessment of Learning Objectives in Programming Assignments.- Ex-Ante and Ex-Post Feature Evaluation of Online Courses Using the Kano Model.- Automated Summary Scoring with ReaderBench.- Automated Paraphrase Quality Assessment using Recurrent Neural Networks and Language Models.- Groups, Teams, Social, Crowd and Communities XGBoost & Deep Neural Network comparison: The case of teams' performance.- Using Graph Embedding to Monitor Communities of Learners.- The Influence of Five Personality Traits on the Interactive Model of Online Group Formation.- New Horizons on Online Tutoring System Inspired by Teaching Strategies and Learning Styles.- A Comparative Evaluation of the Effect of Social Comparison, Competition, and Social Learning in Persuasive Technology on Learning.- Sovereignty by personalization of information search: collective wisdom influences my knowledge.- Games and Gamification Confusion detection within a 3D adventure game.- Representation of generalized human cognitive abilities in a sophisticated student leaderboard.- Learning and Gamification Dashboards: a Mixed-Method Study

High Performance Computing: 36th International Conference, Isc High Performance 2021, Virtual Event, June 24 - July 2, 2021, Proceedings

Автор: 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
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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;

Scale Space and Variational Methods in Computer Vision: 8th International Conference, Ssvm 2021, Virtual Event, May 16-20, 2021, Proceedings

Автор: Elmoataz Abderrahim, Fadili Jalal, Quйau Yvain
Название: Scale Space and Variational Methods in Computer Vision: 8th International Conference, Ssvm 2021, Virtual Event, May 16-20, 2021, Proceedings
ISBN: 3030755487 ISBN-13(EAN): 9783030755485
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Innovations for Community Services: 21st International Conference, I4cs 2021, Bamberg, Germany, May 26-28, 2021, Proceedings

Автор: Krieger Udo R., Eichler Gerald, Erfurth Christian
Название: Innovations for Community Services: 21st International Conference, I4cs 2021, Bamberg, Germany, May 26-28, 2021, Proceedings
ISBN: 3030750035 ISBN-13(EAN): 9783030750039
Издательство: Springer
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 21st International Conference on Innovations for Community Services, I4CS 2021, held in Bamberg, Germany, in May 2021 as a hybrid event. The 14 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 43 submissions.

Computational Methods in Systems Biology: 18th International Conference, Cmsb 2020, Konstanz, Germany, September 23-25, 2020, Proceedings

Автор: Abate Alessandro, Petrov Tatjana, Wolf Verena
Название: Computational Methods in Systems Biology: 18th International Conference, Cmsb 2020, Konstanz, Germany, September 23-25, 2020, Proceedings
ISBN: 3030603261 ISBN-13(EAN): 9783030603267
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.*The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions.


ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
   В Контакте     В Контакте Мед  Мобильная версия