233 39 6MB
English Pages 79 Year 2021
Report DMCA / Copyright
DOWNLOAD EPUB FILE
Addresses the formal verification of smart grids using interactive theorem proving Assesses energy systems cost-effectiv
234 8 2MB Read more
There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, s
313 103 2MB Read more
"Logic for Computer Science" provides an introduction to mathematical logic, with emphasis on proof theory and
422 31 3MB Read more
Prepared for the U.S. Department of Energy This report was prepared as an account of work sponsored by an agency of the
415 108 314KB Read more
This book presents theoretical, technical, and practical information on the modernization of future energy networks. All
119 104 10MB Read more
Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their beh
274 78 3MB Read more
This book discusses advanced technologies for applications in renewable energy and power systems. The topics covered inc
116 47 17MB Read more
This book discusses heat transfer in underground energy systems. It covers a wide range of important and practical topic
119 27 15MB Read more
A collection of essays centered around mathematical mechanization, dealing with mathematics in an algorithmic and constr
339 83 4MB Read more
This book is an exploration of energy and its unique role to date as one of the fundamental enabling and controlling fa
107 72 2MB Read more