Zoeken

U zocht naar: Auteur Ahmed, Asad Filter Auteur: Ahmed, Asad weghalen
1 Item gevonden
Aantal zoekresultaten per pagina

Zoekresultaten

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