Suchergebnisse für ""Osman Hasan""

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (eBook, PDF)
69,54 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandkostenfrei
Asad Ahmed
Osman Hasan
Falah Awwad
…mehr Autoren
Nabil Bastaki
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (eBook, PDF)
  (Aktuell noch keine Bewertungen)
eBook, PDF
13. August 2021
Springer International Publishing
Auch erhältlich als
Broschiertes Buch48,99 €
Probabilistic Analysis using Theorem Proving
44,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Osman Hasan
Probabilistic Analysis using Theorem Proving
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
A Higher-order Logic Based Approach
2008
VDM Verlag Dr. Müller
Formalized Probability Theory and Applications Using Theorem Proving
194,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Osman Hasan
Sofiène Tahar
Formalized Probability Theory and Applications Using Theorem Proving
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
26. März 2015
Information Science Reference
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
48,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Asad Ahmed
Osman Hasan
Falah Awwad
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1st ed. 2022
15. August 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-78408-9

Ähnliche Artikel



Ähnlichkeitssuche: Fact®Finder von OMIKRON