Computer-Aided Reasoning, Matt Kaufmann; Panagiotis Manolios; J Strother Moo

Автор: Adriaan J.M. Beulens; Hans-J?rgen Sebastian
Название: Optimization-Based Computer-Aided Modelling and Design
ISBN: 3540551352 ISBN-13(EAN): 9783540551355
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The proceedings of a conference reflecting the current state of research in areas related to the field of knowledge-based decision support systems. The contributors describe the practical applications of such systems to control, engineering, industry, design and economics.

Автор: Natasha Sharygina; Helmut Veith
Название: Computer Aided Verification
ISBN: 3642397980 ISBN-13(EAN): 9783642397981
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013.