Hybrid Systems: Computation and Control, Rupak Majumdar; Paulo Tabuada

Автор: Cliff Jones; Zhiming Liu; Jim Woodcock
Название: Formal Methods and Hybrid Real-Time Systems
ISBN: 354075220X ISBN-13(EAN): 9783540752202
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Includes 25 refereed papers that cover a broad spectrum of subjects, from foundational and theoretical topics to algorithms and systems issues and to applications, comprising formal methods, systems modelling, hybrid and real-time systems, specification and verification, as well as interval temporal logic.

Автор: Emilio Corchado; Xindong Wu; Erkki Oja; Bruno Baru
Название: Hybrid Artificial Intelligence Systems
ISBN: 3642023185 ISBN-13(EAN): 9783642023187
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 4th International Workshop on Hybrid Artificial Intelligence Systems, HAIS 2009, held in Salamanca, Spain, in June 2009. This work covers topics including agents and multi agents systems, HAIS applications, cluster analysis, data mining and knowledge discovery and evolutionary computation.

Автор: Kimon P. Valavanis
Название: Applications of Intelligent Control to Engineering Systems
ISBN: 9048130174 ISBN-13(EAN): 9789048130177
Издательство: Springer
Рейтинг:
Цена: 26122.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book reflects the work of top scientists in the field of intelligent control and its applications, prognostics, diagnostics, condition based maintenance and unmanned systems. It includes results, and presents how theory is applied to solve real problems.

Автор: Cinquemani
Название: Hybrid Systems Biology
ISBN: 3319471503 ISBN-13(EAN): 9783319471501
Издательство: Springer
Рейтинг:
Цена: 5870.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems Biology, HSB 2016, held in Grenoble, France, in October 2016. The 11 full papers presented in this book were carefully reviewed and selected from 26 submissions.