دانلود کتاب Computability, complexity, logic

49,000 تومان
قابلیت محاسبه، پیچیدگی، منطق
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر North-Holland
تعداد صفحه 612
حجم فایل 4 مگابایت
کد کتاب 0444874062,9780444874061,9780080887043
نوبت چاپ 1

دانلود کتاب Computability, Complexity, Logic

49,000 تومان
محاسبه پذیری، پیچیدگی، منطق
موضوع اصلی منطق
نوع کالا کتاب الکترونیکی
ناشر North Holland
تعداد صفحه 614
حجم فایل 26 مگابایت
کد کتاب 0444874062,9780444874061,9780080887043
نوبت چاپ 1

دانلود کتاب Computability, Complexity, Logic

49,000 تومان
محاسبه پذیری، پیچیدگی، منطق
موضوع اصلی الگوریتم ها و ساختارهای داده
نوع کالا کتاب الکترونیکی
ناشر North Holland
تعداد صفحه 611
حجم فایل 4 مگابایت
کد کتاب 0444874062,9780444874061,9780080887043
نوبت چاپ 1

دانلود کتاب Computer Science Logic: 6th Workshop, CSL ’92 San Miniato, Italy, September 28 – October 2, 1992 Selected Papers

49,000 تومان
منطق علوم کامپیوتر: ششمین کارگاه، CSL '92 San Miniato، ایتالیا، 28 سپتامبر – 2 اکتبر 1992 مقالات منتخب
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 439
حجم فایل 4 مگابایت
کد کتاب 3540569928,9783540569923
نوبت چاپ 1

دانلود کتاب Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

49,000 تومان
منطق و ماشین ها: مسائل تصمیم گیری و پیچیدگی: مجموعه مقالات سمپوزیوم "ترکیب های بازگشتی" که از 23 تا 28 می 1983 در موسسه منطق ریاضی و تحقیقات پایه در دانشگاه مونستر/وستفالن برگزار شد.
موضوع اصلی فن آوری
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 460
حجم فایل 3 مگابایت
کد کتاب 3540133313,9783540133315
نوبت چاپ 1

دانلود کتاب Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory

49,000 تومان
مجموعه مقالات کولوکیوم منطق. در آخن، 18 تا 23 ژوئیه، 1983 برگزار شد: بخش 2: محاسبات و نظریه اثبات
موضوع اصلی ریاضیات محاسباتی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 483
حجم فایل 3 مگابایت
کد کتاب 354013901X,9783540139010
نوبت چاپ 1