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

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

❌ بستن

کتاب های Abrial

کتاب های نویسنده
صفحه ۱ از ۱ در بین ۱۵ کتاب.

درباره نویسنده

زبان عبری (עִבְרִית, عیوْریت [ʔivˈʁit] ( ) یا [ʕivˈɾit] ( )) یکی از زبان‌های سامی و زبان بومی در اسرائیل است که بیش از ۹ میلیون گویشور دارد.
    PDF
    Rigorous Development of Complex Fault-Tolerant Systems

    Rigorous Development of Complex Fault-Tolerant Systems

    Jean-Raymond Abrial (auth.), Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna (eds.), 2006
    PDF
    Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

    Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

    Jean-Raymond Abrial (auth.), 2013
    PDF
    Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

    Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

    J. -R. Abrial (auth.), 2007
    PDF
    Rigorous Development of Complex Fault-Tolerant Systems

    Rigorous Development of Complex Fault-Tolerant Systems

    Jean-Raymond Abrial (auth.), 2006
    DJVU
    Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

    Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control

    Jean-Raymond Abrial, 1996
    PDF
    Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

    Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings

    Jean-Raymond Abrial (auth.), 2013
    PDF
    L'Alsace en rouge et blanc

    L'Alsace en rouge et blanc

    Abrial, Annick, 2008
    PDF
    Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

    Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

    J. -R. Abrial, 2008
    DJVU
    B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

    B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

    Jean -Raymond Abrial (auth.), 1998
    PDF
    B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

    B’98: Recent Advances in the Development and Use of the B Method: Second International B Conference Montpellier, France, April 22–24, 1998 Proceedings

    Jean -Raymond Abrial (auth.), 1998
    PDF
    Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

    Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

    J. -R. Abrial, 2008
    PDF
    Couleurs au Point de croix. Plus de 1000 motifs à broder en monochrome

    Couleurs au Point de croix. Plus de 1000 motifs à broder en monochrome

    Annick Abrial, Marie-Anne Réthoret-Mélin, Perrette Samouïloff, 2010
    PDF
    Dicionário Caboverdiano-Português: Variante de Santiago

    Dicionário Caboverdiano-Português: Variante de Santiago

    Nicolas Quint-Abrial, 1998
    PDF
    Modeling in Event-B : system and software engineering

    Modeling in Event-B : system and software engineering

    Jean-Raymond Abrial, 2010
    DJVU
    The B-book : assigning programs to meanings / [...] XD-US

    The B-book : assigning programs to meanings / [...] XD-US

    Jean-Raymond Abrial, 1996

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

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

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

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