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

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

❌ بستن

کتاب های Edmund M. Clarke

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

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

ادموند کلارک، (به انگلیسی: Edmund Clark) (زاده ۱۰ اکتبر ۱۹۴۷) کارآفرین، بانکدار و مدیر ارشد اجرایی کانادایی است، که در حال حاضر به‌عنوان مدیر عامل اجرایی و رییس هیئت مدیره تورنتو-دومینیون بانک فعالیت می‌کند.
    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
    Model checking

    Model checking

    Edmund M. Clarke Jr., 1999
    DJVU
    Model checking

    Model checking

    Edmund M. Clarke Jr., 1999
    DJVU
    Model Checking

    Model Checking

    Edmund M. Clarke Jr., 1999
    DJVU
    Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings

    Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings

    Edmund M. Clarke (auth.), 1994
    DJVU
    Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

    Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

    Edmund M. Clarke Jr. (auth.), 1991
    PDF
    Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings

    Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings

    Edmund M. Clarke (auth.), 2003
    PDF
    Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

    Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

    Edmund M. Clarke, 2011
    PDF
    Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

    Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

    Edmund M. Clarke (auth.), 2002
    PDF
    Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

    Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

    Edmund M. Clarke (auth.), 2002
    DJVU
    Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

    Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

    Edmund M. Clarke Jr. (auth.), 1996
    PDF
    Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

    Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

    Edmund M. Clarke Jr. (auth.), 1996
    PDF
    Logic for Programming, Artificial Intelligence, and Reasoning

    Logic for Programming, Artificial Intelligence, and Reasoning

    Edmund M. Clarke, 2011
    PDF
    Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

    Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

    Edmund M. Clarke, 2007
    PDF
    Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

    Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

    Edmund M. Clarke, 2012
    PDF
    Handbook of Model Checking

    Handbook of Model Checking

    Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (eds.), 2018
    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 (کتابکو)   |   ارتباط با ما

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