دانلود کتاب Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

49,000 تومان
کسر خودکار - CADE-20: بیستمین کنفرانس بین المللی کسر خودکار، تالین، استونی، 22-27 ژوئیه، 2005. مجموعه مقالات
موضوع اصلی کنفرانس ها و سمپوزیوم های بین المللی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 466
حجم فایل 4 مگابایت
کد کتاب 3540280057,9783540280057
نوبت چاپ 1

دانلود کتاب Automated Deduction in Classical and Non-Classical Logics: Selected Papers

49,000 تومان
کسر خودکار در منطق کلاسیک و غیر کلاسیک: مقالات منتخب
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 304
حجم فایل 3 مگابایت
کد کتاب 3540671900,9783540671909
نوبت چاپ 1

دانلود کتاب Principles of programming languages

49,000 تومان
اصول زبان های برنامه نویسی
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag London
تعداد صفحه 159
حجم فایل 2 مگابایت
کد کتاب 1848820313,9781848820319
نوبت چاپ 1

دانلود کتاب Principles of Programming Languages

49,000 تومان
اصول زبان های برنامه نویسی
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag London
تعداد صفحه 159
حجم فایل 10 مگابایت
کد کتاب 1848820313,9781848820319,9781848820326
نوبت چاپ 1

دانلود کتاب Proofs and Algorithms: An Introduction to Logic and Computability

49,000 تومان
اثبات ها و الگوریتم ها: مقدمه ای بر منطق و محاسبه پذیری
موضوع اصلی ریاضیات کاربردی
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag London
تعداد صفحه 156
حجم فایل 954 کیلوبایت
کد کتاب 0857291203,9780857291202,9780857291219
نوبت چاپ 1