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

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

Evaluation of System-on-Chip Interconnect Architectures: A Case study of Fat-tree Interconnection Networks

أسماء شعبان العصار (2010)
كلية العلوم - جامغة طرابلس, .

Minimizing Fractional Errors in Floating Point Number

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

Scheduling Algorithms for Core-Based SOC Systems

مفيدة رمضان علي بلال (2010)
كلية العلوم - جامغة طرابلس, .

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.