كلمة ترحيبية

مرحبا بكم في موقعي بجامعة الأمير سطام بن عبد العزيز - كلية هندسة و علوم الحاسب - قسم علوم الحاسب

أتمنى التواصل معي على العنوان الإلكتروني : k.bsaies@psau.edu.sa

آخر الأخبار

كتب ومنشورات

الأبحاث العلمية

  • Proving Theorems by Folding/Unfolding

    The purpose of this work is to study, formally, the provability of implicative formulas by static analysis. To do that, we propose heuristics that...

جديد الصور

جديد الفيديوهات

preview video