Books by Osman Hasan

Cover of Intelligent Computer Mathematics

Intelligent Computer Mathematics

by Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke

2017

Cover of Formalized probability theory and applications using theorem proving

Formalized probability theory and applications using theorem proving

by Osman Hasan

2015

Cover of Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

by Osman Hasan, édéric Mallet

2020

Cover of GEOMETRY for SAT and ACT

GEOMETRY for SAT and ACT

by tayyip oral, Osman Kucuk, Hasan Tursu

2017

Cover of The Turks

The Turks

by Hasan Celâl Güzel, Osman Karatay

2002

Can't find the book you're looking for? Let us know — it helps us improve.