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 ...
اقرأ المزيد
Religion in the Public Sphere: A Comparative Analysis of German, Israeli, American and International Law
How closely correlated should church and state be? May a state recognize or dignify the role and meaning of religion at all, ...
اقرأ المزيد
Remote Sensing Digital Image Analysis
Remote Sensing Digital Image Analysis provides the non-specialist with an introduction to quantitative evaluation of satellite ...
اقرأ المزيدRemote Sensing Image Analysis: Including the Spatial Domain
This book presents a wide range of innovative and advanced image processing methods for including spatial information, captured ...
اقرأ المزيد
Remote Sensing and GIS Technologies for Monitoring and Prediction of Disasters
Lessons learned in the last several years have given clear indications that the prediction and efficient monitoring of disasters ...
اقرأ المزيد
Remote Sensing in Archaeology
"This book provides an excellent and diverse overview of the emerging capability of remote sensing archaeology and is a ...
اقرأ المزيدRendering in SketchUp: From Modeling to Presentation for Architecture, Landscape Architecture, and Interior Design / Daniel Tal
Focuses on tasks and principles at the core of photorealistic rendering, including: Rendering process: Learn a step-by-step ...
اقرأ المزيد
Renewable Energies for Central Asia Countries: Economic, Environmental and Social Impacts
Proceedings of the NATO Advanced Research Workshop on Advanced Renewable Energies for Central Asia Countries: Economic-Environmental ...
اقرأ المزيدReport on Global Environmental Competitiveness (2013)
This book explores the environmental competitiveness of 133 countries around the world, presenting an index evaluation system ...
اقرأ المزيد
Representation Learning
This monograph addresses advances in representation learning, a cutting-edge research area of machine learning. Representation ...
اقرأ المزيد
Representation Theory and Automorphic Forms
This volume addresses the interplay between representation theory and automorphic forms. The invited papers, written by leading ...
اقرأ المزيد
Representation and Brain
Understanding brain functions, especially the neural mechanisms of higher cognitive processes such as thinking, reasoning, ...
اقرأ المزيد
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 Genres Across Languages : Multilingual Communication Online / Carmen Pérez-Llantada
This book takes the perspective of genre analysis to provide a timely examination of professional and public communication ...
اقرأ المزيد
Research and Advanced Technology for Digital Libraries (vol. # 3652)
This book constitutes the refereed proceedings of the 9th European Conference on Research and Advanced Technology for Digital ...
اقرأ المزيد
Research and Advanced Technology for Digital Libraries (vol. # 4172)
This book constitutes the refereed proceedings of the proceedings of the 10thEuropean Conference onDigital Libraries (ECDL ...
اقرأ المزيد
