Electronic Books

Total Books: 6201 - 6220 /7763

Rough Sets and Current Trends in Computing

This book constitutes the refereed proceedings of the 5th International Conference on Rough Sets and Current Trends in Computing, ...

Rough Sets and Current Trends in Computing : 6th International Conference, RSCTC 2008 Akron, OH, USA, October 23-25, 2008 Proceedings

This book is organized in topical sections on logical and mathematical foundations, data analysis, data mining, decision ...

Rough Sets and Intelligent Systems Paradigms

This book constitutes the refereed proceedings of the International Conference on Rough Sets and Emerging Intelligent Systems ...

Rough Sets and Knowledge Technology

Constitutes proceedings of the Second International Conference on Rough Sets and Knowledge Technology, RSKT 2007, held in ...

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (vol. # 3641)

The main idea is based on indiscernibility relations that describe indistinguishability of objects. Concepts are represented ...

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing (vol. # 3642)

The main idea is based on indiscernibility relations that describe indistinguishability of objects. Concepts are represented ...

Rugged Free Energy Landscapes : Common Computational Approaches to Spin Glasses, Structural Glasses and Biological Macromolecules

This collection of lectures and tutorial reviews by renowned experts focusses on the common computational approaches in use ...

Rule Extraction from Support Vector Machines

This book provides an overview of the field and introduces a number of different approaches to extracting rules from support ...

Rule Representation, Interchange and Reasoning on the Web : International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

This book is organized in topical sections on rule engineering, rule-based methodologies and applications in policies, electronic ...

Running IPv6

Running IPv6 explains how to install and operate the IPv6 protocol for Windows XP, Mac OS X, FreeBSD, Red Hat Linux, and ...

Runtime Verification

Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...

Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers

The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security ...

Rural Analysis and Management : An Earth Science Approach to Rural Science

This handbookpossesses two virtues that are becomingincreasingly dif?cult to ?nd together. The ?rst one is providing a novel ...

Russian Contributions to Game Theory and Equilibrium Theory

The research of Soviet scientists within the field of game theory has resulted in many high-level publications. This book ...

S-BPM in the Production Industry

This volume presents several case studies highlighting the latest findings in Industry 4.0 projects utilizing S-BPM features. ...

S-BPM in the Wild : Practical Value Creation

This is the first book to present field studies on the application of subject-oriented business process management (S-BPM). ...

SAS for Data Analysis : Intermediate Statistical Methods

This book is an integrated treatment of applied statistical methods, presented at an intermediate level, and the SAS programming ...

SAT 2005

This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...

SAT-Based Scalable Formal Verification Solutions

SAT-Based Scalable Formal Verification Solutions discusses in detail several of the latest and interesting scalable SAT-based ...

SCJD Exam with J2SE 5

You already know how crucial certification is within the Java community. SCJD Exam with J2SE 5, Second Edition is a valuable ...

Total Books: 6201 - 6220 /7763