Electronic Books

Total Books: 2481 - 2500 /3144

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Total Books: 2481 - 2500 /3144