Show simple item record

dc.contributor.advisorسفيان سمارة
dc.contributor.authorمنى موسى نظمي قناديلوar
dc.contributor.authorMONA Musa Nazmi Qanadiloen
dc.date.accessioned2018-10-07T11:37:09Z
dc.date.available2018-10-07T11:37:09Z
dc.date.issued2013-01-05
dc.identifier.other20913395
dc.identifier.urihttps://dspace.alquds.edu/handle/20.500.12213/1550
dc.language.isoen_US
dc.publisherAL-Quds Universityen
dc.publisherجامعة القدسar
dc.subjectهندسة الالكترونيات والحاسوبar
dc.subjectElectronics & Computer Engineeringen
dc.subject.otherرسالة ماجستيرar
dc.subject.otherدراسات علياar
dc.subject.otherHigher Studiesen
dc.subject.otherMaster Thesisen
dc.titleSAT Solver for Online Model Checkingen
dc.typeThesis
dc.contributor.examinerLabib Arafeh
dc.contributor.examinerAshraf Armoush


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record