Releases von Osman Hasan

Alle2
Gebundenes Buch1
Taschenbuch1

Auf Lager bei iMusic Nicht verfügbare Artikel anzeigen

Cover for Osman Hasan · Formalized Probability Theory and Applications Using Theorem Proving (Gebundenes Buch) (2015)

Gebundenes Buch

Formalized Probability Theory an... (2015)

Cover for Osman Hasan · Probabilistic Analysis Using Theorem Proving: a Higher-order Logic Based Approach (Taschenbuch) (2008)

Probabilistic Analysis Using The... (2008)