Autoimmune Diseases in Endocrinology is a comprehensive and novel text that examines key features that predispose individuals ...
Weiterlesen
The book provides an overview and the latest information on the broad spectrum of cutaneous autoimmune disorders for clinicians, ...
Weiterlesen
This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...
Weiterlesen
This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...
Weiterlesen
This book discusses and proposes techniques for development of an automated multi-camera surveillance system for outdoor ...
Weiterlesen
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Weiterlesen
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Weiterlesen
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Weiterlesen
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Weiterlesen
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
Weiterlesen
This collection covers the state of the art in automatic differentiation theory and practice. Practitioners and students ...
Weiterlesen
This book brings together leading academic researchers and industrial practitioners to address the issues in this emerging ...
Weiterlesen
This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It ...
Weiterlesen
Reflecting the trend to optimization through integrative approaches for engine, driveline and vehicle control, this book ...
Weiterlesen
Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...
Weiterlesen
th This volume presents the proceedings of the 9 IFIP/IEEE International Conference on Management of Multimedia and Mobile ...
Weiterlesen
th This volume presents the proceedings of the 6 IEEE International Workshop on IP Operations and Management (IPOM 2006), ...
Weiterlesen
To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...
Weiterlesen
To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...
Weiterlesen
This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...
Weiterlesen