Electronic Books

Total Books: 1201 - 1220 /1575

Real-Time Object Uniform Design Methodology with UML

The competitiveness of organizations facing globalization, information and communication technologies relies on strategic ...

Recent Trends in Algebraic Development Techniques

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

Reconfigurable Computing: Architectures and Applications

gurable computing has become a we- known and established research area producing interesting as well as important results ...

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

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

Remote antenna laboratory measurements and control for E-learning using LabVIEW طارق معتز البيرقدار ؛ الياس مخ ؛ سيف عزام ؛ عدنان بزرة ؛ محمد مالك صباغ ؛ مأمون ابو السل ؛ إشراف د. مسعود أتاسي

Our project aims to design and implement a remote control system for the ED-3200 antenna laboratory, which performs experiments ...

Representation Learning

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

Requirements Engineering

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

Requirements Engineering: Foundation for Software Quality

This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...

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

Requirements Management : The Interface Between Requirements Development and All Other Systems Engineering Processes

Requirements Management has proven itself to be an enormous potential for the optimization of development projects throughout ...

Research and Practical Issues of Enterprise Information Systems

The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...

Total Books: 1201 - 1220 /1575