Electronic Books

Total Books: 721 - 740 /918

Reconfigurable Computing: Architectures, Tools and Applications

This book constitutes the refereed proceedings of the Third International Workshop on Applied Reconfigurable Computing, ARC ...

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

Reliability and Optimal Maintenance

Postgraduates, researchers, and practitioners in reliability engineering, maintenance engineering, operations research, industrial ...

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

Remote Sensing of Aquatic Coastal Ecosystem Processes

The aquatic coastal zone is one of the most challenging targets for environmental remote sensing. Properties such as bottom ...

Representation Theory and Complex Analysis : Lectures given at the C.I.M.E. Summer School held in Venice, Italy June 10–17, 2004

Six leading experts lecture on a wide spectrum of recent results on the subject of the title, providing both a solid reference ...

Requirements Engineering: Foundation for Software Quality : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

This book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...

Research in Computational Molecular Biology (vol. # 3909)

PrefaceThis volume contains the papers presented at the 10th Annual InternationalConference on Research in Computational ...

Research in Computational Molecular Biology : 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. Proceedings

This book constitutes the refereed proceedings of the 19th Annual International Conference on Research in Computational Molecular ...

Research in Cryptology : Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers

The book covers topics such as foundations of cryptology, secret-key cryptosystems and hash functions, public-key cryptosystems, ...

Resource Allocation In Multiuser Multicarrier Wireless Systems

This book proposes a unified algorithmic framework based on dual optimization techniques that have complexities that are ...

Resource Allocation in Wireless Networks

The main objective of this book is to provide tools for better understa- ing the fundamental tradeo?s and interdependencies ...

Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits

Reuse Based Methodologies and Tools in the Design of Analog and Mixed-Signal Integrated Circuits features a very detailed, ...

Rugged Free Energy Landscapes : Common Computational Approaches to Spin Glasses, Structural Glasses and Biological Macromolecules

This collection of lectures and tutorial reviews by renowned experts focusses on the common computational approaches in use ...

Rule-Based Evolutionary Online Learning Systems

This book offers a comprehensive introduction to learning classifier systems (LCS) – or more generally, rule-based evolutionary ...

Réapprendre à voir le monde : Merleau-Ponty face au miroir lacanien = Learning to see the world again: Merleau-Ponty facing the Lacanian mirror

A new interpretation of the phenomenological method as a praxis A unique combination of phenomenology and psychoanalysis A ...

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

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

SOFSEM 2006: Theory and Practice of Computer Science

This book presents the proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, held ...

Total Books: 721 - 740 /918