Unifying Themes in Complex Systems IV, Ali A. Minai; Yaneer Bar-Yam

Автор: Andrew Butterfield
Название: Unifying Theories of Programming
ISBN: 3642145205 ISBN-13(EAN): 9783642145209
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held at Trinity College, Dublin, Ireland, in September 2008. These papers reaffirm the significance of the ongoing UTP project and encourage efforts to advance it by providing a focus for the sharing of results.

Автор: Leonard Barolli; Olivier Terzo
Название: Complex, Intelligent, and Software Intensive Systems
ISBN: 3319615653 ISBN-13(EAN): 9783319615653
Издательство: Springer
Рейтинг:
Цена: 48913.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book gathers the proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2017), held on June 28-June 30, 2017 in Torino, Italy.Software Intensive Systems are characterized by their intensive interaction with other systems, sensors, actuators, devices, and users.

Автор: Syamal K. Dana; Prodyot K. Roy; J?rgen Kurths
Название: Complex Dynamics in Physiological Systems: From Heart to Brain
ISBN: 9048180791 ISBN-13(EAN): 9789048180790
Издательство: Springer
Рейтинг:
Цена: 28732.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Luiz A.O. Rocha; Sylvie Lorente; Adrian Bejan
Название: Constructal Law and the Unifying Principle of Design
ISBN: 1489998403 ISBN-13(EAN): 9781489998408
Издательство: Springer
Рейтинг:
Цена: 19589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: In this book, experts from biology, physics and the social sciences examine the unification of all design phenomena in nature and apply this knowledge to designs in engineering, such as vascularization for self-healing and self-cooling materials for aircraft.

Автор: Zhiming Liu; Jim Woodcock; Huibiao Zhu
Название: Unifying Theories of Programming and Formal Engineering Methods
ISBN: 3642397204 ISBN-13(EAN): 9783642397202
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers.

Автор: Ondrej Majer; Ahti-Veikko Pietarinen; Tero Tulenhe
Название: Games: Unifying Logic, Language, and Philosophy
ISBN: 9048181151 ISBN-13(EAN): 9789048181155
Издательство: Springer
Рейтинг:
Цена: 27251.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This unique volume presents mathematical game theory as an interface between logic and philosophy. It provides a discussion of various aspects of this interaction, covers new technical results and examines the philosophical insights that these have yielded.