خرید و دانلود نسخه کامل کتاب Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

حل کارآمد سیستم های محدودیت حسابی بزرگ با ساختار پیچیده بولی: موتورهای اثبات برای تجزیه و تحلیل سیستم های گسسته ترکیبی ترکیبی

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems

نویسنده: Christian Herde

ناشر: Vieweg+Teubner

سال انتشار: 2011

تعداد صفحات: 182

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 928 کیلوبایت