خرید و دانلود نسخه کامل کتاب Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science)

فناوری اثبات و محاسبات، جلد 200 سری علوم ناتو: علوم رایانه و سیستم (علوم ناتو)

Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science)

نویسنده: K. Spies, H. Schwichtenberg

سال انتشار: 2006

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

زبان: English

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

حجم فایل: 9 مگابایت