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