This book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
Continue readingThis book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
Continue readingStarted on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
Continue readingThis book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
Continue readingOffers a trusted, completely updated source of information for education, training, and development of pharmacists. Published ...
Continue readingThis book presents a wide range of innovative and advanced image processing methods for including spatial information, captured ...
Continue readingThis book aims to methodologically improve our understanding of biodiversity by linking disciplines that incorporate remote ...
Continue readingProvides a comprehensive and accessible guide to the practical elements of complete and partial denture provision. It serves ...
Continue readingEven if specific pieces of research (on the sources or on individual authors, such as Pico, Agrippa, Erasmus, Montaigne, ...
Continue readingThis book series offers a comprehensive and logically organized introduction to clinical pharmacy as applied to renal medicine. ...
Continue readingFocuses on tasks and principles at the core of photorealistic rendering, including: Rendering process: Learn a step-by-step ...
Continue readingThe Pritzker laureate Renzo Piano is recognized worldwide as one of the most renowned architects of our time. Central elements ...
Continue readingThis book reviews our current understanding of Reoviridae entry, disassembly/assembly and egress in addition to updating ...
Continue readingFood monitoring is a tool to recognize and avoid potential risks to consumers. While the states enforce food law primarily ...
Continue readingThis monograph addresses advances in representation learning, a cutting-edge research area of machine learning. Representation ...
Continue readingThis book provides an overview of the recent advances in representation learning theory, algorithms and applications for ...
Continue readingThis volume addresses the interplay between representation theory and automorphic forms. The invited papers, written by leading ...
Continue readingSix leading experts lecture on a wide spectrum of recent results on the subject of the title, providing both a solid reference ...
Continue readingUnderstanding brain functions, especially the neural mechanisms of higher cognitive processes such as thinking, reasoning, ...
Continue readingThe book is structured into five parts. Part I reviews basic optimal control and game theory of finite dimensional systems, ...
Continue reading