Holdings: Formal analysis of future energy systems using interactive theorem proving

Main Author:	Ahmed, Asad
Other Authors:	Hasan, Osman, Awwad, Falah, Bastaki, Nabil
Subjects:	Smart power grids -- > Mathematical models Smart power grids -- > Computer simulation Electronic books
Online Access:	http://library.unisel.edu.my/web/guest/mylibrary

Call Number:	TK3105 A36 2022

Accession No	Item Category	SMD	Status	Notes

EBO0012860

EBOOK

AVAILABLE