Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 9783030784096, 9783030784089

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving 9783030784089, 9783030784096

Addresses the formal verification of smart grids using interactive theorem proving Assesses energy systems cost-effectiv

347 76 2MB Read more

First-Order Logic and Automated Theorem Proving [2 ed.] 9781461275152

There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, s

340 52 2MB Read more

Exergy Analysis and Thermoeconomics of Buildings: Design and Analysis for Sustainable Energy Systems 0128176113, 9780128176115

Quantifying exergy losses in the energy supply system of buildings reveals the potential for energy improvement, which c

1,982 233 54MB Read more

Exergy Analysis for Energy Conversion Systems 1108480586, 9781108480581

Discover a straightforward and holistic look at energy conversion and conservation processes using the exergy concept wi

735 131 6MB Read more

Hybrid Systems and Multi-energy Networks for the Future Energy Internet 9780128191842, 0128191848

Hybrid Systems and Multi-energy Networks for the Future Energy Internet provides the general concepts of hybrid systems

576 122 22MB Read more

Formal Analysis: An Introduction 9783110599459, 9783110597851

Formal analysis is the study of formal power series, formal Laurent series, formal root series, and other formal series

207 83 46MB Read more

Ultracapacitors : future of energy storage 9789383286713, 9383286717

1,895 281 10MB Read more

Theory of Formal Systems. (AM-47), Volume 47 9781400882007

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of re

141 54 6MB Read more

The Future of Energy: 2020 Edition 9798643731597

The Future of Energy - The bestselling, no-nonsense guide to sustainability, renewable energy, climate change and the en

590 81 8MB Read more

Formal Analysis: An Introduction 9783110599459, 9783110597851

Formal analysis is the study of formal power series, formal Laurent series, formal root series, and other formal series

188 20 3MB Read more