ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Algorithmen und Datenstrukturen im VLSI-Design: OBDD — Grundlagen und Anwendungen

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

Algorithmen und Datenstrukturen im VLSI-Design: OBDD — Grundlagen und Anwendungen

مشخصات کتاب

Algorithmen und Datenstrukturen im VLSI-Design: OBDD — Grundlagen und Anwendungen

ویرایش: 1 
نویسندگان: ,   
سری:  
ISBN (شابک) : 9783540638698, 9783642587733 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 1998 
تعداد صفحات: 284 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 مگابایت 

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



کلمات کلیدی مربوط به کتاب الگوریتم ها و ساختارهای داده در طراحی VLSI: OBDD - مبانی و کاربردها: معماری پردازنده، تحلیل الگوریتم و پیچیدگی مسئله، سخت افزار کامپیوتر



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

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


در صورت تبدیل فایل کتاب Algorithmen und Datenstrukturen im VLSI-Design: OBDD — Grundlagen und Anwendungen به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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



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


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

Eines der Hauptprobleme beim Chipentwurf besteht darin, daß die Anzahl der zu bewältigenden Kombinationen der einzelnen Chipbausteine ins Unermeßliche steigt. Hier hat sich eine sehr fruchtbare Verbindung zu einem Kerngebiet der Theoretischen Informatik, dem Gebiet des Entwurfs von Datenstrukturen und effizienten Algorithmen, herstellen lassen: das Konzept der geordneten binären Entscheidungsgraphen, das in zahlreichen CAD-Projekten zu einer beträchtlichen Leistungssteigerung geführt hat. Die Autoren stellen die Grundlagen dieses interdisziplinären Forschungsgebiets dar und behandeln wichtige Anwendungen aus dem rechnergestützten Schaltkreisentwurf.



فهرست مطالب

Front Matter....Pages I-XIII
Einleitung....Pages 1-6
Grundlagen....Pages 7-23
Front Matter....Pages 25-25
Boolesche Funktionen....Pages 27-52
Klassische Darstellungen....Pages 53-79
Anforderungen an Datenstrukturen für die formale Schaltkreisverifikation....Pages 81-91
Front Matter....Pages 93-93
OBDDs — Geordnete binäre Entscheidungsgraphen....Pages 95-110
Effiziente Implementierung von OBDDs....Pages 111-129
Einfluß der Variablenordnung auf die Komplexität von OBDDs....Pages 131-153
Optimierung der Variablenordnung....Pages 155-182
Front Matter....Pages 183-183
Analyse sequentieller Systeme....Pages 185-211
Symbolisches Model Checking....Pages 213-224
Varianten und Erweiterungen von OBDDs....Pages 225-249
Transformationstechniken zur Optimierung....Pages 251-271
Back Matter....Pages 273-285




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