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
By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases ...
اقرأ المزيد
Reconfigurable Computing: Architectures and Applications
gurable computing has become a we- known and established research area producing interesting as well as important results ...
اقرأ المزيد
Reconfigurable Computing: Architectures, Tools and Applications
This book constitutes the refereed proceedings of the Third International Workshop on Applied Reconfigurable Computing, ARC ...
اقرأ المزيد
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 ...
اقرأ المزيد
