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

چاپ کتاب PDF,

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

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

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

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

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

Automated Reasoning

8th International Joint Conference, IJCAR 2016, Coimbra, Por...

Automated Reasoning
By Nicola Olivetti, Ashish Tiwari
Publisher: Springer, 2016-06-13
Pages: 581
Language: en
ISBN_13:9783319402291
ISBN_10:3319402293
Subject: Mathematics

Überprüfung der Erfüllbarkeit im Endlichen

ein Verfahren und seine Anwendung

Überprüfung der Erfüllbarkeit im Endlichen
By Sunna Torge
Publisher: Herbert Utz Verlag, 1998
Pages: 168
Language: de
ISBN_10:3896754572
ISBN_13:9783896754578

Logic, Language and Reasoning

Essays in Honour of Dov Gabbay

Logic, Language and Reasoning
Publisher: IOS Press,
Pages: 7289
Language: en

Automated Reasoning

12th International Joint Conference, IJCAR 2024, Nancy, Fran...

Automated Reasoning

AI*IA 2015 Advances in Artificial Intelligence

XIVth International Conference of the Italian Association fo...

AI*IA 2015 Advances in Artificial Intelligence
By Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi
Publisher: Springer, 2015-09-09
Pages: 482
Language: en
ISBN_13:9783319243092
ISBN_10:3319243098
Subject: Computers

Logical Foundations of Computer Science

International Symposium, LFCS 2020, Deerfield Beach, FL, USA...

Logical Foundations of Computer Science
By Sergei Artemov, Anil Nerode
Publisher: Springer Nature, 2019-12-13
Pages: 297
Language: en
ISBN_13:9783030367558
ISBN_10:303036755X
Subject: Mathematics

Automated Reasoning with Analytic Tableaux and Related Methods

30th International Conference, TABLEAUX 2021, Birmingham, UK...

Automated Reasoning with Analytic Tableaux and Related Methods
By Anupam Das, Sara Negri
Publisher: Springer Nature, 2021-08-31
Pages: 476
Language: en
ISBN_13:9783030860592
ISBN_10:3030860590
Subject: Computers

Automated Reasoning with Analytic Tableaux and Related Methods

18th International Conference, TABLEAUX 2009, Oslo, Norway, ...

Automated Reasoning with Analytic Tableaux and Related Methods
By Martin Giese, Arild Waaler
Publisher: Springer, 2009-10-20
Pages: 352
Language: en
ISBN_13:9783642027161
ISBN_10:3642027164
Subject: Computers

AI*IA 2011: Artificial Intelligence Around Man and Beyond

XIIth International Conference of the Italian Association fo...

AI*IA 2011: Artificial Intelligence Around Man and Beyond

Logic for Programming, Artificial Intelligence, and Reasoning

14th International Conference, LPAR 2007, Yerevan, Armenia, ...

Logic for Programming, Artificial Intelligence, and Reasoning
By Nachum Dershowitz, Andrei Voronkov
Publisher: Springer, 2007-10-07
Pages: 564
Language: en
ISBN_13:9783540755609
ISBN_10:3540755608
Subject: Computers

Logic Programming and Nonmonotonic Reasoning

10th International Conference, LPNMR 2009, Potsdam, Germany,...

Logic Programming and Nonmonotonic Reasoning
By Esra Erdem, Fangzhen Lin, Torsten Schaub
Publisher: Springer, 2009-08-31
Pages: 670
Language: en
ISBN_13:9783642042386
ISBN_10:3642042384
Subject: Computers

Logic for Programming, Artificial Intelligence, and Reasoning

17th International Conference, LPAR-17, Yogyakarta, Indonesi...

Logic for Programming, Artificial Intelligence, and Reasoning
By Christian G. Fermüller, Andrei Voronkov
Publisher: Springer, 2010-10-05
Pages: 667
Language: en
ISBN_13:9783642162428
ISBN_10:3642162428
Subject: Computers

Automated Reasoning with Analytic Tableaux and Related Methods

26th International Conference, TABLEAUX 2017, Brasília, Braz...

Automated Reasoning with Analytic Tableaux and Related Methods
By Renate A. Schmidt, Cláudia Nalon
Publisher: Springer, 2017-09-04
Pages: 381
Language: en
ISBN_13:9783319669021
ISBN_10:3319669028
Subject: Computers

Logic Programming

20th International Conference, ICLP 2004, Saint-Malo, France...

Logic Programming
By Bart Demoen, Vladimir Lifschitz
Publisher: Springer, 2004-11-18
Pages: 492
Language: en
ISBN_13:9783540277750
ISBN_10:3540277757
Subject: Computers

PRIMA 2022: Principles and Practice of Multi-Agent Systems

24th International Conference, Valencia, Spain, November 16–...

PRIMA 2022: Principles and Practice of Multi-Agent Systems

Automated Reasoning with Analytic Tableaux and Related Methods

24th International Conference, TABLEAUX 2015, Wroclaw, Polan...

Automated Reasoning with Analytic Tableaux and Related Methods
By Hans De Nivelle
Publisher: Springer, 2015-09-10
Pages: 362
Language: en
ISBN_13:9783319243122
ISBN_10:3319243128
Subject: Computers

AI*IA 2009: Emergent Perspectives in Artificial Intelligence

XIth International Conference of the Italian Association for...

AI*IA 2009: Emergent Perspectives in Artificial Intelligence
By Roberto Serra, Rita Cucchiara
Publisher: Springer, 2009-11-17
Pages: 520
Language: en
ISBN_13:9783642102912
ISBN_10:3642102913
Subject: Computers

ECAI 2004

16th European Conference on Artificial Intelligence, August ...

ECAI 2004

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

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

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

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

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

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

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

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

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

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

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