Implementing Automated Road Transport Systems in Urban Settings, Alessandrini, Adriano
Автор: Hans-Otto G?nther; Kap Hwan Kim Название: Container Terminals and Automated Transport Systems ISBN: 3642061028 ISBN-13(EAN): 9783642061028 Издательство: Springer Рейтинг: Цена: 25853.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Since container ships and port terminals involve a huge capital investment and significant daily operating costs, it is of crucial importance to efficiently utilize the internal resources of container terminals and transportation systems.
Автор: Malik Ghallab Название: Automated Planning, ISBN: 1558608567 ISBN-13(EAN): 9781558608566 Издательство: Elsevier Science Рейтинг: Цена: 11452.00 р. Наличие на складе: Поставка под заказ.
Описание: Automated planning technology plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. This book covers both the theory and practice of automated planning. It is useful for researchers, professionals, and graduate students.
Описание: rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.
Автор: G?nter Ullrich; Paul A. Kachur Название: Automated Guided Vehicle Systems ISBN: 3662521334 ISBN-13(EAN): 9783662521335 Издательство: Springer Рейтинг: Цена: 14365.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The History of Automated Guided Vehicle Systems.- Modern Areas of Application.- Technological Standards.- The Fourth Era.- Interdisciplinary Design of Automated guided Vehicle systems (AGVS).
Описание: Features the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
Автор: Nils Kemme Название: Design and Operation of Automated Container Storage Systems ISBN: 3790829285 ISBN-13(EAN): 9783790829280 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book investigates whether the operational performance of container terminals is influenced by the design of these storage systems and to what extent the performance is affected by the terminal`s framework conditions, and discusses the strategies applied for container stacking and crane scheduling.
Автор: ter Beek Название: Critical Systems: Formal Methods and Automated Verification ISBN: 3319459422 ISBN-13(EAN): 9783319459424 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.
The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Автор: Laure Petrucci; Cristina Seceleanu; Ana Cavalcanti Название: Critical Systems: Formal Methods and Automated Verification ISBN: 331967112X ISBN-13(EAN): 9783319671123 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Automated verification techniques.- Testing and scheduling.- Formal Methods for mobile and autonomous robots.- Modeling and analysis techniques.
Описание: This edited volume, for sea ice analysts and researchers, provides a comprehensive overview of the science behind automated prediction systems, focusing on sea ice analysis and forecasting. It reviews the fundamental concepts involved in these systems, and provides a discussion of current sea ice information services and their expected evolution.
Описание: Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.
Автор: ZhiWu Li; MengChu Zhou Название: Deadlock Resolution in Automated Manufacturing Systems ISBN: 1849968306 ISBN-13(EAN): 9781849968300 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Aimed at control, computer, electrical, mechanical and industrial engineers, researchers and scientists, this book offers new methods to avoid bottlenecks and interruptions in manufacturing. Real-world examples of flexible manufacturing systems are included.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
