Zoeken

U zocht naar: Auteur Bastaki, Nabil Filter Auteur: Bastaki, Nabil 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