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 ...
اقرأ المزيد