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

چاپ کتاب PDF,

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

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

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

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

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

Automated Reasoning

4th International Joint Conference, IJCAR 2008, Sydney, NSW,...

Automated Reasoning

Programming Languages and Systems

8th European Symposium on Programming, ESOP'99 Held as Part ...

Programming Languages and Systems
By S. Doaitse Swierstra
Publisher: Springer, 2003-07-31
Pages: 317
Language: en
ISBN_13:9783540490999
ISBN_10:354049099X
Subject: Computers

Programming Languages and Systems

18th European Symposium on Programming, ESOP 2009, Held as P...

Programming Languages and Systems

A Machine-Checked, Type-Safe Model of Java Concurrency

Language, Virtual Machine, Memory Model, and Verified Compil...

A Machine-Checked, Type-Safe Model of Java Concurrency
By Andreas Lochbihler
Publisher: KIT Scientific Publishing, 2014-06-04
Pages: 440
Language: en
ISBN_13:9783866448858
ISBN_10:3866448856
Subject: Computers

Interactive Theorem Proving

8th International Conference, ITP 2017, Brasília, Brazil, Se...

Interactive Theorem Proving
By Mauricio Ayala-Rincón, César A. Muñoz
Publisher: Springer, 2017-09-04
Pages: 550
Language: en
ISBN_13:9783319661070
ISBN_10:3319661078
Subject: Mathematics

Logic, Language, Information and Computation

17th International Workshop, WoLLIC 2010, Brasilia, Brazil, ...

Logic, Language, Information and Computation

Languages and Compilers for Parallel Computing

27th International Workshop, LCPC 2014, Hillsboro, OR, USA, ...

Languages and Compilers for Parallel Computing
By James Brodman, Peng Tu
Publisher: Springer, 2015-04-30
Pages: 398
Language: en
ISBN_13:9783319174730
ISBN_10:3319174738
Subject: Computers

Theorem Proving in Higher Order Logics

21st International Conference, TPHOLs 2008, Montreal, Canada...

Theorem Proving in Higher Order Logics
By Otmane Ait Mohamed, César Munoz, Sofiène Tahar
Publisher: Springer, 2008-10-04
Pages: 330
Language: en
ISBN_13:9783540710677
ISBN_10:3540710671
Subject: Computers

Certified Programs and Proofs

Second International Conference, CPP 2012, Kyoto, Japan, Dec...

Certified Programs and Proofs
By Chris Hawblitzel, Dale Miller
Publisher: Springer, 2012-11-08
Pages: 314
Language: en
ISBN_13:9783642353086
ISBN_10:3642353088
Subject: Computers

Interactive Theorem Proving

First International Conference, ITP 2010 Edinburgh, UK, July...

Interactive Theorem Proving
By Matt Kaufmann, Lawrence C. Paulson
Publisher: Springer, 2010-07-13
Pages: 505
Language: en
ISBN_13:9783642140525
ISBN_10:3642140521
Subject: Computers

Theorem Proving in Higher Order Logics

13th International Conference, TPHOLs 2000 Portland, OR, USA...

Theorem Proving in Higher Order Logics
By Mark Aagaard, John Harrison
Publisher: Springer, 2007-07-23
Pages: 546
Language: en
ISBN_13:9783540446590
ISBN_10:3540446591
Subject: Computers

Theorem Proving in Higher Order Logics

14th International Conference, TPHOLs 2001, Edinburgh, Scotl...

Theorem Proving in Higher Order Logics
By Richard J. Boulton, Paul B. Jackson
Publisher: Springer, 2003-06-30
Pages: 405
Language: en
ISBN_13:9783540447559
ISBN_10:3540447555
Subject: Computers

Foundations of Information and Knowledge Systems

8th International Symposium, FoIKS 2014, Bordeaux, France, M...

Foundations of Information and Knowledge Systems
By Christoph Beierle, Carlo Meghini
Publisher: Springer, 2014-02-20
Pages: 433
Language: en
ISBN_13:9783319049397
ISBN_10:3319049399
Subject: Mathematics

Logic, Language, Information, and Computation

25th International Workshop, WoLLIC 2018, Bogota, Colombia, ...

Logic, Language, Information, and Computation

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

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

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

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

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

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

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

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

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

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

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