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

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

❌ بستن

نتایج جستجو

برای Rajeev Alur، صفحه ۱ از ۷ در بین ۱۶۷ کتاب.
    PDF
    Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

    Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

    Rajeev Alur, 2004
    PDF
    Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

    Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures

    Rajeev Alur, 2004
    PDF
    Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

    Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

    Rajeev Alur, 2011
    RAR
    A really temporal logic

    A really temporal logic

    Rajeev Alur, 2007
    PDF
    A really temporal logic

    A really temporal logic

    Rajeev Alur, 2007
    PDF
    Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

    Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

    Rajeev Alur, 2011
    DJVU
    Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

    Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

    Rajeev Alur, 1994
    PDF
    Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

    Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

    Rajeev Alur (auth.), 2008
    PDF
    Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

    Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II

    Rajeev Alur, 2011
    PDF
    Developments in Language Theory: 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

    Developments in Language Theory: 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

    Rajeev Alur, 2006
    PDF
    Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

    Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

    Rajeev Alur (auth.), 2004
    PDF
    Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

    Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings

    Rajeev Alur (auth.), 2004
    PDF
    Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

    Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

    Rajeev Alur (auth.), 2011
    PDF
    Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

    Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

    Rajeev Alur (auth.), 2011
    PDF
    Principles of Cyber-Physical Systems

    Principles of Cyber-Physical Systems

    Rajeev Alur, 2015
    7Z
    Principles of Cyber-Physical Systems (Complete Instructor's Resources, Solution Manual) (Solutions)

    Principles of Cyber-Physical Systems (Complete Instructor's Resources, Solution Manual) (Solutions)

    Rajeev Alur, 2015
    PDF
    Indian National Mathematics Olympiad Conducted by HBCSE with Solved Papers of RMO INMO 2016-2019 Part 2 from Page 336 Inequalities Solutions Rajeev Manocha Arihant

    Indian National Mathematics Olympiad Conducted by HBCSE with Solved Papers of RMO INMO 2016-2019 Part 2 from Page 336 Inequalities Solutions Rajeev Manocha Arihant

    Rajeev Manocha, 2020
    PDF
    Indian National Mathematics Olympiad Conducted by HBCSE with Solved Papers of RMO INMO 2016-2019 Part 1 upto Page 335 Inequalities Problems Rajeev Manocha Arihant

    Indian National Mathematics Olympiad Conducted by HBCSE with Solved Papers of RMO INMO 2016-2019 Part 1 upto Page 335 Inequalities Problems Rajeev Manocha Arihant

    Rajeev Manocha Arihant, 2020
    PDF
    Handbook of Networked and Embedded Control Systems

    Handbook of Networked and Embedded Control Systems

    R. Alur, K.-E. Arzen, John Baillieul, T.A. Henzinger, Dimitrios Hristu-Varsakelis, William S. Levine, 2005
    PDF
    Handbook of Networked and Embedded Control Systems

    Handbook of Networked and Embedded Control Systems

    R. Alur, K.-E. Arzen, John Baillieul, T.A. Henzinger, Dimitrios Hristu-Varsakelis, William S. Levine, 2005
    PDF
    Core J2EE Patterns: Best Practices and Design Strategies

    Core J2EE Patterns: Best Practices and Design Strategies

    Booch, Grady; Crupi, John; Fowler, Martin; Malks, Dan; Alur, Deepak, 2003
    CHM
    Core J2EE Patterns: Best Practices and Design Strategies

    Core J2EE Patterns: Best Practices and Design Strategies

    Deepak Alur, 2003
    CHM
    Core J2EE Patterns: Best Practices and Design Strategies

    Core J2EE Patterns: Best Practices and Design Strategies

    Deepak Alur, 2003
    CHM
    Core J2EE Patterns: Best Practices and Design Strategies

    Core J2EE Patterns: Best Practices and Design Strategies

    Deepak Alur, 2003
    PDF
    Core J2EE Patterns: Best Practices and Design Strategies

    Core J2EE Patterns: Best Practices and Design Strategies

    Deepak Alur, 2003
    ۱ ۲ ۳ ۴ ۵ ۶ >|

    مقالات ISI مرتبط

    A polyaniline/graphene oxide nanocomposite as a voltammetric sensor for electroanalytical detection of clonazepam Analytical Methods (RSC Publishing)
    Rajeev Jain, Ankita Sinha, Navneeta Kumari, Ab Lateef Kha
    Evaluating performance of engineering departments in an Indian University using DEMATEL and compromise ranking methods
    Rajeev Ranjan, Prasenjit Chatterjee, Shankar Chakrabort
    UV radiation-induced changes of antioxidant capacity of fresh-cut tropical fruits
    Mohammad Alothman, Rajeev Bhat, A.A. Kari
    Removal of Cadmium Ion from Water/Wastewater by Nano-metal Oxides: A Review
    Rajeev Kumar, Jyoti Chawl
    Data Stream Management

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

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

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

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