قسم الحاسب الآلي
الخريجون
الطلبة
الموظفين
البريد الالكتروني
English
البوابة الالكترونية
جامعتي
English
البوابة الالكترونية
الرئيسية
عن القسم
البرامج الدراسية
هيئة التدريس
البحث العلمي
الخريجين
خريجين بكالوريوس
خريجين ماجستير
كلية العلوم
قسم الحاسب الآلي
المستودع الرقمي لـقسم الحاسب الآلي
الكلمات المفتاحية
إختر نوع المنشور
إختر نوع المنشور
مقال في مؤتمر علمي
مقال في مجلة علمية
كتاب
فصل من كتاب
رسالة دكتوراة
رسالة ماجستير
مشروع تخرج بكالوريوس
تقرير علمي
عمل غير منشور
وثيقة
براءة إختراع
القسم او الكلية
جميع الاقسام
';
عرض بنوع المنشور
مقال في مؤتمر علمي (25)
مقال في مجلة علمية (14)
كتاب (5)
فصل من كتاب (4)
رسالة ماجستير (20)
Slotted-Circus
Andrew Butterfield, Adnan Sherif, Jim Woodcock (7-2007)
, 4591(1), pp. 75-97.
Constructing Property-Oriented Models for Verification
Jifeng He, Shengchao Qin, Adnan Sherif (2-2006)
, 4010(1), pp. 58-100.
To reach designing an effective curriculum for software engineering specialization ", Second Conference of the basic science, University of Tripoli - Libya, Faculty of Sciences.
لطفي سالم امبارك الهويجي, د.ناجي بازينة (1-2006)
, .
To reach designing an effective curriculum for software engineering specialization ", Second Conference of the basic science, University of Tripoli - Libya, Faculty of Sciences.
Nage E S Bazena, Lutfi Salem Emaberek El-Hweje (1-2006)
, .
7
8
9