Electronic Books

Total Books: 3841 - 3860 /4684

Rough Sets, Fuzzy Sets, Data Mining and Granular Computing

This volume contains the papers selected for presentation at the 11th Int- national Conference on Rough Sets, Fuzzy Sets, ...

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 ...

Routing Congestion in VLSI Circuits

Routing Congestion in VLSI Circuits: Estimation and Optimization provides the reader with a complete understanding of the ...

Ruby on Rails for PHP and Java Developers

The web framework Ruby on Rails for developing database based web applications provides a Model-View-Controller framework. ...

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 ...

Rules and Rule Markup Languages for the Semantic Web

RuleML 2005 also accommodated the ?rst Workshop on OWL: Experiences and Directions. Rules are widely recognized to be a major ...

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 ...

Régression : Théorie et applications = Regression : Theory and Applications

This book explains in detail, with supporting examples, one of the most common statistical methods: regression. The first ...

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). ...

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 ...

SDL 2001: Meeting UML

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ...

SDL 2005: Model Driven

This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend ...

SDL 2007: Design for Dependable Systems

Thisvolumecontainsthepaperspresentedatthe13 SDL Forum,Paris,France entitled “Design for Dependable Systems” and re?ects ...

SOFSEM 2005: Theory and Practice of Computer Science

This book constitutes the refereed proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer ...

Total Books: 3841 - 3860 /4684