Electronic Books

Total Books: 741 - 760 /5761

Autoimmune Diseases in Endocrinology is a comprehensive and novel text that examines key features that predispose individuals ...

The book provides an overview and the latest information on the broad spectrum of cutaneous autoimmune disorders for clinicians, ...

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...

This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...

This book discusses and proposes techniques for development of an automated multi-camera surveillance system for outdoor ...

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

This collection covers the state of the art in automatic differentiation theory and practice. Practitioners and students ...

This book brings together leading academic researchers and industrial practitioners to address the issues in this emerging ...

This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It ...

Reflecting the trend to optimization through integrative approaches for engine, driveline and vehicle control, this book ...

Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...

th This volume presents the proceedings of the 9 IFIP/IEEE International Conference on Management of Multimedia and Mobile ...

th This volume presents the proceedings of the 6 IEEE International Workshop on IP Operations and Management (IPOM 2006), ...

To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...

To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...

This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...

Total Books: 741 - 760 /5761