Electronic Books

Total Books: 3141 - 3160 /3928

Reconfigurable Computing: Architectures, Tools and Applications : 4th International Workshop, ARC 2008, London, UK, March 26-28, 2008. Proceedings

The idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...

Refinement Techniques in Software Engineering

This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...

Reflections on the Teaching of Programming : Methods and Implementations

The book addressed span a wide range of problems and solutions associated with the teaching of programming such as introductory ...

Regionalization of Watersheds : An Approach Based on Cluster Analysis

Clustering techniques are used to identify group(s) of watersheds which have similar flood characteristics. This book is ...

Regulatory Genomics

Research in the field of gene regulation is evolving rapidly in an ever-changing scientific environment. Microarray techniques ...

Relational Methods in Computer Science

This volume is the post conference proceedings of the 8thInternational Seminaron Relational Methods in Computer Science (RelMiCS ...

Relations and Kleene Algebra in Computer Science

This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...

Relations and Kleene Algebra in Computer Science : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings

The book describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with ...

Relaxation and Decomposition Methods for Mixed Integer Nonlinear Programming

This book presents a comprehensive description of theory, algorithms and software for solving nonconvex mixed integer nonlinear ...

Reliable Distributed Systems

An understanding of the techniques used to make distributed computing systems and networks reliable, fault-tolerant and secure ...

Reliable Face Recognition Methods

This book seeks to comprehensively address the face recognition problem while gaining new insights from complementary fields ...

Reliable Implementation of Real Number Algorithms: Theory and Practice : International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers

The book was inteded to stimulate an exchange of ideas between the different communities that deal with the problem of reliable ...

Reliable Software Technologies - Ada Europe 2007

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...

Reliable Software Technologies - Ada-Europe 2002

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...

Reliable Software Technologies - Ada-Europe 2008 : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

Reliable Software Technologies -- Ada-Europe 2006

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

Reliable Software Technology – Ada-Europe 2005

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...

Reliable Systems on Unreliable Networked Platforms

This book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...

Representation Learning

This monograph addresses advances in representation learning, a cutting-edge research area of machine learning. Representation ...

Representation Learning for Natural Language Processing

This book provides an overview of the recent advances in representation learning theory, algorithms and applications for ...

Total Books: 3141 - 3160 /3928