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