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