Suchergebnisse - Bastaki, Nabil

  • Treffer 1 – 1 von 1
Treffer filtern
  1. 1
    Buchumschlag

    Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
    von Ahmed, Asad, Hasan, Osman, Awwad, Falah, Bastaki, Nabil

    Veröffentlicht 2022
    Online lesen
    Elektronisch E-Book


    Gespeichert in:

Suchwerkzeuge: