Intelligent Equipment, Robots, and Vehicles: 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th International Conf, Han Qinglong, McLoone Sean, Peng Chen
Modeling and analyzing resource-sensitive actors: A tutorial introduction.- Manifestly Phased Communication via Shared Session Types.- Deconfined Global Types for Asynchronous Sessions.- Relating Functional and Imperative Session Types.- Safe Session-Based Asynchronous Coordination in Rust.- A Session Subtyping Tool.- Towards Probabilistic Session-Type Monitoring.- Java Typestate Checker.- Asynchronous Global Types in co-logic Programming.- Tuple-Based Coordination in Large-Scale Situated Systems.- A Theory of Automated Market Makers in DeFi.- ReGraDa: Reactive Graph Data.- The Structure of Concurrent Process Histories.- A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts.- A Practical Tool-Chain for the Development of Coordination Scenarios: Graphical Modeler, DSL, Code Generators and Automaton-Based Simulator.- Microservice Dynamic Architecture-Level Deployment Orchestration.- Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices.- ScaFi-Web: a Web-Based Application for Field-Based Coordination Programming.
Автор: Vo Nguyen-Son, Hoang Van-Phuc, Vien Quoc-Tuan Название: Industrial Networks and Intelligent Systems: 7th Eai International Conference, Iniscom 2021, Hanoi, Vietnam, April 22-23, 2021, Proceedings ISBN: 3030774236 ISBN-13(EAN): 9783030774233 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 7th EAI International Conference on Industrial Networks and Intelligent Systems, INISCOM 2021, held in Hanoi, Vietnam, in April 2021. The 39 full papers were selected from XX submissions and are organized thematically in tracks on telecommunications systems and networks;
Автор: Li Kang, Coombs Tim, He Jinghan Название: Recent Advances in Sustainable Energy and Intelligent Systems: 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7th ISBN: 9811672091 ISBN-13(EAN): 9789811672095 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The three-volume set CCIS 1467, CCIS 1468, and CCIS 1469 constitutes the thoroughly refereed proceedings of the 7th International Conference on Life System Modeling and Simulation, LSMS 2021, and of the 7th International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2021, held in Hangzhou, China, in October 2021.
Автор: Fei Minrui, Chen Luonan, Ma Shiwei Название: Intelligent Life System Modelling, Image Processing and Analysis: 7th International Conference on Life System Modeling and Simulation, LSMS 2021 and 7 ISBN: 9811672067 ISBN-13(EAN): 9789811672064 Издательство: Springer Рейтинг: Цена: 69870.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Medical Imaging and Analysis Using Intelligence Computing.- Biomedical signal processing, imaging, visualization and surgical robotics.- Computational method in taxonomy study and neural dynamics.- Intelligent medical apparatus, clinical applications and intelligent design of biochips.
Автор: Simian Dana, Stoica Laura Florentina Название: Modelling and Development of Intelligent Systems: 7th International Conference, Mdis 2020, Sibiu, Romania, October 22-24, 2020, Revised Selected Paper ISBN: 3030685268 ISBN-13(EAN): 9783030685263 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This volume constitutes the refereed proceedings of the 7th International Conference on Modelling and Development of Intelligent Systems, MDIS 2020, held in Sibiu, Romania, in October 2020. intelligent systems for decision support; mathematical models for development of intelligent systems;
Автор: Mazal Jan, Fagiolini Adriano, Vasik Petr Название: Modelling and Simulation for Autonomous Systems: 7th International Conference, Mesas 2020, Prague, Czech Republic, October 21, 2020, Revised Selected ISBN: 3030707393 ISBN-13(EAN): 9783030707392 Издательство: Springer Цена: 79190.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Modelling and Simulation for Autonomous Systems, MESAS 2020, held in Prague, Czech Republic, in October 2020.*The 19 full papers included in the volume were carefully reviewed and selected from 26 submissions.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
