Home Advanced Search

Advanced Search - Page 1

Formalized Probability Theory and Applications Using Theorem Proving
  • PDF
  • English
  • Year: 2015
  • Author: Osman Hasan, Sofiène Tahar
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
  • PDF
  • English
  • Year: 2021
  • Author: Asad Ahmed; Osman Hasan; Falah Awwad; Nabil Bastaki
Intelligent Computer Mathematics : 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: England, Matthew; Geuvers, Herman; Hasan, Osman; Rabe, Florian; Teschke, Olaf
Leadership in a Time of Crisis
  • EPUB
  • English
  • Year: 2020
  • Author: Scott Osman; Scott Osman
The Ẓāhirī Madhhab (3rd/9th-10th/16th Century) A Textualist Theory of Islamic Law
  • PDF
  • English
  • Year: 2014
  • Author: Amr Osman
Jesus in the House of the Pharaos
  • PDF
  • English
  • Year: 2004
  • Author: Ahmed Osman
The Lost City of the Exodus
  • PDF
  • English
  • Year: 2014
  • Author: Ahmed Osman
A Journey in Islamic Thought: The Life of Fathi Osman
  • PDF
  • English
  • Year: 2011
  • Author: Ghada Osman
Usrati, Band 1: Lehrbuch für modernes Arabisch
  • PDF
  • German
  • Author: Nabil Osman
Modernism’s Visible Hand: Architecture and Regulation in America
  • PDF
  • English
  • Year: 2018
  • Author: Michael Osman
search