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

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

Statistical Analysis of the eSTREAM Competition Winners
Fardous Eljadi (12-2015)
IEEE, 4(4), pp. 80-85.

Dynamic Linear Feedback Shift Registers: A Review
Fardous Mohamed Eljadi (11-2014)
he 5th International Conference on Information and Communication Technology for The Muslim World (ICT4M), 5(2014), pp. 1-5.

A K-Main Routes Approach to Spatial Network Activity Summarization: A Summary of Results
Dev Oliver, Abdussalam Marghani Milad Bannur (10-2010)
IEEE, , pp. 265-272.

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.