Intelligent Data Engineering and Automated Learning - IDEAL 2009, Emilio Corchado; Hujun Yin

Автор: Yin
Название: Intelligent Data Engineering and Automated Learning – IDEAL 2016
ISBN: 3319462563 ISBN-13(EAN): 9783319462561
Издательство: Springer
Рейтинг:
Цена: 11460.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 17 International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2016, held in Yangzhou, China, in October 2016. The 68 full papers presented were carefully reviewed and selected from 115 submissions. They provide a valuable and timely sample of latest research outcomes in data engineering and automated learning ranging from methodologies, frameworks, and techniques to applications including various topics such as evolutionary algorithms; deep learning; neural networks; probabilistic modeling; particle swarm intelligence; big data analysis; applications in regression, classification, clustering, medical and biological modeling and predication; text processing and image analysis.

Автор: Renate Schmidt
Название: Automated Deduction – CADE-22
ISBN: 3642029582 ISBN-13(EAN): 9783642029585
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 22nd International Conference on Automated Deduction Montreal Canada August 27 2009 Proceedings. .

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

Автор: Ignac Lovrek
Название: Knowledge-Based Intelligent Information and Engineering Systems
ISBN: 3540855661 ISBN-13(EAN): 9783540855668
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 12th International Conference on Knowledge-Based Intelligent Information and Engineering Systems, KES 2008, held in Zagreb, Croatia, in September 2008. This volume covers topics such as intelligent data processing in process systems and plants; and, neural information processing for data mining.

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

Автор: Festa
Название: Learning and Intelligent Optimization
ISBN: 3319503480 ISBN-13(EAN): 9783319503486
Издательство: Springer
Рейтинг:
Цена: 8106.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Learning and Optimization, LION 10, which was held on Ischia, Italy, in May/June 2016. The 14 full papers presented together with 9 short papers and 2 GENOPT papers were carefully reviewed and selected from 47 submissions.

Автор: Alessandro Armando; Peter Baumgartner; Gilles Dowe
Название: Automated Reasoning
ISBN: 3540710698 ISBN-13(EAN): 9783540710691
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. This title includes papers that address the spectrum of research in automated reasoning and are organized in topical sections on specific theories.

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