نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Reasoning in boolean networks : logic synthesis and verification using testing techniques
پدید آورنده
Kunz, Wolfgang
موضوع
Testing -- Data processing ، Integrated circuits -- Very large scale integration,Data processing ، Integrated circuits -- Verification,Data processing ، Logic design
رده
TK
7874
.
K866
1997
کتابخانه
كتابخانه پردیس علوم دانشگاه تهران
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
61112616
-
66495290
-
021
شناسگر استاندارد دیگر
شماره استاندارد
72616
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام نخستين پديدآور
Kunz, Wolfgang
عنوان اصلي
Reasoning in boolean networks : logic synthesis and verification using testing techniques
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston
نام ناشر، پخش کننده و غيره
Kluwer Academic Pub.
تاریخ نشرو بخش و غیره
1997
مشخصات ظاهری
نام خاص و کميت اثر
xv, 230 p. : ill. ; 25 cm
فروست
عنوان فروست
Frontiers in electronic testing
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
by Wolfgang Kunz and Dominik Stoffel
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Testing -- Data processing ، Integrated circuits -- Very large scale integration
عنصر شناسه ای
Data processing ، Integrated circuits -- Verification
عنصر شناسه ای
Data processing ، Logic design
رده بندی کنگره
شماره رده
TK
7874
.
K866
1997
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU kinimroD ,leffotS joint auth.
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
که فیزیه دانشکدانابخکت
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد