Search

You searched for: Auteur Ahmed, Asad Remove constraint Auteur: Ahmed, Asad
1 entry found
Number of results to display per page

Search Results

1. Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
thumbnail
Full text!
Author:
Ahmed, Asad; Awwad, Falah; Bastaki, Nabil; Hasan, Osman
Publisher:
Springer 2022
Format:
e-book