LEADER |
01534nam a22003497a 4500 |
001 |
0282718 |
041 |
|
|
|a eng
|
100 |
|
|
|9 32296
|a Hajjar, Amjad Fuad A.
|e Author
|
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 Advisor
|
856 |
|
|
|u 9824-096-003-0012-T.pdf
|y صفحة العنوان
|
856 |
|
|
|u 9824-096-003-0012-A.pdf
|y المستخلص
|
856 |
|
|
|u 9824-096-003-0012-C.pdf
|y قائمة المحتويات
|
856 |
|
|
|u 9824-096-003-0012-F.pdf
|y 24 صفحة الأولى
|
856 |
|
|
|u 9824-096-003-0012-1.pdf
|y 1 الفصل
|
856 |
|
|
|u 9824-096-003-0012-2.pdf
|y 2 الفصل
|
856 |
|
|
|u 9824-096-003-0012-3.pdf
|y 3 الفصل
|
856 |
|
|
|u 9824-096-003-0012-4.pdf
|y 4 الفصل
|
856 |
|
|
|u 9824-096-003-0012-5.pdf
|y 5 الفصل
|
856 |
|
|
|u 9824-096-003-0012-6.pdf
|y 6 الفصل
|
856 |
|
|
|u 9824-096-003-0012-7.pdf
|y 7 الفصل
|
856 |
|
|
|u 9824-096-003-0012-8.pdf
|y 8 الفصل
|
856 |
|
|
|u 9824-096-003-0012-R.pdf
|y المصادر والمراجع
|
856 |
|
|
|u 9824-096-003-0012-S.pdf
|y الملاحق
|
930 |
|
|
|d n
|
995 |
|
|
|a +Dissertations
|
999 |
|
|
|c 613519
|d 613519
|