Automated Data Analysis Using Excel, Second Edition, Bissett

Автор: 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.

Автор: Sungdeok Cha; Jin-Young Choi; Moonzoo Kim; Mahesh
Название: Automated Technology for Verification and Analysis
ISBN: 354088386X ISBN-13(EAN): 9783540883869
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. This book presents the papers that are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, and theory.

Автор: Zhiming Liu; Anders P. Ravn
Название: Automated Technology for Verification and Analysis
ISBN: 3642047602 ISBN-13(EAN): 9783642047602
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully reviewed and selected from 74 research papers and 10 tool papers submissions.

Автор: Artho
Название: Automated Technology for Verification and Analysis
ISBN: 3319465198 ISBN-13(EAN): 9783319465197
Издательство: Springer
Рейтинг:
Цена: 9224.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. Markov models, chains, and decision processes;

Автор: Kedar Namjoshi; Tomohiro Yoneda; Teruo Higashino;
Название: Automated Technology for Verification and Analysis
ISBN: 3540755950 ISBN-13(EAN): 9783540755951
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007, held in Tokyo, Japan, October 22-25, 2007. This book presents 29 revised full papers together with 7 short papers that were reviewed and selected from 88 submissions.