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

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

❌ بستن

کتاب های Lamport L.

کتاب های نویسنده
صفحه ۱ از ۲ در بین ۲۷ کتاب.
    PDF
    Distributed Operating Systems: Theory and Practice

    Distributed Operating Systems: Theory and Practice

    Leslie Lamport (auth.), Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit (eds.), 1987
    BZ2
    Draft LaTeX manual (TeX source).tar

    Draft LaTeX manual (TeX source).tar

    Lamport., 1984
    DJVU
    LaTeX, a document preparation system

    LaTeX, a document preparation system

    Leslie Lamport, 1994
    PDF
    LaTeX: A Document Preparation System

    LaTeX: A Document Preparation System

    Leslie Lamport, 1994
    DJVU
    LaTeX: a document-preparation system

    LaTeX: a document-preparation system

    Leslie Lamport, 1994
    PDF
    Test File

    Test File

    Lamport L., 1984
    DJVU
    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, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.), 1992
    DJVU
    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, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.), 1990
    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
    DJVU
    Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

    Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

    Leslie Lamport (auth.), 1993
    PDF
    Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

    Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

    Leslie Lamport (auth.), 1993
    DJVU
    CONCURRENCY 88: International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings

    CONCURRENCY 88: International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings

    L. Lamport (auth.), 1988
    PDF
    CONCURRENCY 88: International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings

    CONCURRENCY 88: International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings

    L. Lamport (auth.), 1988
    DJVU
    LATEX : a document preparation system

    LATEX : a document preparation system

    Leslie Lamport, 1994
    PDF
    LaTeX: A Document Preparation System

    LaTeX: A Document Preparation System

    Leslie Lamport, 1994
    DJVU
    LaTeX: A Document Preparation System, Second Edition

    LaTeX: A Document Preparation System, Second Edition

    Leslie Lamport, 1994
    PDF
    LaTeX: User's Guide and Reference Manual.A Document Preparation System

    LaTeX: User's Guide and Reference Manual.A Document Preparation System

    Leslie Lamport, 1994
    PDF
    Specifying systems: errata

    Specifying systems: errata

    Lamport L., 2010
    PDF
    Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

    Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

    Leslie Lamport, 2002
    PDF
    Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineering

    Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineering

    Lamport L., 2002
    PDF
    The Philosophical Legacy of Behaviorism

    The Philosophical Legacy of Behaviorism

    Michael Lamport Commons, 1999
    PDF
    How to Write a 21st Century Proof

    How to Write a 21st Century Proof

    Leslie Lamport, 2011
    EPUB
    Encyclopedia of Martin Luther and the Reformation. Vol. 1. A-L. Vol. 2. M-Z

    Encyclopedia of Martin Luther and the Reformation. Vol. 1. A-L. Vol. 2. M-Z

    Mark A Lamport (ed.), 2017
    PDF
    Encyclopedia of Christian Education

    Encyclopedia of Christian Education

    George Thomas Kurian, Mark A. Lamport (eds.), 2015
    ۱ ۲ >|

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

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

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

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