Electronic Books

Total Books: 5061 - 5080 /6426

This book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...

This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...

This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...

This relatively nontechnical book is the first account of the history of statistics from the Fisher revolution to the computer ...

San Lucas Quiaviní Zapotec, an endangered and little-examined indigenous language of Mexico, shows a range of syntactic ...

Featuring contributions by an international team of experts, this authoritative volume provides deep insight into distal ...

This book presents a wide range of innovative and advanced image processing methods for including spatial information, captured ...

This book aims to methodologically improve our understanding of biodiversity by linking disciplines that incorporate remote ...

The first part of these proceedings describes the current capabilities of various satellite experiments which are performing ...

This volume reviews the current potential of Earth Observations, while devoting particular attention to applications dealing ...

This book series offers a comprehensive and logically organized introduction to clinical pharmacy as applied to renal medicine. ...

Focuses on tasks and principles at the core of photorealistic rendering, including: Rendering process: Learn a step-by-step ...

In this book, the different control techniques and intelligent technologies used to improve the energy performance of buildings ...

This book aims to inspire decision makers and practitioners to change their approach to climate planning in the tropics through ...

This book explores the environmental competitiveness of 133 countries around the world, presenting an index evaluation system ...

This volume addresses the interplay between representation theory and automorphic forms. The invited papers, written by leading ...

Six leading experts lecture on a wide spectrum of recent results on the subject of the title, providing both a solid reference ...

The book is structured into five parts. Part I reviews basic optimal control and game theory of finite dimensional systems, ...

The book summarizes existing knowledge regarding problem representations and describes how basic properties of representations, ...

Total Books: 5061 - 5080 /6426