Electronic Books

Total Books: 1521 - 1540 /1900

Recent Advances in Optimization

This volume contains the Proceedings of the Twelfth French-German-Spanish Conference on Optimization held at the University ...

Recent Advances in Parallel Virtual Machine and Message Passing Interface (vol. # 3666)

Constitutes the proceedings of the 12th European PVM/MPI Users' Group Meeting held in Sorrento, Italy in September 2005. ...

Recent Developments of Electrical Drives

The book, stating the recent developments of electrical drives, can be useful for engineers and researchers investigating ...

Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...

Recent Trends in Algebraic Development Techniques

This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...

Recent Trends in Discourse and Dialogue

This book is a collection of eleven chapters which together represent an original contribution to the field of (multimodal) ...

Reconfigurable Computing: Architectures, Tools and Applications

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

Reconfigurable Manufacturing Systems and Transformable Factories

In this book the problems of theory and practice of development in Reconfigurable Manufacturing Systems and Transformable ...

Reduced Order Systems

This monograph presents a detailed and unified treatment of the theory of reduced order systems. Covered topics include reduced ...

Reference Modeling

Reusability of information models has been discussed in science and practice for many years. Reference models are information ...

Regulatory Genomics

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

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

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

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

Requirements Engineering

Essentially, this is an update that places more emphasis on modelling by describing a greater range of approaches to system ...

Total Books: 1521 - 1540 /1900