خرید کتاب از گوگل

چاپ کتاب PDF,

خرید کتاب از آمازون,

خرید کتاب زبان اصلی,

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

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

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

Theorem Proving in Higher Order Logics

17th International Conference, TPHOLS 2004, Park City, Utah,...

Theorem Proving in Higher Order Logics

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

Isabelle/HOL

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami B...

Automated Deduction - CADE-19
By Franz Baader
Publisher: Springer Science & Business Media, 2003-07-16
Pages: 517
Language: en
ISBN_13:9783540405597
ISBN_10:3540405593
Subject: Computers
Symbolic Computation and Automated Reasoning
By Manfred Kerber, Michael Kohlhase
Publisher: CRC Press, 2001-04-02
Pages: 283
Language: en
ISBN_13:9781439864234
ISBN_10:1439864233
Subject: Mathematics

Artificial Intelligence in Healthcare

First International Conference, AIiH 2024, Swansea, UK, Sept...

Artificial Intelligence in Healthcare
By Xianghua Xie
Publisher: Springer Nature,
Pages: 353
Language: en
ISBN_13:9783031672859
ISBN_10:3031672852

Interactive Theorem Proving

Second International Conference, ITP 2011, Berg en Dal, The ...

Interactive Theorem Proving

Automated Deduction – CADE 26

26th International Conference on Automated Deduction, Gothen...

Automated Deduction – CADE 26
By Leonardo de Moura
Publisher: Springer, 2017-07-09
Pages: 593
Language: en
ISBN_13:9783319630465
ISBN_10:3319630466
Subject: Computers

Computation, Proof, Machine

Mathematics Enters a New Age

Computation, Proof, Machine
By Gilles Dowek
Publisher: Cambridge University Press, 2015-05-05
Pages: 161
Language: en
ISBN_13:9781316380925
ISBN_10:1316380920
Subject: Computers

Logic Programming and Automated Reasoning

6th International Conference, LPAR'99, Tbilisi, Georgia, Sep...

Logic Programming and Automated Reasoning

Business Process Management Workshops

BPM 2014 International Workshops, Eindhoven, The Netherlands...

Business Process Management Workshops
By Fabiana Fournier, Jan Mendling
Publisher: Springer, 2015-04-11
Pages: 618
Language: en
ISBN_13:9783319158952
ISBN_10:3319158953
Subject: Computers

Automated Reasoning

6th International Joint Conference, IJCAR 2012, Manchester, ...

Automated Reasoning
By Bernhard Gramlich, Dale Miller, Ulrike Sattler
Publisher: Springer, 2012-06-22
Pages: 582
Language: en
ISBN_13:9783642313653
ISBN_10:3642313655
Subject: Mathematics

Logic-Based Program Synthesis and Transformation

28th International Symposium, LOPSTR 2018, Frankfurt/Main, G...

Logic-Based Program Synthesis and Transformation
By Fred Mesnard, Peter J. Stuckey
Publisher: Springer, 2019-03-19
Pages: 212
Language: en
ISBN_13:9783030138387
ISBN_10:3030138380
Subject: Computers

Automated Deduction in Geometry

6th International Workshop, ADG 2006, Pontevedra, Spain, Aug...

Automated Deduction in Geometry
By Francisco Botana, Tomas Recio
Publisher: Springer, 2007-12-06
Pages: 221
Language: en
ISBN_13:9783540773566
ISBN_10:3540773568
Subject: Mathematics

Diagrammatic Representation and Inference

6th International Conference, Diagrams 2010, Portland, OR, U...

Diagrammatic Representation and Inference

Theorem Proving in Higher Order Logics

18th International Conference, TPHOLs 2005, Oxford, UK, Augu...

Theorem Proving in Higher Order Logics
By Joe Hurd, Tom Melham
Publisher: Springer, 2005-08-29
Pages: 418
Language: en
ISBN_13:9783540318200
ISBN_10:3540318208
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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