دانلود کتاب Lectures on the logic of computer programming

49,000 تومان
سخنرانی در مورد منطق برنامه نویسی کامپیوتر
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Society for Industrial and Applied Mathematics
تعداد صفحه 57
حجم فایل 312 کیلوبایت
کد کتاب 9780898711646,0898711649

دانلود کتاب Lectures on the logic of computer programming

49,000 تومان
سخنرانی در مورد منطق برنامه نویسی کامپیوتر
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Society for Industrial and Applied Mathematics
تعداد صفحه 57
حجم فایل 269 کیلوبایت
کد کتاب 9780898711646,0898711649

دانلود کتاب Lectures on the logic of computer programming

49,000 تومان
سخنرانی در مورد منطق برنامه نویسی کامپیوتر
موضوع اصلی برنامه نویسی
نوع کالا کتاب الکترونیکی
ناشر Society for Industrial and Applied Mathematics
تعداد صفحه 57
حجم فایل 258 کیلوبایت
کد کتاب 9780898711646,0898711649

دانلود کتاب Lectures on the Logic of Computer Programming

49,000 تومان
سخنرانی در مورد منطق برنامه نویسی کامپیوتر
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Society for Industrial Mathematics
تعداد صفحه 57
حجم فایل 2 مگابایت
کد کتاب 9780898711646,0898711649

دانلود کتاب Lectures on the Logic of Computer Programming

49,000 تومان
سخنرانی در مورد منطق برنامه نویسی کامپیوتر
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Society for Industrial Mathematics
تعداد صفحه 52
حجم فایل 331 کیلوبایت
کد کتاب 0898711649,9780898711646

دانلود کتاب Lectures on the Logic of Computer Programming

49,000 تومان
سخنرانی در مورد منطق برنامه نویسی کامپیوتر
موضوع اصلی کامپیوترها
نوع کالا کتاب الکترونیکی
ناشر Society for Industrial Mathematics
تعداد صفحه 53
حجم فایل 312 کیلوبایت
کد کتاب 9780898711646,0898711649

دانلود کتاب Mathematical Theory of Computation

49,000 تومان
تئوری ریاضی محاسبات
موضوع اصلی ریاضیات
نوع کالا کتاب الکترونیکی
ناشر Dover Publications
تعداد صفحه 73
حجم فایل 15 مگابایت
کد کتاب 0486432386,9780486432380

دانلود کتاب Mathematical Theory of Computation

49,000 تومان
تئوری ریاضی محاسبات
موضوع اصلی ریاضیات
نوع کالا کتاب الکترونیکی
ناشر Mcgraw-Hill College
تعداد صفحه 459
حجم فایل 3 مگابایت
کد کتاب 0070399107

دانلود کتاب The Calculus of Computation: Decision Procedures with Applications to Verification

49,000 تومان
حساب محاسباتی: رویه‌های تصمیم‌گیری با کاربردهایی برای تأیید
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 375
حجم فایل 2.62 مگابایت
کد کتاب 3540741127 , 9783540741121
نوبت چاپ 1

دانلود کتاب Time for Verification: Essays in Memory of Amir Pnueli

49,000 تومان
زمان تأیید: مقالاتی به یاد امیر پنولی
موضوع اصلی کامپیوتر - علوم کامپیوتر
نوع کالا کتاب الکترونیکی
ناشر Springer-Verlag Berlin Heidelberg
تعداد صفحه 413 / 407
حجم فایل 3.93 مگابایت
کد کتاب 3642137539 , 9783642137532
نوبت چاپ 1