This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lire la suiteThis book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Lire la suiteStarted on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Lire la suiteHow closely correlated should church and state be? May a state recognize or dignify the role and meaning of religion at all, ...
Lire la suiteRemote Sensing Digital Image Analysis provides the non-specialist with an introduction to quantitative evaluation of satellite ...
Lire la suiteThis book presents a wide range of innovative and advanced image processing methods for including spatial information, captured ...
Lire la suiteLessons learned in the last several years have given clear indications that the prediction and efficient monitoring of disasters ...
Lire la suite"This book provides an excellent and diverse overview of the emerging capability of remote sensing archaeology and is a ...
Lire la suiteFocuses on tasks and principles at the core of photorealistic rendering, including: Rendering process: Learn a step-by-step ...
Lire la suiteProceedings of the NATO Advanced Research Workshop on Advanced Renewable Energies for Central Asia Countries: Economic-Environmental ...
Lire la suiteThis book explores the environmental competitiveness of 133 countries around the world, presenting an index evaluation system ...
Lire la suiteThis monograph addresses advances in representation learning, a cutting-edge research area of machine learning. Representation ...
Lire la suiteThis volume addresses the interplay between representation theory and automorphic forms. The invited papers, written by leading ...
Lire la suiteUnderstanding brain functions, especially the neural mechanisms of higher cognitive processes such as thinking, reasoning, ...
Lire la suiteThis book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: ...
Lire la suiteThis book is organized in thematic sections on fitness of RE, requirements elicitation, industrial experience of RE, innovative ...
Lire la suiteRequirements Management has proven itself to be an enormous potential for the optimization of development projects throughout ...
Lire la suiteThis book takes the perspective of genre analysis to provide a timely examination of professional and public communication ...
Lire la suiteThis book constitutes the refereed proceedings of the 9th European Conference on Research and Advanced Technology for Digital ...
Lire la suiteThis book constitutes the refereed proceedings of the proceedings of the 10thEuropean Conference onDigital Libraries (ECDL ...
Lire la suite