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