Zoeken

U zocht naar: Auteur Awwad, Falah Filter Auteur: Awwad, Falah 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