LIBROS DEL AUTOR: osman hasan

4 resultados para LIBROS DEL AUTOR: osman hasan

osman hasan Eliminar filtro Quitar filtros
  • ABBÂSÎLERDE DİPLOMASİ (M. 750-850 / H. 132-235)
    Masood Osman Hasan SHARAFANİ / TANER YILDIRIM
    Bu çalışma; Abbâsî devletinin ilk kuruluş yıllarında (M. 750-850 / H. 132-235 ) sürdürmüş olduğu yoğun diplomasi faaliyetlerini konu edinmektedir. Bir taraftan kendi sınırlarını korumak için ordusunu silahlandırıp askerî kurumlara önem veren Abbâsîler, öte taraftan ise komşu devletlerle diplomatik ve kültürel ilişkilerini sürekli güçlendirmeye gayret etmiştir. Karşılıklı yürütü...
    Disponible

    92,29 €

  • Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
    Asad Ahmed / Falah Awwad / Osman Hasan
    This book describes an accurate analysis technique for energy systems based on formal methods-computer-based mathematical logic techniques for the specification, validation, and verification of the systems.Correctness and accuracy of the financial, operational, and implementation analysis are of the paramount importance for the materialization of the future energy systems, such...
    Disponible

    48,47 €

  • Formal Analysis of Future Energy Systems Using Interactive Theorem Proving
    Asad Ahmed / Falah Awwad / Osman Hasan
    This book describes an accurate analysis technique for energy systems based on formal methods-computer-based mathematical logic techniques for the specification, validation, and verification of the systems.Correctness and accuracy of the financial, operational, and implementation analysis are of the paramount importance for the materialization of the future energy systems, such...
    Disponible

    86,41 €

  • Probabilistic Analysis using Theorem Proving
    Osman Hasan / Sofiène Tahar
    Traditionally, computer simulation techniques are used to perform probabilistic analysis. However, they provide less accurate results and cannot handle large-scale problems due to their enormous CPU time requirements. Recently, a significant amount of formalization has been done in higher-order logic that allows us to conduct precise probabilistic analysis using theorem proving...
    Disponible

    83,94 €