خرید و دانلود نسخه کامل کتاب Analysis and Design of Analog Integrated Circuits. Solutions
قیمت اصلی 145,000 تومان بود.70,000 تومانقیمت فعلی 70,000 تومان است.
خرید و دانلود نسخه کامل کتاب Photovoltaic Materials (Series on Properties of Semiconductor Materials Vol 1)
قیمت اصلی 131,000 تومان بود.56,000 تومانقیمت فعلی 56,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
-48%
خرید و دانلود نسخه کامل کتاب SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)
قیمت اصلی 155,000 تومان بود.80,000 تومانقیمت فعلی 80,000 تومان است.
تعداد فروش: 40
| عنوان فارسی |
راه حل های تأیید رسمی مقیاس پذیر مبتنی بر SAT (سری در مدارها و سیستم های یکپارچه) |
|---|---|
| عنوان اصلی | SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems) |
| ویرایش | 1 |
| ناشر | |
| نویسنده | Malay Ganai, Aarti Gupta |
| ISBN | 0387691669, 9780387691671 |
| سال نشر | 2007 |
| زبان | English |
| تعداد صفحات | 338 |
| دسته | الکترونیک: رادیو |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
2
آیتم آخرین فروخته شده 55 دقیقه
4
افرادی که اکنون این محصول را تماشا می کنند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب بینش مهندسی در مورد چگونگی ارائه یک راه حل تأیید مقیاس پذیر و قوی با پیچیدگی و اندازه های طراحی روزافزون ارائه می دهد. رویکردهای بررسی مدل مبتنی بر SAT را تشریح می کند و جزئیات مهندسی را در مورد آنچه که بررسی مدل را عملی می کند، ارائه می دهد. این کتاب فناوریهای نوظهور مقیاسپذیر مبتنی بر SAT را گرد هم میآورد و تکنیکهای تحت پوشش را میتوان به صورت همافزایی در یک راهحل مقیاسپذیر ترکیب کرد.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.