ثبت درخواست جستجو

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

Completeness, Confluence, and Related Properties of Clause Graph Resolution
جزئیات و درخواست
By Norbert Eisinger
Publisher: Pitman Publishing, 1991
Pages: 200
Language: en
OTHER:UOM:39015022064995
Subject: Computers

Computational Logic: Logic Programming and Beyond

Essays in Honour of Robert A. Kowalski, Part II

Computational Logic: Logic Programming and Beyond
جزئیات و درخواست
By Antonis C. Kakas, Fariba Sadri
Publisher: Springer, 2003-08-02
Pages: 638
Language: en
ISBN_13:9783540456322
ISBN_10:3540456325
Subject: Computers

Theorem Proving with Analytic Tableaux and Related Methods

4th International Workshop, TABLEAUX-95, Schloß Rheinfels, S...

Theorem Proving with Analytic Tableaux and Related Methods
جزئیات و درخواست
By Peter Baumgartner, Reiner Ha hnle, Joachim Posegga
Publisher: Springer Science & Business Media, 1995-04-26
Pages: 372
Language: en
ISBN_10:3540593381
ISBN_13:9783540593386
Subject: Computers

Parallelization in Inference Systems

International Workshop, Dagstuhl Castle, Germany, December 1...

Parallelization in Inference Systems
جزئیات و درخواست
By Bertram Fronhöfer, Graham Wrightson
Publisher: Springer Science & Business Media, 1992-04-22
Pages: 390
Language: en
ISBN_10:3540554254
ISBN_13:9783540554257
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

Mechanizing Mathematical Reasoning

Essays in Honor of Jörg H. Siekmann on the Occasion of His 6...

Mechanizing Mathematical Reasoning
جزئیات و درخواست
By Dieter Hutter, Werner Stephan
Publisher: Springer, 2011-03-29
Pages: 573
Language: en
ISBN_13:9783540322542
ISBN_10:354032254X
Subject: Computers

AI 2002: Advances in Artificial Intelligence

15th Australian Joint Conference on Artificial Intelligence,...

AI 2002: Advances in Artificial Intelligence
جزئیات و درخواست
By Bob McKay
Publisher: Springer Science & Business Media, 2002-11-20
Pages: 744
Language: en
ISBN_13:9783540001973
ISBN_10:3540001972
Subject: Business & Economics

KI 2007: Advances in Artificial Intelligence

30th Annual German Conference on AI, KI 2007, Osnabrück, Ger...

KI 2007: Advances in Artificial Intelligence
جزئیات و درخواست
By Joachim Hertzberg, Michael Beetz, Roman Englert
Publisher: Springer, 2007-08-26
Pages: 525
Language: en
ISBN_13:9783540745655
ISBN_10:3540745653
Subject: Computers
Handbook of Automated Reasoning
جزئیات و درخواست
By Alan J.A. Robinson, Andrei Voronkov
Publisher: Elsevier, 2001-06-21
Pages: 1198
Language: en
ISBN_10:0444508120
ISBN_13:9780444508126
Subject: Computers
Canadian Semantic Web
جزئیات و درخواست
By Mamadou Tadiou Koné, Daniel Lemire
Publisher: Springer Science & Business Media, 2006-09-28
Pages: 237
Language: en
ISBN_13:9780387343471
ISBN_10:0387343474
Subject: Computers

Logic Programming

First Russian Conference on Logic Programming, Irkutsk, Russ...

Logic Programming
جزئیات و درخواست
By Andrei Voronkov
Publisher: Springer, 1992
Pages: 532
Language: en
OTHER:UCAL:B4340455
Subject: Computers

Graph Theoretical Models of Abstract Musical Transformation

An Introduction and Compendium for Composers and Theorists

Graph Theoretical Models of Abstract Musical Transformation
جزئیات و درخواست
By Jeffrey Johnson
Publisher: Greenwood, 1997-08-21
Pages: 224
Language: en
OTHER:STANFORD:36105019344832
Subject: Mathematics
Meta-level Inference Systems
جزئیات و درخواست
By Frank Van Harmelen
1991
Pages: 184
Language: en
OTHER:PSU:000019883441
Subject: Artificial intelligence
Journal of the ACM.
جزئیات و درخواست
2001
Pages: 630
Language: en
OTHER:UVA:X006187247
Subject: Computers

AI ...

Advances in Artificial Intelligence ... Australian Joint Con...

AI ...
جزئیات و درخواست
2002
Pages: 764
Language: en
OTHER:UOM:39015047938751
Subject: Artificial intelligence
GWAI ...
جزئیات و درخواست
1989
Pages: 532
Language: en
OTHER:UOM:39015015426755
Subject: Artificial intelligence

Automated Deduction - CADE-17

17th International Conference on Automated Deduction Pittsbu...

Automated Deduction - CADE-17
جزئیات و درخواست
By David McAllester
Publisher: Springer, 2006-12-30
Pages: 531
Language: en
ISBN_13:9783540451013
ISBN_10:3540451013
Subject: Computers
Real Brains, Artificial Minds
جزئیات و درخواست
By J. L. Casti, Anders Karlqvist
Publisher: North Holland, 1987
Pages: 256
Language: en
OTHER:UOM:39015012536424
Subject: Computers
Australian Computer Journal
جزئیات و درخواست
1998
Pages: 190
Language: en
OTHER:CHI:54453839
Subject: Computers
Proceedings of the ... International Joint Conference on Artificial Intelligence
جزئیات و درخواست
1989
Pages: 900
Language: en
OTHER:UOM:39015013844074
Subject: Artificial intelligence
«12345678910»

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

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

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

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

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

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

چاپ کتاب زبان اصلی

دانلود کتاب از آمازون

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

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

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

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

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

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

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

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

    پس از پرداخت به صورت کارت به کارت، 4 رقم آخر شماره کارت خود را برای ما ارسال کنید.
    X
    راهنما / بلاگ / قوانین / تماس باما / درباره ما
    YouTube social network LinkedIn social network Instagram social network Twitter social network Aparat social network Telegram social network

    logo-samandehi

    فایلسو: مرجع دانلود کتاب، مقاله، استاندارد و سایر منابع لاتین، خرید کتاب از آمازون و گوگل بوکز دانلود رایگان منابع دانشگاهی تخصصی | دانلود کتاب های آمازون، دانلود کتاب های گوگل بوکز .

    ارتباط مستقیم با مدیریت