ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Algorithms & Data Structures in VLSI Design

دانلود کتاب الگوریتم ها و ساختار داده ها در طراحی VLSI

Algorithms & Data Structures in VLSI Design

مشخصات کتاب

Algorithms & Data Structures in VLSI Design

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش: 1 
نویسندگان:   
سری:  
ISBN (شابک) : 3540644865, 9783540644866 
ناشر: Springer 
سال نشر: 1998 
تعداد صفحات: 279 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

قیمت کتاب (تومان) : 69,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 10


در صورت تبدیل فایل کتاب Algorithms & Data Structures in VLSI Design به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب الگوریتم ها و ساختار داده ها در طراحی VLSI نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب الگوریتم ها و ساختار داده ها در طراحی VLSI

یکی از مشکلات اصلی در طراحی تراشه، تعداد زیادی از ترکیبات ممکن از عناصر تراشه منفرد است که با پیچیده‌تر شدن تراشه‌ها منجر به انفجار ترکیبی می‌شود. نتایج کلیدی جدید در علم کامپیوتر نظری و در طراحی ساختارهای داده و الگوریتم‌های کارآمد، می‌تواند به‌طور مثمر ثمر در اینجا اعمال شود. استفاده از نمودارهای تصمیم گیری باینری مرتب شده (OBDDs) منجر به بهبود عملکرد چشمگیر در بسیاری از پروژه های طراحی به کمک رایانه شده است. این کتاب درسی مقدمه ای بر مبانی این حوزه تحقیقاتی میان رشته ای با تأکید بر کاربردها در طراحی مدار به کمک رایانه و تأیید رسمی ارائه می دهد.


توضیحاتی درمورد کتاب به خارجی

One of the main problems in chip design is the huge number of possible combinations of individual chip elements, leading to a combinatorial explosion as chips become more complex. New key results in theoretical computer science and in the design of data structures and efficient algorithms, can be applied fruitfully here. The application of ordered binary decision diagrams (OBDDs) has led to dramatic performance improvements in many computer-aided design projects. This textbook provides an introduction to the foundations of this interdisciplinary research area with an emphasis on applications in computer-aided circuit design and formal verification.



فهرست مطالب

Front Matter....Pages I-XI
Introduction....Pages 1-6
Basics....Pages 7-22
Front Matter....Pages 23-23
Boolean Functions....Pages 25-49
Classical Representations....Pages 51-76
Requirements on Data Structures in Formal Circuit Verification....Pages 77-86
Front Matter....Pages 87-87
OBDDs — Ordered Binary Decision Diagrams....Pages 89-103
Efficient Implementation of OBDDs....Pages 105-122
Influence of the Variable Order on the Complexity of OBDDs....Pages 123-144
Optimizing the Variable Order....Pages 145-170
Front Matter....Pages 171-171
Analysis of Sequential Systems....Pages 173-197
Symbolic Model Checking....Pages 199-209
Variants and Extensions of OBDDs....Pages 211-234
Transformation Techniques for Optimization....Pages 235-255
Back Matter....Pages 257-267




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد