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