المستودع الرقمي لـقسم الحاسب الآلي

عرض بنوع المنشور

Formation Evaluation of Well Logs Analysis Approach for Nubian Sandston Reservoir Development within East of Sirt Basin

حنان عيسي سعيد اشتوي (2009)
كلية العلوم - جامغة طرابلس, .

Mixed Languages Programming Technique Based on Data Variables Emigration

رحاب عبد الله رجب بن عبد الله (2009)
كلية العلوم - جامغة طرابلس, .

Slotted-Circus
Andrew Butterfield, Adnan Sherif, Jim Woodcock (7-2007)
Lecture Notes in Computer Science - Springer, 4591(1), pp. 75-97.

Constructing Property-Oriented Models for Verification
Jifeng He, Shengchao Qin, Adnan Sherif (2-2006)
Lecture Notes in Computer Science - Springer, 4010(1), pp. 58-100.