ثبت نام  |   ورود
امکانات دانلود کتابکو است و همیشه خواهد ماند
کتاب دانلود کتاب و مقاله
جستجوی
پیشرفته
MENU
  • درباره ما
  • بحث و تبادل نظر
  • ارسال کتاب
  • درخواست کتاب
  • دانلود مقاله ISI
  • دسته بندی کتاب ها
  • کتاب ها
  • صفحه اصلی

کتابکو موتور جستجوی کتاب های الکترونیکی در سطح اینترنت می باشد که همانند سایر موتورهای جستجو - مثلا گوگل - می تواند کتاب ها و اطلاعات مربوط به آن ها را استخراج و ایندکس نماید. در میان جستجو و ایندکس کردن کتاب ها، ممکن است کتابکو محتوای شامل کپی رایت را نیز ایندکس نماید. این فرآیند کاملا اجتناب ناپذیر است. چرا که ربات کتابکو محتوای شامل کپی رایت را از غیر آن تشخیص نمی دهد. دقیقا مانند موتور جستجوی عکس گوگل و یا گوگل اسکلار که ممکن است شامل محتوای دارای کپی رایت نیز باشد. ما کتاب ها را اسکن و آپلود نمی کنیم. استفاده از منابع این سایت تماما با مسئولیت و اطلاع استفاده کننده خواهد بود. اگر شما محتوای خود را در کتاب یافتید و خواستار حذف آن بودید، با ارسال یک ایمیل به دپارتمان حذف آثار از طریق "این ایمیل"، درخواست خود را ارسال نمایید. کتاب شما در کمتر از یک روز کاری حذف خواهد شد.

❌ بستن

کتاب های Thomas Streicher

کتاب های نویسنده
صفحه ۱ از ۱ در بین ۱۲ کتاب.
    PDF
    Domain-theoretic Foundations of Functional Programming

    Domain-theoretic Foundations of Functional Programming

    Thomas Streicher, 2006
    DJVU
    Domain-theoretic foundations of functional programming

    Domain-theoretic foundations of functional programming

    Thomas Streicher, 2006
    PDF
    Domain-theoretic Foundations of Functional Programming

    Domain-theoretic Foundations of Functional Programming

    Thomas Streicher, 2006
    PDF
    Domain-theoretic Foundations of Functional Programming

    Domain-theoretic Foundations of Functional Programming

    Thomas Streicher, 2006
    PDF
    Semantics of Type Theory: Correctness, Completeness and Independence Results

    Semantics of Type Theory: Correctness, Completeness and Independence Results

    Thomas Streicher (auth.), 1991
    PDF
    Introduction to Category Theory and Categorical Logic [Lecture notes]

    Introduction to Category Theory and Categorical Logic [Lecture notes]

    Thomas Streicher, 2017
    PDF
    Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]

    Allgemeine Algebra für Informatiker und Wirtschaftsinformatiker [Lecture notes]

    Thomas Streicher, 2002
    PDF
    Logik für Informatiker [Lecture notes]

    Logik für Informatiker [Lecture notes]

    Thomas Streicher, 2002
    PDF
    Categorical Models of Constructive Logic [Lecture notes]

    Categorical Models of Constructive Logic [Lecture notes]

    Thomas Streicher, 2013
    PDF
    Fibred categories à la Jean Bénabou [Lecture notes]

    Fibred categories à la Jean Bénabou [Lecture notes]

    Thomas Streicher, 2017
    PDF
    Introduction to Constructive Logic and Mathematics [Lecture notes]

    Introduction to Constructive Logic and Mathematics [Lecture notes]

    Thomas Streicher, 2009
    PDF
    Realizability [Lecture notes]

    Realizability [Lecture notes]

    Thomas Streicher, 2013

دانلود کتاب   |   کتاب ها   |   نرم افزارهای مفید

کتابکو چگونه کار می کند   |   درخواست حذف اثر   |   راهنمای کسب امتیاز   |   سیاست حفظ حریم خصوصی   |   سیاست ضد هرزنامه

کپی رایت ۲۰۱۴ تا ۲۰۲۵, ketabkoo.com (کتابکو)   |   ارتباط با ما

تمامی كالاها و خدمات این سایت، حسب مورد، دارای مجوزهای لازم از مراجع مربوطه می باشند و فعالیت‌های این سایت تابع قوانین و مقررات جمهوری اسلامی ایران است.