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