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

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

❌ بستن

کتاب های O. Grumberg

کتاب های نویسنده
صفحه ۱ از ۱ در بین ۹ کتاب.
    PDF
    Formal Logical Methods for System Security and Correctness

    Formal Logical Methods for System Security and Correctness

    Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller, 2008
    DJVU
    25 Years of Model Checking: History, Achievements, Perspectives

    25 Years of Model Checking: History, Achievements, Perspectives

    Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008
    PDF
    25 Years of Model Checking: History, Achievements, Perspectives

    25 Years of Model Checking: History, Achievements, Perspectives

    Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.), 2008
    DJVU
    Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings

    Correct Hardware Design and Verification Methods: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95 Frankfurt/Main, Germany, October 2–4, 1995 Proceedings

    Hardi Hungar, Orna Grumberg (auth.), Paolo E. Camurati, Hans Eveking (eds.), 1995
    PDF
    Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

    Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

    Rance Cleaveland (auth.), Orna Grumberg, Michael Huth (eds.), 2007
    PDF
    Software Systems Safety

    Software Systems Safety

    O. Grumberg, 2014
    EPUB
    A Mercadoria Mais Preciosa

    A Mercadoria Mais Preciosa

    Jean-Claude Grumberg
    PDF
    Hebrew Gothic: History and the Poetics of Persecution

    Hebrew Gothic: History and the Poetics of Persecution

    Karen Grumberg, 2019
    EPUB
    Model Checking (Cyber Physical Systems Series)

    Model Checking (Cyber Physical Systems Series)

    Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith, 2018

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

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

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

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