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

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

❌ بستن

نتایج جستجو

برای Mohammad Youssef Hossein Abadi، صفحه ۲ از ۴۶ در بین ۱,۱۳۶ کتاب.
    PDF
    FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

    FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

    Martín Abadi (auth.), Dimitra Giannakopoulou, Dominique Méry (eds.), 2012
    DJVU
    Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

    Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

    Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.), 1989
    PDF
    Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

    Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

    Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.), 1989
    PDF
    Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

    Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

    Martín Abadi, 1992
    PDF
    CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

    CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

    Martín Abadi, 2009
    PDF
    CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

    CONCUR 2009 - Concurrency Theory: 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

    Martín Abadi, 2009
    PDF
    Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

    Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

    Martín Abadi (auth.), 1999
    PDF
    Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

    Foundations of Software Science and Computation Structures: Second International Conference, FOSSACS’99 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’99 Amsterdam, The Netherlands,March 22–28, 1999 Proceedings

    Martín Abadi (auth.), 1999
    PDF
    Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

    Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers

    Martín Abadi, 2014
    PDF
    Advances in Cryptology — CRYPTO ’91: Proceedings

    Advances in Cryptology — CRYPTO ’91: Proceedings

    M. Abadi, 1992
    PDF
    Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

    Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

    Martín Abadi, 1990
    DJVU
    Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

    Logics of Programs: Brooklyn, June 17–19, 1985 Proceedings

    Martin Abadi, 1985
    PDF
    ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

    ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

    Martín Abadi (auth.), 2003
    DJVU
    Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

    Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

    Martín Abadi, 1994
    PDF
    Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

    Programming Languages and Systems — ESOP '94: 5th European Symposium on Programming Edinburg, U.K., April 11–13, 1994 Proceedings

    Martín Abadi, 1994
    PDF
    Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

    Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

    Martín Abadi, 2004
    PDF
    Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

    Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

    Martín Abadi, 2004
    PDF
    Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

    Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

    Martín Abadi (auth.), 2007
    PDF
    Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

    Foundations of Security Analysis and Design IV: FOSAD 2006/2007 Tutorial Lectures

    Martín Abadi (auth.), 2007
    PDF
    Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

    Principles of Security and Trust: Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

    Martín Abadi, 2014
    PDF
    Scientific and Statistical Database Management: 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30–July 2, 2010. Proceedings

    Scientific and Statistical Database Management: 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30–July 2, 2010. Proceedings

    Daniel J. Abadi (auth.), 2010
    PDF
    Scientific and Statistical Database Management: 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30–July 2, 2010. Proceedings

    Scientific and Statistical Database Management: 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30–July 2, 2010. Proceedings

    Daniel J. Abadi (auth.), 2010
    PDF
    Mengenal Kenikmatan Surga Firdaus Yang Kekal Dan Abadi Edisi Bahasa Indonesia

    Mengenal Kenikmatan Surga Firdaus Yang Kekal Dan Abadi Edisi Bahasa Indonesia

    Jannah Firdaus Mediapro
    EPUB
    Israel's Quest for Recognition and Acceptance in Asia: Garrison State Diplomacy

    Israel's Quest for Recognition and Acceptance in Asia: Garrison State Diplomacy

    Jacob Abadi, 2004
    PDF
    A Theory of Objects

    A Theory of Objects

    Martin Abadi, Luca Cardelli, 1998
    |< ۱ ۲ ۳ ۴ ۵ ۶ ۷ >|

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

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

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

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