ptcs

  • نظریه اثبات در علوم کامپیوتر: سمینار بین المللی، PTCS 2001 قلعه داگستول، آلمان، 7 تا 12 اکتبر 2001 مجموعه مقالات

    دانلود کتاب Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings (به فارسی: نظریه اثبات در علوم کامپیوتر: سمینار بین المللی، PTCS 2001 قلعه داگستول، آلمان، 7 تا 12 اکتبر 2001 مجموعه مقالات) نوشته شده توسط «Klaus Aehlig – Jan Johannsen – Helmut Schwichtenberg (auth.) – Reinhard Kahle – Peter Schroeder-Heister – Robert Stärk (eds.)» اطلاعات کتاب نظریه اثبات در علوم کامپیوتر: سمینار بین المللی، PTCS 2001 قلعه داگستول، آلمان، 7 تا 12 اکتبر 2001 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Klaus Aehlig – Jan Johannsen…

  • نظریه اثبات در علوم کامپیوتر: سمینار بین المللی، PTCS 2001 قلعه داگستول، آلمان، 7 تا 12 اکتبر 2001 مجموعه مقالات

    دانلود کتاب Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings (به فارسی: نظریه اثبات در علوم کامپیوتر: سمینار بین المللی، PTCS 2001 قلعه داگستول، آلمان، 7 تا 12 اکتبر 2001 مجموعه مقالات) نوشته شده توسط «Klaus Aehlig – Jan Johannsen – Helmut Schwichtenberg (auth.) – Reinhard Kahle – Peter Schroeder-Heister – Robert Stärk (eds.)» اطلاعات کتاب نظریه اثبات در علوم کامپیوتر: سمینار بین المللی، PTCS 2001 قلعه داگستول، آلمان، 7 تا 12 اکتبر 2001 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Klaus Aehlig – Jan Johannsen…

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان