Udgivelser med Osman Hasan

Alle2
Hardcover bog1
Paperback Bog1

På lager hos iMusic Vis udgåede udgivelser

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

Formalized Probability Theory an... (2015)

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

Probabilistic Analysis Using The... (2008)