Digital Repository for Department of Computer Science

Brows By Type

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)
, .