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