Verification of Well-formedness in Message-Passing Asynchronous Systems modeled as Communicating Finite-State Machines رسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Word Blending and Other Formal Models of Bio-operations رسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Verifying Abstract Components Within Concrete Software Environmentsرسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Verification of Task Parallel Programs Using Predictive Analysis رسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Verifying sensor network security protocol implementations رسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Video Prediction with Invertible Linear Embeddings رسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Verification and Automated Synthesis of Memristor Crossbars رسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Uses of computers in science teaching what a teacher of science should know رسائل الماجستير والدكتوراه (ملفات PDF)
Using GIST Features to Constrain Search in Object Detection رسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Using Software Testing Techniques to Infer Biological Models رسالة ماجستير بعنوان رسائل الماجستير والدكتوراه (ملفات PDF)
The Role of Prototype Learning in Hierarchical Models of Vision رسالة دكتوراه رسائل الماجستير والدكتوراه (ملفات PDF)