This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...
Continue reading
This book constitutes the refereed proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems ...
Continue reading
The main idea is based on indiscernibility relations that describe indistinguishability of objects. Concepts are represented ...
Continue reading
The main idea is based on indiscernibility relations that describe indistinguishability of objects. Concepts are represented ...
Continue reading
This collection of lectures and tutorial reviews by renowned experts focusses on the common computational approaches in use ...
Continue reading
This book provides an overview of the field and introduces a number of different approaches to extracting rules from support ...
Continue reading
This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...
Continue reading
Running IPv6 explains how to install and operate the IPv6 protocol for Windows XP, Mac OS X, FreeBSD, Red Hat Linux, and ...
Continue reading
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
Continue reading
The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...
Continue reading
This handbookpossesses two virtues that are becomingincreasingly dif?cult to ?nd together. The ?rst one is providing a novel ...
Continue reading
The research of Soviet scientists within the field of game theory has resulted in many high-level publications. This book ...
Continue reading
This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. ...
Continue readingThis is the first book to present field studies on the application of subject-oriented business process management (S-BPM). ...
Continue reading
This book is an integrated treatment of applied statistical methods, presented at an intermediate level, and the SAS programming ...
Continue reading
SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...
Continue reading
You already know how crucial certification is within the Java community. SCJD Exam with J2SE 5, Second Edition is a valuable ...
Continue reading
Best selling author Paul Sanghera offers cohesive, concise, yet comprehensive coverage of all the topics included in the ...
Continue reading
This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...
Continue reading
This book constitutes the refereed proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer ...
Continue reading