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