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