Formal Concept Analysis, L?onard Kwuida; Baris Sertkaya

Автор: S?bastien Ferr?; Sebastian Rudolph
Название: Formal Concept Analysis
ISBN: 3642018149 ISBN-13(EAN): 9783642018145
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Constitutes the refereed proceedings of the 7th International Conference on Formal Concept Analysis, ICFCA 2009, held in Darmstadt, Germany, in May 2009. This book includes the papers that present results in Formal Concept Analysis and related fields.

Автор: Joel Ouaknine; Frits W. Vaandrager
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3642043674 ISBN-13(EAN): 9783642043673
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2009, held in Budapest, Hungary, September 2009. comparison between different models (timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models).

Автор: Franck Cassez; Claude Jard
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 354085777X ISBN-13(EAN): 9783540857778
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions.

Автор: Klepac, Kopal & Mrsic
Название: Developing Churn Models Using Data Mining Techniques And Social Network Analysis
ISBN: 1466662883 ISBN-13(EAN): 9781466662889
Издательство: Mare Nostrum (Eurospan)
Рейтинг:
Цена: 27027.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Churn prediction, recognition, and mitigation have become essential topics in various industries. As a means for forecasting and manageing risk, further research in this field can greatly assist companies in making informed decisions based on future possible scenarios.Developing Churn Models Using Data Mining Techniques and Social Network Analysis provides an in-depth analysis of attrition modeling relevant to business planning and management. Through its insightful and detailed explanation of best practices, tools, and theory surrounding churn prediction and the integration of analytics tools, this publication is especially relevant to managers, data specialists, business analysts, academicians, and upper-level students.

Автор: Barbara Paech; Craig Martell
Название: Innovations for Requirement Analysis. From Stakeholders` Needs to Formal Designs
ISBN: 3540897771 ISBN-13(EAN): 9783540897774
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Presents the refereed and revised proceedings of the 14th Monterey workshop, held in Monterey, CA, USA, September 10-13, 2007. This book includes 10 papers that were selected during two rounds of reviewing and revision.

Автор: Fr?nzle
Название: Formal Modeling and Analysis of Timed Systems
ISBN: 3319448773 ISBN-13(EAN): 9783319448770
Издательство: Springer
Рейтинг:
Цена: 6988.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 14th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2016, held in Quebec, QC, Canada, in August 2016. They are organized in topical sections entitled: modeling timed phenomena;