Uniform verification of safety for parameterized networks of hybrid automata رسائل الماجستير والدكتوراه (ملفات PDF)
Topics in graph colouring and extremal graph theory رسالة دكتوراه رسائل الماجستير والدكتوراه (ملفات PDF)
Translucid contracts Expressive specification and modular verification of aspect oriented interfaces رسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Type Classes and Instance Chains- A Relational Approach رسالة دكتوراه رسائل الماجستير والدكتوراه (ملفات PDF)
Using smoothing techniques to improve the performance of Hidden Hidden Markov’s Model رسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Transfuse A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android رسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Using ant colony optimization for routing in microprocesors رسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Using Dataflow Optimization Techniques with a Monadic Intermediat رسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Trust management of social network in health care رسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Time synchronization in ad hoc wireless networks رسالة ماجستير رسائل الماجستير والدكتوراه (ملفات PDF)
Unsupervised Segmentation of Audio Speech Using the Voting Expert رسالة دكتوراه رسائل الماجستير والدكتوراه (ملفات PDF)