Rough Sets and Knowledge Technology, Peng Wen; Yuefeng Li; Lech Polkowski; Yiyu Y. Yao;

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

Автор: Wenjie Li; Diego Moll?-Aliod
Название: Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy
ISBN: 3642008305 ISBN-13(EAN): 9783642008306
Издательство: Springer
Рейтинг:
Цена: 12157.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the thoroughly refereed proceedings of the 22nd International Conference on Computer Processing of Oriental Languages, ICCPOL 2009, held in Hong Kong, in March 2009. This title includes papers that address a variety of topics in natural language processing and its applications.

Автор: Dawei Song; Chin-Yew Lin; Akiko Aizawa; Kazuko Kur
Название: Information Retrieval Technology
ISBN: 3642047688 ISBN-13(EAN): 9783642047688
Издательство: Springer
Рейтинг:
Цена: 12577.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th Asia Information Retrieval Symposium, AIRS 2009, held in Sapporo, Japan, in October 2009. The 18 revised full papers and 20 revised poster papers presented were carefully reviewed and selected from 82 submissions.

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

Автор: Christopher Rouff; Michael Hinchey; James Rash; Wa
Название: Agent Technology from a Formal Perspective
ISBN: 1849969698 ISBN-13(EAN): 9781849969697
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: What Is an Agent? And What Is an Agent Community?.- to Formal Methods.- Formal Methods and Agent-Based Systems.- A Process-Algebraic Agent Abstraction.- Dynamic Team Formation in Executable Agent-Based Systems.- Scenario-Based Engineering of Multi-Agent Systems.- Verification Within the KARO Agent Theory.- Assuring the Behavior of Adaptive Agents.- Agents in a Wild World.- Formal Methods at NASA Goddard Space Flight Center.- Formal Verification of Autonomy Models.

Автор: Dominik Slezak
Название: Security Technology
ISBN: 3642108466 ISBN-13(EAN): 9783642108464
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: International Conference SecTech 2009 Held as Part of the Future Generation Information Technology . .

Автор: Krishnan
Название: Distributed Computing and Internet Technology
ISBN: 3319504711 ISBN-13(EAN): 9783319504711
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 13th International Conference on Distributed Computing and Internet Technology, ICDCIT 2017, held in Bhubaneswar, India, in January 2017.

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

Автор: Dietmar Seipel; Michael Hanus; Armin Wolf
Название: Applications of Declarative Programming and Knowledge Management
ISBN: 3642006744 ISBN-13(EAN): 9783642006746
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed post-conference proceedings of the 17th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2007, and the 21st Workshop on Logic Programming, WLP 2007, held in Wurzburg, Germany, during October 4-6, 2007.

Автор: Peter Eklund; Ollivier Haemmerl?
Название: Conceptual Structures: Knowledge Visualization and Reasoning
ISBN: 3540705953 ISBN-13(EAN): 9783540705956
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, held in Toulouse, France, in July 2008. This book includes papers that present Conceptual Structure approaches that build on techniques derived from artificial intelligence, knowledge representation, and computational linguistics.

Автор: Rafael Bello; Rafael Falc?n; Witold Pedrycz
Название: Granular Computing: At the Junction of Rough Sets and Fuzzy Sets
ISBN: 3540769722 ISBN-13(EAN): 9783540769729
Издательство: Springer
Рейтинг:
Цена: 30606.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Since their inception, fuzzy and rough set theories have earned a sound, well-deserved reputation owing to their intrinsic capabilities to model uncertainty coming from the real world. This title offers a compilation of the best papers presented at the First International Symposium on Fuzzy and Rough Sets (ISFUROS 2006) held in Santa Clara, Cuba.