IMPROVEMENT OF FORMAL METHODS APPROACH USING PATTERN PERSPECTIVE IN REAL TIME SYSTEM APPICATIONS
| المؤلف الرئيسي: | ENAS EL - SAYED MOHAMED EL - SHARAWY |
|---|---|
| مؤلفين آخرين: | Ahmed Kamel, Eman Karam, Gaber Ahmed (مشرف) |
| التاريخ الميلادي: |
2014
|
| الصفحات: | 135 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | الإنجليزية |
| الدرجة العلمية | رسالة ماجستير |
| الجامعة | Al Azhar University/MATHEMATICS |
| الدولة | مصر |
| المصدر: | غير محدد |
| الحالة | تمت المناقشة |
| قواعد المعلومات: | Thesis |
| LEADER | 00701nam a2200241Ia 4500 | ||
|---|---|---|---|
| 001 | 1531873 | ||
| 040 | |a غير محدد | ||
| 041 | |a eng | ||
| 100 | |a ENAS EL - SAYED MOHAMED EL - SHARAWY |e معد | ||
| 245 | |a IMPROVEMENT OF FORMAL METHODS APPROACH USING PATTERN PERSPECTIVE IN REAL TIME SYSTEM APPICATIONS | ||
| 260 | |c 2014 | ||
| 300 | |a 135 | ||
| 336 | |a رسائل جامعية | ||
| 502 | |b رسالة ماجستير | ||
| 502 | |c Al Azhar University/MATHEMATICS | ||
| 502 | |g مصر | ||
| 653 | |a MATHEMATICS | ||
| 700 | |a Ahmed Kamel |e مشرف | ||
| 700 | |a Eman Karam |e مشرف | ||
| 700 | |a Gaber Ahmed |e مشرف | ||
| 940 | |a تمت المناقشة | ||
| 995 | |a Thesis | ||
| 999 | |c 252838 |d 252838 | ||
عناصر مشابهة
-
ALGEBRAIC AND COMPUTATIONAL APPROACH TO GROBNER BASES
بواسطة: RAMY EL - SAYED ABDEL - KHALEK OSMAN منشور: (2014) -
DATA MINING METHODS CLASSIFICATION AND AMELIORATION
بواسطة: EMAN KARAM EL SAYED منشور: (2005) -
USE OF THE BOUNDARY ELEMENT METHOD IN SOME PROBLEMS IN ACOUSTICS
بواسطة: KAMAL MOHAMED ABDALLAH HEMIDA منشور: (1992) -
MATHEMATICAL METHODS FOR SECURITY ASPECTS OF COMPUTER NETWORKS
بواسطة: MOHAMED AHMED EL BADRY منشور: (2003) -
NUMERICAL TREATMENTS OF SOME PHYSICAL PROBLEMS USING THE MULTIGRID METHOD
بواسطة: YASER MOHAMED ABO ESSA منشور: (2001)