Electronic Books

Total Books: 2481 - 2500 /3144

Risk and Asset Allocation

This encyclopedic, self-contained, detailed exposition spans all the steps of one-period allocation from the basics to the ...

Risk and Variability in Geotechnical Engineering

Presents cutting edge techniques for characterising, quantifying and modelling geomaterial variability in addition to methods ...

Robotic Exploration and Landmark Determination : Hardware-Efficient Algorithms and FPGA Implementations

This book presents hardware-efficient algorithms and FPGA implementations for two robotic tasks, namely exploration and landmark ...

Robust Numerical Methods for Singularly Perturbed Differential Equations : Convection-Diffusion-Reaction and Flow Problems

This considerably extended and completely revised second edition incorporates many new developments in the thriving field ...

Robust Optimization-Directed Design

Recently, there has been enormous practical interest in strategies for applying optimization tools to the development of ...

Roots and Patterns

This book is simultaneously a theoretical study in morphosyntax and an in-depth empirical study of Hebrew. Based on Hebrew ...

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 Knowledge Technology : Third International Conference, RSKT 2008, Chengdu, China, May 17-19, 2008. Proceedings

This book focus on five major research fields: computing theory and paradigms, knowledge technology, intelligent information ...

Ruggiero Boscovich’s Theory of Natural Philosophy

Drawing on published works, correspondence and manuscripts, this book offers the most comprehensive reconstruction of Boscovich’s ...

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

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

Réarrangement Relatif : Un instrument d’estimations dans les problèmes aux limites = Relative Rearrangement : An estimation instrument in boundary problems

The objective of this book is to present a little known or even new method based on the concept of relative rearrangement ...

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+Functional Data Analysis

S+Functional Data Analysis is the first commercial object oriented package for exploring, modeling, and analyzing functional ...

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

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

Total Books: 2481 - 2500 /3144