Electronic Books

Total Books: 3141 - 3160 /3928
978-3-540-78610-8
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 ...

Continue reading
978-3-540-46254-5
Refinement Techniques in Software Engineering

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

Continue reading
978-3-540-77934-6
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 ...

Continue reading
978-1-4020-6852-2
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 ...

Continue reading
978-3-540-32280-1
Regulatory Genomics

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

Continue reading
978-3-540-33340-1
Relational Methods in Computer Science

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

Continue reading
978-3-540-37874-7
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) ...

Continue reading
978-3-540-78913-0
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 ...

Continue reading
978-3-7643-7374-0
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 ...

Continue reading
978-0-387-27601-4
Reliable Distributed Systems

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

Continue reading
978-0-387-38464-1
Reliable Face Recognition Methods

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

Continue reading
978-3-540-85521-7
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 ...

Continue reading
978-3-540-73230-3
Reliable Software Technologies - Ada Europe 2007

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

Continue reading
978-3-540-48046-4
Reliable Software Technologies - Ada-Europe 2002

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

Continue reading
978-3-540-68624-8
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 ...

Continue reading
978-3-540-34664-7
Reliable Software Technologies -- Ada-Europe 2006

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

Continue reading
978-3-540-31666-4
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 ...

Continue reading
978-3-540-71156-8
Reliable Systems on Unreliable Networked Platforms

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

Continue reading
978-3-030-68817-2
Representation Learning

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

Continue reading
978-981-15-5573-2
Representation Learning for Natural Language Processing

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

Continue reading
Total Books: 3141 - 3160 /3928