Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
- takbook
- سایر محصولات
- 11th ژانویه 2018
- بدون نظر
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Christian Urban, Xingyuan Zhang (eds.)…
برچسب ها
ارسال دیدگاه جدید
دستهها
- آب و هواشناسی ( اقلیم شناسی )
- آمار
- آموزش
- آموزش و پرورش
- اتومبیل
- اخبار آی تی
- اخبار روز
- اخبار علمی
- ادیان شناسی
- استخدام
- اقتصاد
- الاهیات
- العالم
- املاک
- ایرانشناسی
- بازاریابی
- بازرگانی
- باستان شناسی
- برق
- بیوگرافی
- پرستاری
- پزشکی
- پزشکی عمومی
- پوشاک
- پیامک
- پیرا پزشکی
- تئاتر
- تاریخ و فرهنگ
- تجارت
- تربیت بدنی و علوم ورزشی
- تغذیه
- جغرافیا
- چاپ و تبلیغات
- حسابداری
- حقوق
- خدمات
- خوشنویسی
- داروسازی
- داستان
- دامداری
- دانلود فایل
- دندان پزشکی
- روان شناسی
- ریاضی
- زبان خارجه
- زبان و ادبیات فارسی
- زمین شناسی
- زنان
- زیست شناسی
- ساختمان
- سایر رشته های پزشکی
- سایر رشته های علوم انسانی
- سایر رشته های علوم پایه
- سایر رشته های فنی مهندسی
- سایر رشته های هنر
- سایر محصولات
- سایر موضوعات اخبار
- سایر موضوعات سرگرمی
- سایر موضوعات کسب و کار
- سیر و سفر
- سینما
- شعر
- شیمی
- صنایع
- صنایع دستی
- صنعت
- طراحی و گرافیک
- طنز
- علوم اجتماعی
- علوم ارتباطات
- علوم تربیتی
- علوم سیاسی
- عمران
- فرهنگ و هنر
- فضا
- فلسفه
- فناوری نانو
- فیزیک
- فیلم نامه نویسی
- کار و سرمایه
- کارآفرینی
- کاردستی
- کامپیوتر
- کامپیوتر و اینترنت
- کسب و کار اینترنتی
- کشاورزی
- کشاورزی و منابع طبیعی
- گرافیک
- لوازم خانگی
- مجالس و مراسم
- مدیریت
- مطبوعات
- معماری
- مهندسی پزشکی
- مهندسی دریا
- مهندسی شیمی
- مهندسی محیط زیست
- مهندسی مکانیک
- مهندسی مواد
- مهندسی هوا و فضا
- موبایل و تلفن
- موزیک
- نرم افزار
- نقاشی
- نقشه برداری
- هنر های تجسمی
- هنرهای نمایشی
- ورزش
معرفی کتاب
دانلود رایگان کتاب
......
به نکات زیر توجه کنید