Sökt på: a p it

Battery Management Systems: Accurate State-of-Charge Indication for Battery-Powered Applications describes the field of State-of-Charge (SoC) indication for rechargeable batteries. …

This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2013, held in Berlin, Germany, in September 2013. The 33 …

Over the past decade, advances in sensor technology, processing algorithms, and computational capacity have taken remote sensing to a level where observations can be transformed …

This edited two-volume collection presents the most interesting and compelling articles pertaining to the formulation of research methods used to study information systems from the …

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.A program's type describes its behavior. Dependent types are a first-class part of …

Topics covered in this book include - amongst others - modeling of genome data processing and analysis pipelines, high-throughput data processing, exchange of sensitive data and …

This volume originates from the proceedings of a multidisciplinary conference, Techno-Societal 2016 in Maharashtra, India, that brings together faculty members of various …

Providing a concise and accessible overview of the design, implementation and management of medical software, this textbook will equip students with a solid understanding of …

Four years have passed since the first edition of this book. During this time I have had the opportunity to apply it in classes obtaining feedback from students and inspiration for …

This edited two-volume collection presents the most interesting and compelling articles pertaining to the formulation of research methods used to study information systems from the …

Logic program synthesis and transformation are topics of central importance to the software industry. The demand for software can not be met by the current supply, in terms of …