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

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

❌ بستن

کتاب های Peter Aczel

کتاب های نویسنده
صفحه ۱ از ۱ در بین ۱۲ کتاب.
    PDF
    Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

    Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990

    Peter Aczel, Harold Simmons, Stanley S. Wainer, 1993
    DJVU
    Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

    Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

    Peter Aczel (auth.), 1994
    PDF
    Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

    Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

    Peter Aczel, 2002
    PDF
    Types for Proofs and Programs: International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers

    Types for Proofs and Programs: International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers

    Peter Aczel (auth.), 1999
    PDF
    Conference in Mathematical Logic — London ’70

    Conference in Mathematical Logic — London ’70

    Peter Aczel, 1972
    PDF
    Non-Well-Founded Sets

    Non-Well-Founded Sets

    Peter Aczel, 1988
    DJVU
    Non-Well-Founded Sets

    Non-Well-Founded Sets

    Peter Aczel, 1988
    PDF
    Logic of Computation

    Logic of Computation

    Peter Aczel (auth.), 1997
    DJVU
    Logic of Computation

    Logic of Computation

    Peter Aczel (auth.), 1997
    PDF
    Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

    Types for Proofs and Programs: International Workshop, TYPES 2000 Durham, UK, December 8–12, 2000 Selected Papers

    Peter Aczel, 2002
    DJVU
    Situation Theory and Its Applications

    Situation Theory and Its Applications

    Peter Aczel, David Israel, Yasuhiro Katagiri, Stanley Peters (eds.), 1993
    PDF
    Situation Theory and Its Applications

    Situation Theory and Its Applications

    Peter Aczel, David Israel, Yasuhiro Katagiri, Stanley Peters (eds.), 1993

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

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

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

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