Digital Repository for Department of Computer Science

Brows By Type

Deadlock-free verification of the SACI-1 OBC using Circus Time Action and FDR
Adnan ElSherif, Duaa Adel Masaud Agina (5-2024)
, .

Choosing The Right Automated Software Testing Tools
Ali Ali Ahmed Aburas (5-2024)
MI-STA 2024, .

Exploring Explainable Artificial Intelligence Technologies: Approaches, Challenges, and Applications
Mohamed Ali whiba , Akram Ali Milad (4-2024)
المجلة الدولية للعلوم و التقنية - ISTJ - International Science and Technology Journal, 34(1), pp. 1-21.

Exploring Explainable Artificial Intelligence Technologies: Approaches, Challenges, and Applications
Akram Ali Milad, Mohamed Ali Whiba (4-2024)
المجلة الدولية للعلوم و التقنية - ISTJ - International Science and Technology Journal, 34(1), pp. 1-21.

"نظام تقييم التطوير في التعليم الفني والمهني". مؤتمر الاتحاد العربي للتعليم والتدريب الفني، طرابلس، ليبيا
لطفي سالم امبارك الهويجي (1-2024)
, .

"التوصل إلى تصميم منهج دراسي فعال لتخصص هندسة البرمجيات"، المؤتمر الثاني للعلوم الأساسية جامعة طرابلس – ليبيا كلية العلوم
لطفي سالم امبارك الهويجي (1-2024)
, .

"إضافة متانة لنظام رقم التعريف الوطني الليبي (LNIN)"، The المجلة الليبية للعلوم / 2016

لطفي سالم امبارك الهويجي (1-2024)
, .

"مفاهيم نظم قواعد البيانات"، الهويجي وآخرون، دار الحكمة. الطبعة الأولى.
لطفي سالم امبارك الهويجي (1-2024)
, .