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 ...
اقرأ المزيد
The book examines the consequences of the Italian Constitutional Court’s Judgment 238/2014 which denied the German Republic’s ...
اقرأ المزيد
This book is a multidisciplinary work that investigates the notion of posthumous harm over time. The question what is and ...
اقرأ المزيدThis book presents a wide range of innovative and advanced image processing methods for including spatial information, captured ...
اقرأ المزيد
Lessons learned in the last several years have given clear indications that the prediction and efficient monitoring of disasters ...
اقرأ المزيد
This book provides extensive insight on remote sensing of coastal waters from aircraft and space-based platforms. The primary ...
اقرأ المزيد
Renal Cell Cancer: Diagnosis and Therapy covers diagnostics, cancer research, molecular biology, immunology and clinical ...
اقرأ المزيد
It is widely assumed that our consumer society can move from using fossil fuels to using renewable energy sources while maintaining ...
اقرأ المزيد
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, ...
اقرأ المزيد
This is an elementary introduction to the representation theory of real and complex matrix groups. The text is written for ...
اقرأ المزيد
This open access edited collection examines representations of human trafficking in media ranging from British and Serbian ...
اقرأ المزيد
Motivated by applications, an underlying theme in analysis is that of finding bases and understanding the transforms that ...
اقرأ المزيد
This volume brings together current research on the behavior, ecology, reproduction, and life history - and the interrelations ...
اقرأ المزيد