تگ: اثبات خودکار

اپلیکیشن اندرویدی فلش‌کارت آموزشی اثبات قضایای نظریه اعداد در Lean: مبانی و کاربردها

349,950 تومان

در صورت خرید اقساطی هر قسط: 87,488 تومان

اپلیکیشن اندرویدی فلش‌کارت آموزشی مبانی، پیشرفت‌ها و کاربردهای منطق محاسباتی (Computer Science Logic)

349,950 تومان

در صورت خرید اقساطی هر قسط: 87,488 تومان

اپلیکیشن اندرویدی فلش‌کارت آموزشی اصول مهندسی و تحلیل امنیتی پروتکل‌های شبکه با استفاده از بازرسی خودکار و ثابت‌های اصالت (Provenance Invariants)

349,950 تومان

در صورت خرید اقساطی هر قسط: 87,488 تومان

دوره اصول مهندسی و تحلیل امنیتی پروتکل‌های شبکه با استفاده از بازرسی خودکار و ثابت‌های اصالت (Provenance Invariants) همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

2,490,000 تومان

در صورت خرید اقساطی هر قسط: 622,500 تومان

فلش‌کارت‌های آموزشی اصول مهندسی و تحلیل امنیتی پروتکل‌های شبکه با استفاده از بازرسی خودکار و ثابت‌های اصالت (Provenance Invariants)

399,950 تومان

در صورت خرید اقساطی هر قسط: 99,988 تومان

اپلیکیشن اندرویدی فلش‌کارت آموزشی آموزش اصول منطق ریاضی و پیاده‌سازی اثبات‌های دقیق در سامانه‌های رایانه‌ای

349,950 تومان

در صورت خرید اقساطی هر قسط: 87,488 تومان

کتاب صوتی اصول مهندسی و تحلیل امنیتی پروتکل‌های شبکه با استفاده از بازرسی خودکار و ثابت‌های اصالت (Provenance Invariants)

499,850 تومان

در صورت خرید اقساطی هر قسط: 124,963 تومان

دوره آموزش اصول منطق ریاضی و پیاده‌سازی اثبات‌های دقیق در سامانه‌های رایانه‌ای همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

2,490,000 تومان

در صورت خرید اقساطی هر قسط: 622,500 تومان

اپلیکیشن اندرویدی فلش‌کارت آموزشی مقدمه‌ای بر اثبات‌گر قضیه Lean 5.0: ابزاری برای استدلال صوری و اثبات گزاره‌ها

349,950 تومان

در صورت خرید اقساطی هر قسط: 87,488 تومان

فلش‌کارت‌های آموزشی آموزش اصول منطق ریاضی و پیاده‌سازی اثبات‌های دقیق در سامانه‌های رایانه‌ای

399,950 تومان

در صورت خرید اقساطی هر قسط: 99,988 تومان

دوره اثبات قضایای نظریه اعداد در Lean: مبانی و کاربردها همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

2,490,000 تومان

در صورت خرید اقساطی هر قسط: 622,500 تومان

دوره مقدمه‌ای بر اثبات‌گر قضیه Lean 5.0: ابزاری برای استدلال صوری و اثبات گزاره‌ها همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

2,490,000 تومان

در صورت خرید اقساطی هر قسط: 622,500 تومان

فلش‌کارت‌های آموزشی اثبات قضایای نظریه اعداد در Lean: مبانی و کاربردها

399,950 تومان

در صورت خرید اقساطی هر قسط: 99,988 تومان

فلش‌کارت‌های آموزشی مقدمه‌ای بر اثبات‌گر قضیه Lean 5.0: ابزاری برای استدلال صوری و اثبات گزاره‌ها

399,950 تومان

در صورت خرید اقساطی هر قسط: 99,988 تومان

کتاب صوتی آموزش اصول منطق ریاضی و پیاده‌سازی اثبات‌های دقیق در سامانه‌های رایانه‌ای

499,850 تومان

در صورت خرید اقساطی هر قسط: 124,963 تومان

دوره مبانی، پیشرفت‌ها و کاربردهای منطق محاسباتی (Computer Science Logic) همراه با فلش‌کارت آموزشی — ارائه روی فلش مموری

2,490,000 تومان

در صورت خرید اقساطی هر قسط: 622,500 تومان

کتاب صوتی اثبات قضایای نظریه اعداد در Lean: مبانی و کاربردها

499,850 تومان

در صورت خرید اقساطی هر قسط: 124,963 تومان

فلش‌کارت‌های آموزشی مبانی، پیشرفت‌ها و کاربردهای منطق محاسباتی (Computer Science Logic)

399,950 تومان

در صورت خرید اقساطی هر قسط: 99,988 تومان

کتاب صوتی مقدمه‌ای بر اثبات‌گر قضیه Lean 5.0: ابزاری برای استدلال صوری و اثبات گزاره‌ها

499,850 تومان

در صورت خرید اقساطی هر قسط: 124,963 تومان

کتاب صوتی مبانی، پیشرفت‌ها و کاربردهای منطق محاسباتی (Computer Science Logic)

499,850 تومان

در صورت خرید اقساطی هر قسط: 124,963 تومان

کتاب اصول مهندسی و تحلیل امنیتی پروتکل‌های شبکه با استفاده از بازرسی خودکار و ثابت‌های اصالت (Provenance Invariants) با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB

349,950 تومان

در صورت خرید اقساطی هر قسط: 87,488 تومان

کتاب آموزش اصول منطق ریاضی و پیاده‌سازی اثبات‌های دقیق در سامانه‌های رایانه‌ای با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB

349,950 تومان

در صورت خرید اقساطی هر قسط: 87,488 تومان

کتاب اثبات قضایای نظریه اعداد در Lean: مبانی و کاربردها با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB

349,950 تومان

در صورت خرید اقساطی هر قسط: 87,488 تومان

کتاب مقدمه‌ای بر اثبات‌گر قضیه Lean 5.0: ابزاری برای استدلال صوری و اثبات گزاره‌ها با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB

349,950 تومان

در صورت خرید اقساطی هر قسط: 87,488 تومان