خرید و دانلود نسخه کامل کتاب Analysis and Design of Analog Integrated Circuits. Solutions قیمت اصلی 72,500 تومان بود.35,000 تومانقیمت فعلی 35,000 تومان است.
خرید و دانلود نسخه کامل کتاب Photovoltaic Materials (Series on Properties of Semiconductor Materials Vol 1) قیمت اصلی 65,500 تومان بود.28,000 تومانقیمت فعلی 28,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
05ساعت
51دقیقه
23ثانیه
-48%
خرید و دانلود نسخه کامل کتاب SAT-Based Scalable Formal Verification Solutions (Series on Integrated Circuits and Systems)
قیمت اصلی 77,500 تومان بود.40,000 تومانقیمت فعلی 40,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 مگابایت |
1 آیتم فروخته شده در 55 دقیقه
4 نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب بینش مهندسی در مورد چگونگی ارائه یک راه حل تأیید مقیاس پذیر و قوی با پیچیدگی و اندازه های طراحی روزافزون ارائه می دهد. رویکردهای بررسی مدل مبتنی بر SAT را تشریح می کند و جزئیات مهندسی را در مورد آنچه که بررسی مدل را عملی می کند، ارائه می دهد. این کتاب فناوریهای نوظهور مقیاسپذیر مبتنی بر SAT را گرد هم میآورد و تکنیکهای تحت پوشش را میتوان به صورت همافزایی در یک راهحل مقیاسپذیر ترکیب کرد.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.