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