دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
دانلود کتاب کسر خودکار - Cade 27: 27 کنفرانس بین المللی کسر خودکار ، ناتال ، برزیل ، 27-30 اوت 2019 ، مجموعه مقالات
مشخصات کتاب
Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
ویرایش: [1st ed. 2019]
نویسندگان: Pascal Fontaine
سری: Lecture Notes in Computer Science 11716
ISBN (شابک) : 9783030294359, 9783030294366
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: XXIII, 582
[603]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 18 Mb
قیمت کتاب (تومان) : 69,000
در صورت تبدیل فایل کتاب Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کسر خودکار - Cade 27: 27 کنفرانس بین المللی کسر خودکار ، ناتال ، برزیل ، 27-30 اوت 2019 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Learning Python Design Patterns (Code Only)
دانلود کتاب Rethinking Violence against Women
دانلود کتاب Climate Crisis and the Global Green New Deal
