Formal Analysis of Future Energy Systems Using Interactive Theorem ProvingAsad Ahmed, Osman Hasan, Falah Awwad, Nabil Bastaki · First published 2021Open the Tome
ISLMÎ FINANSAL YÖNETIM Örnek Olaylari ve Örnek CözümleriOsman Okka, Hasan Kazak, H. Basri Alim · First published 2021Open the Tome
Formal Techniques for Safety-Critical SystemsOsman Hasan, édéric Mallet · First published 2020Open the Tome
Islami Finansal Yönetim - Sistem ve UygulamaHasan Kazak Osman Okka · First published 2020Open the Tome
Intelligent Computer MathematicsHerman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke · First published 2017Open the Tome
Formalized probability theory and applications using theorem provingOsman Hasan · First published 2015Open the Tome
Teoriden Pratiğe Değerler EğitimiAyse Inan Kilic, Aysegül Gün, Bayramali Naziroglu, Bayramali Naziroglu, Faruk Kanger, Fatih Kaya, Hasan Dam, Ibrahim Turan, Mehmet Korkmaz, Mevlüt Kaya, Mustafa Köylü, Osman Taskin · First published 2015Open the Tome
Eglenerek Ogreniyorum SerisiEkrem Aytar, Ali Osman Atak, Hasan Egitim · First published 2014Open the Tome
Parallel computing for real-time signal processing and controlM. Osman Tokhi, M. Alamgir Hossain, M. Hasan Shaheed · First published 2003Open the Tome
