دسترسی همگانی(OPAC) نام کتابخانه در اوپک

Algorithms and data structures VLSI design (1998) / Meinel ، Christoph، نویسنده

نوع مدرک:	برنامه‌ها و فایلهای کامپیوتری
سرشناسه	Meinel ، Christoph، نویسنده
عنوان :	Algorithms and data structures VLSI design
تکرار نام مولف :	Thorsten Theobald
ناشر:	بیجا : Springer
سال نشر :	1998
صفحه شمار:	279
مندرجات	1. Introduction 2. Basics 3. Boolean functions 4. Calssical Representions 5. Requirements on data structures in formal circuit verification 6. OBBD s -Ordered decision diagrams 7. Efficient Implementation Of OBDDs 8. Influence Of the variable order on the complexity of OBDDs 9. Optimizing the variable order 10. Analysis of sequential systems 11. Symbolic model checking 12. Varaiants and extensions OF OBDDs 13. Transformation techniques for optimization
لینک ثابت رکورد:	../opac/index.php?lvl=record_display&id=146
زبان مدرک :	English

شماره ثبت	شماره بازیابی	نام عام مواد	محل نگهداری	بخش	وضعیت ثبت	وضعیت امانت
فاقد شماره ثبت