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

Automated Deduction - CADE-15

15th International Conference on Automated Deduction, Lindau...

Automated Deduction - CADE-15

Automated Deduction - CADE-15

15th International Conference on Automated Deduction, Lindau...

Automated Deduction - CADE-15
By Claude Kirchner, Helene Kirchner
Publisher: Springer, 2014-10-08
Pages: 450
Language: en
ISBN_10:3662196786
ISBN_13:9783662196786
Subject: Computers

Automated Deduction – CADE 28

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

Automated Deduction – CADE 28

Automated Deduction - CADE-16

16th International Conference on Automated Deduction, Trento...

Automated Deduction - CADE-16
By Harald Ganzinger
Publisher: Springer, 2003-07-31
Pages: 442
Language: en
ISBN_13:9783540486602
ISBN_10:3540486607
Subject: Computers

Automated Deduction - CADE 28

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

Automated Deduction - CADE 28

Automated Deduction, CADE-11

11th International Conference on Automated Deduction, Sarato...

Automated Deduction, CADE-11
By Deepak Kapur
Publisher: Springer, 1992
Pages: 920
Language: en
OTHER:UCAL:$B224247
Subject: Computers

Automated Deduction - Cade-13

13th International Conference on Automated Deduction, New Br...

Automated Deduction - Cade-13

Automated Deduction, Cade-12.

12th International Conference on Automated Deduction, Nancy,...

Automated Deduction, Cade-12.
By Alan Bundy
Publisher: Springer Science & Business Media, 1994-06-08
Pages: 874
Language: en
ISBN_10:3540581561
ISBN_13:9783540581567
Subject: Computers

Automated Deduction -- CADE-23

23rd International Conference on Automated Deduction, Wrocła...

Automated Deduction -- CADE-23

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-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

Automated Deduction in Geometry

Third International Workshop, ADG 2000, Zurich, Switzerland,...

Automated Deduction in Geometry

Automated Deduction – CADE-20

20th International Conference on Automated Deduction, Tallin...

Automated Deduction – CADE-20

Automated Deduction - CADE-21

21st International Conference on Automated Deduction, Bremen...

Automated Deduction - CADE-21
By Frank Pfenning
Publisher: Springer Science & Business Media, 2007-07-05
Pages: 532
Language: en
ISBN_13:9783540735946
ISBN_10:3540735941
Subject: Computers

Automated Reasoning

First International Joint Conference, IJCAR 2001 Siena, Ital...

Automated Reasoning
By Rajeev Gore, Alexander Leitsch, Tobias Nipkow
Publisher: Springer, 2003-06-29
Pages: 721
Language: en
ISBN_13:9783540457442
ISBN_10:3540457445
Subject: Computers

Automated Deduction -- CADE-24

24th International Conference on Automated Deduction, Lake P...

Automated Deduction -- CADE-24
By Maria Paola Bonacina
Publisher: Springer, 2013-06-04
Pages: 479
Language: en
ISBN_13:9783642385742
ISBN_10:3642385745
Subject: Computers

Logic for Programming, Artificial Intelligence, and Reasoning

8th International Conference, LPAR 2001, Havana, Cuba, Decem...

Logic for Programming, Artificial Intelligence, and Reasoning
By Robert Nieuwenhuis, Andrei Voronkov
Publisher: Springer, 2003-06-30
Pages: 752
Language: en
ISBN_13:9783540456537
ISBN_10:3540456538
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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