تعداد نتایج: 1624

Automated Reasoning

5th International Joint Conference, IJCAR 2010, Edinburgh, U...

Automated Reasoning

Balancing Greenhouse Gas Budgets

Accounting for Natural and Anthropogenic Flows of CO2 and Ot...

Balancing Greenhouse Gas Budgets

Telomeres

Chromosome Sentinels

Telomeres
By Carole Saintome
Publisher: John Wiley & Sons, 2024-07-23
Pages: 404
Language: en
ISBN_13:9781789450972
ISBN_10:1789450977
Subject: Science

Automated Reasoning

9th International Joint Conference, IJCAR 2018, Held as Part...

Automated Reasoning

Frontiers of Combining Systems

13th International Symposium, FroCoS 2021, Birmingham, UK, S...

Frontiers of Combining Systems
By Boris Konev, Giles Reger
Publisher: Springer Nature, 2021-08-31
Pages: 314
Language: en
ISBN_13:9783030862053
ISBN_10:3030862054
Subject: Computers

Intelligent Computer Mathematics

15th International Conference, CICM 2022, Tbilisi, Georgia, ...

Intelligent Computer Mathematics

Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin...

Automated Deduction - CADE-25
By Amy P. Felty, Aart Middeldorp
Publisher: Springer, 2015-07-30
Pages: 648
Language: en
ISBN_13:9783319214016
ISBN_10:3319214012
Subject: Computers

Automated Deduction – CADE 28

28th International Conference on Automated Deduction, Virtua...

Automated Deduction – CADE 28

Description Logic, Theory Combination, and All That

Essays Dedicated to Franz Baader on the Occasion of His 60th...

Description Logic, Theory Combination, and All That

Automated Reasoning and Mathematics

Essays in Memory of William W. McCune

Automated Reasoning and Mathematics
By Maria Paola Bonacina, Mark E. Stickel
Publisher: Springer, 2013-02-28
Pages: 276
Language: en
ISBN_13:9783642366758
ISBN_10:3642366759
Subject: Computers

Neutrons, X-rays, and Light

Scattering Methods Applied to Soft Condensed Matter

Neutrons, X-rays, and Light
By Peter Lindner, Julian Oberdisse
Publisher: Elsevier, 2024-12-06
Pages: 808
Language: en
ISBN_13:9780443291173
ISBN_10:0443291179
Subject: Science

Logic and Argumentation

5th International Conference, CLAR 2023, Hangzhou, China, Se...

Logic and Argumentation
By Andreas Herzig, Jieting Luo, Pere Pardo
Publisher: Springer Nature, 2023-09-02
Pages: 233
Language: en
ISBN_13:9783031408755
ISBN_10:3031408756
Subject: Computers

Logic for Programming, Artificial Intelligence, and Reasoning

16th International Conference, LPAR-16, Dakar, Senegal, Apri...

Logic for Programming, Artificial Intelligence, and Reasoning
By Edmund M. Clarke, Andrei Voronkov
Publisher: Springer, 2010-12-07
Pages: 526
Language: en
ISBN_13:9783642175114
ISBN_10:3642175112
Subject: Computers

Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, German...

Verified Software. Theories, Tools, and Experiments
By Andrei Paskevich, Thomas Wies
Publisher: Springer, 2017-12-15
Pages: 223
Language: en
ISBN_13:9783319723082
ISBN_10:3319723081
Subject: Computers

Automated Reasoning

10th International Joint Conference, IJCAR 2020, Paris, Fran...

Automated Reasoning

سایت دانلود کتاب خارجی

نحوه دانلود و خرید کتاب های خارجی

ابتدا در قسمت جستجوی سایت، کلمه کلیدی مد نظر خود را وارد کنید، سپس فیلتر مد نظر خود را انتخاب کنید که در کدام مشخصه کتاب جستجو انجام شود. پس از انتخاب فیلتر مدنظر خود (نویسنده، ناشر، شناسه ISBN، موضوع و یاهمه قسمت ها دکمه جستجو را بزنید. در نتایج می توانید کتاب خارجی مد نظر خود را انتخاب کنید و سپس درخواست خود را برای خرید کتاب خارجی ثبت کنید.

جستجو و دانلود کتاب لاتین

برای دانلود کتاب های لاتین ابتدا کلمه کلیدی خود را داخل کادر جستجو وارد کنید و سپس زبان مربوطه را انتخاب کنید (انگلیسی، اسپانیایی، فرانسوی، آلمانی و ...) و در نهایت دکمه جستجو را بزنید. از نتایج جستجو کتاب لاتین مد نظر خود را انتخاب کنید و سپس درخواست آن را ثبت کنید. همکاران ما در کمتر چند ساعت درخواست شما را بررسی و قیمت گذاری می کنند.

نحوه ثبت درخواست دانلود کتاب لاتین

پس از جستجو و یافتن کتاب و یا منابع لاتین، روی تصویر کتاب و یا دکمه درخواست کلیک کنید و سپس در صفحه ثبت درخواست، مشخصات کامل درخواست خود را بررسی و ایمیل و شماره تماس خود را وارد کنید. در نهایت همکاران ما هزینه و مدت زمان تهیه کتاب خارجی شما را بررسی و از طریق پیامک و ایمیل به شما اطلاع رسانی خواهند کرد. شما پس از پرداخت وجه روی لینک دانلود کتاب لاتین کلیک کنید و کتاب خود را دانلود و استفاده کنید.

  • کتاب زبان اصلی J.R.R
  • دانلود کتاب لاتین
  • خرید کتاب لاتین
  • خرید مانگا
  • خرید کتاب از گوگل بوکز
  • دانلود رایگان کتاب از گوگل بوکز
  • دانلود رایگان کتاب از آمازون
  • دانلود رایگان کتاب از گوگل بوکز
  • کتاب روانشناسی به انگلیسی
  • کتاب زبان اصلی
  • کتاب خارجی
  • سایت خرید کتاب زبان اصلی
  • درخواست کتاب زبان اصلی
  • سفارش کتاب زبان اصلی
  • خرید کتاب لاتین
  • دانلود کتاب زبان اصلی
  • ضمانت بازگشت وجه بدون شرط
    اعتماد سازی
    انتقال وجه کارت به کارت
    X

    پرداخت وجه کارت به کارت

    شماره کارت : 6104337650971516
    شماره حساب : 8228146163
    شناسه شبا (انتقال پایا) : IR410120020000008228146163
    بانک ملت به نام مهدی تاج دینی

    پس از پرداخت به صورت کارت به کارت، 4 رقم آخر شماره کارت خود را برای ما ارسال کنید.
    X