LEADER |
00964nam a22002177a 4500 |
001 |
0282718 |
040 |
|
|
|a قاعدة المنظومة للرسائل الجامعية
|
041 |
|
|
|a ara
|
100 |
|
|
|9 32296
|a Hajjar, Amjad Fuad A.
|e Auth.
|
245 |
|
|
|a BAYESIAN BASED STOPPING RULES FOR BEHAVIORAL VHDL VERIFICATION
|
260 |
|
|
|a فورت كولنز
|c 2001
|
300 |
|
|
|a 1 - 149
|
336 |
|
|
|a رسائل جامعية
|
502 |
|
|
|b رسالة دكتوراه
|c Colorado State University
|f The Graduate School
|g الولايات المتحدة الأمريكية
|o 0012
|
653 |
|
|
|a الحاسبات الالكترونية
|a المحاكاة
|a معالجة البيانات
|a الخوارزميات
|
700 |
|
|
|9 25214
|a Chen, Tom W.
|e Super.
|
856 |
|
|
|u http://search.mandumah.com/Record/613519
|y المستخلص من قاعدة المنظومة للرسائل الجامعية
|
940 |
|
|
|a تمت المناقشة
|
950 |
|
|
|c 613519
|
995 |
|
|
|a Thesis
|
999 |
|
|
|c 193943
|d 193943
|