Intelligent Data Engineering and Automated Learning – IDEAL 2016, Yin
Автор: 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.
Автор: 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.
Автор: Mohr Название: Automated Software and Service Composition ISBN: 3319341677 ISBN-13(EAN): 9783319341675 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is by far the most systematic and comprehensive review of the field of automated software composition. Based on a formally described and reproducible methodology, it critically discusses the approaches, which are relevant for experts interested in an organized overview of related work. It also provides an introduction and intuitive classification system for researchers new to the field.In order to create this survey, several dozen papers were analyzed with respect to the concrete problems they tackle and the proposed solutions. It delivers both an overview and a qualitative comparison of the approaches, and answers three research questions: What types of automated software composition problems exist? In which use cases do these problems typically occur? And what are the most prominent solution paradigms for the different types? Overall, this book saves a great deal of time for everyone pursuing research in the area of automated software composition who needs a comprehensive guide that helps them understand the field, and that relates new approaches to existing ones.
Автор: Emilio Corchado; Hujun Yin Название: Intelligent Data Engineering and Automated Learning - IDEAL 2009 ISBN: 3642043933 ISBN-13(EAN): 9783642043932 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Munzert Simon Название: Automated Data Collection With R ISBN: 111883481X ISBN-13(EAN): 9781118834817 Издательство: Wiley Рейтинг: Цена: 8704.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A hands on guide to web scraping and text mining for both beginners and experienced users of R * Introduces fundamental concepts of the main architecture of the web and databases and covers HTTP, HTML, XML, JSON, SQL. * Provides basic techniques to query web documents and data sets (XPath and regular expressions).
Автор: 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.
Автор: J?rgen Giesl; Reiner H?hnle Название: Automated Reasoning ISBN: 3642142028 ISBN-13(EAN): 9783642142024 Издательство: Springer Рейтинг: Цена: 14673.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
