This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Lire la suite
This book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Lire la suite
Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Lire la suite
The book examines the consequences of the Italian Constitutional Court’s Judgment 238/2014 which denied the German Republic’s ...
Lire la suite
This book is a multidisciplinary work that investigates the notion of posthumous harm over time. The question what is and ...
Lire la suiteThis book presents a wide range of innovative and advanced image processing methods for including spatial information, captured ...
Lire la suite
Lessons learned in the last several years have given clear indications that the prediction and efficient monitoring of disasters ...
Lire la suite
This book provides extensive insight on remote sensing of coastal waters from aircraft and space-based platforms. The primary ...
Lire la suite
Renal Cell Cancer: Diagnosis and Therapy covers diagnostics, cancer research, molecular biology, immunology and clinical ...
Lire la suite
It is widely assumed that our consumer society can move from using fossil fuels to using renewable energy sources while maintaining ...
Lire la suite
This book aims to inspire decision makers and practitioners to change their approach to climate planning in the tropics through ...
Lire la suiteThis book explores the environmental competitiveness of 133 countries around the world, presenting an index evaluation system ...
Lire la suite
This volume addresses the interplay between representation theory and automorphic forms. The invited papers, written by leading ...
Lire la suite
Six leading experts lecture on a wide spectrum of recent results on the subject of the title, providing both a solid reference ...
Lire la suite
The book is structured into five parts. Part I reviews basic optimal control and game theory of finite dimensional systems, ...
Lire la suite
The book summarizes existing knowledge regarding problem representations and describes how basic properties of representations, ...
Lire la suite
This is an elementary introduction to the representation theory of real and complex matrix groups. The text is written for ...
Lire la suite
This open access edited collection examines representations of human trafficking in media ranging from British and Serbian ...
Lire la suite
Motivated by applications, an underlying theme in analysis is that of finding bases and understanding the transforms that ...
Lire la suite
This volume brings together current research on the behavior, ecology, reproduction, and life history - and the interrelations ...
Lire la suite