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

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

Selected Papers on Automath
جزئیات و درخواست
By R.P. Nederpelt, J.H. Geuvers, R.C. de Vrijer
Publisher: Elsevier, 1994-10-20
Pages: 1045
Language: en
ISBN_13:9780080887180
ISBN_10:008088718X
Subject: Mathematics
Type Theory and Formal Proof
جزئیات و درخواست
By Rob Nederpelt, Herman Geuvers
Publisher: Cambridge University Press, 2014-11-06
Pages: 465
Language: en
ISBN_13:9781107036505
ISBN_10:110703650X
Subject: Computers

Connecting with Computability

17th Conference on Computability in Europe, CiE 2021, Virtua...

Connecting with Computability
جزئیات و درخواست
By Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque
Publisher: Springer Nature, 2021-07-01
Pages: 527
Language: en
ISBN_13:9783030800499
ISBN_10:3030800490
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
Lambda Calculus with Types
جزئیات و درخواست
By Henk Barendregt, Wil Dekkers, Richard Statman
Publisher: Cambridge University Press, 2013-06-20
Pages: 969
Language: en
ISBN_13:9781107276345
ISBN_10:1107276349
Subject: Mathematics
Theorem Proving with the Real Numbers
جزئیات و درخواست
By John Harrison
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 193
Language: en
ISBN_13:9781447115915
ISBN_10:1447115910
Subject: Computers

Types for Proofs and Programs

Second International Workshop, TYPES 2002, Berg en Dal, The ...

Types for Proofs and Programs
جزئیات و درخواست
By Herman Geuvers, Freek Wiedijk
Publisher: Springer Science & Business Media, 2003-04-28
Pages: 340
Language: en
ISBN_13:9783540140313
ISBN_10:354014031X
Subject: Computers
Theorem Proving in Higher Order Logics
Free Epub
جزئیات و درخواست
By Victor A. Carreño, César A. Muñoz, Sofiène Tahar
2002
Pages: 200
Language: en
OTHER:NASA:31769000474430
Subject: Automatic theorem proving

Higher Order Logic Theorem Proving and its Applications

Proceedings of the IFIP TC10/WG10.2 International Workshop o...

Higher Order Logic Theorem Proving and its Applications
جزئیات و درخواست
By L.J.M. Claesen, M.J.C. Gordon
Publisher: Elsevier, 2014-05-23
Pages: 588
Language: en
ISBN_13:9781483298405
ISBN_10:148329840X
Subject: Mathematics

5th Conference on Automated Deduction

Les Arcs, France, July 8-11, 1980

5th Conference on Automated Deduction
جزئیات و درخواست
By Wolfgang Bibel, R. Kowalski
Publisher: Springer Science & Business Media, 1980-06
Pages: 372
Language: en
ISBN_10:3540100091
ISBN_13:9783540100096
Subject: Mathematics

Rough Sets and Intelligent Systems Paradigms

International Conference, RSEISP 2007, Warsaw, Poland, June ...

Rough Sets and Intelligent Systems Paradigms
جزئیات و درخواست
By Marzena Kryszkiewicz
Publisher: Springer Science & Business Media, 2007-06-18
Pages: 854
Language: en
ISBN_13:9783540734505
ISBN_10:3540734503
Subject: Computers

Theorem Proving in Higher Order Logics

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

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Joe Hurd
Publisher: Springer Science & Business Media, 2005-08-08
Pages: 418
Language: en
ISBN_13:9783540283720
ISBN_10:3540283722
Subject: Computers

Intelligent Computer Mathematics

10th International Conference, AISC 2010, 17th Symposium, Ca...

Intelligent Computer Mathematics
جزئیات و درخواست
By Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau
Publisher: Springer Science & Business Media, 2010-06-30
Pages: 485
Language: en
ISBN_13:9783642141270
ISBN_10:3642141277
Subject: Computers

A Quarter Century of IFIP

The IFIP Silver Summary : Proceedings of the 25th Anniversar...

A Quarter Century of IFIP
جزئیات و درخواست
By International Federation for Information Processing
Publisher: North Holland, 1986
Pages: 598
Language: en
OTHER:UCAL:B2838815
Subject: Computers

Reflections on the Foundations of Mathematics

Univalent Foundations, Set Theory and General Thoughts

Reflections on the Foundations of Mathematics
جزئیات و درخواست
By Stefania Centrone, Deborah Kant, Deniz Sarikaya
Publisher: Springer Nature, 2019-11-11
Pages: 511
Language: en
ISBN_13:9783030156558
ISBN_10:3030156559
Subject: Mathematics

Automation of Reasoning

2: Classical Papers on Computational Logic 1967–1970

Automation of Reasoning
جزئیات و درخواست
By J. Siekmann, G. Wrightson
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 641
Language: en
ISBN_13:9783642819551
ISBN_10:3642819559
Subject: Computers
Scientific and Technical Aerospace Reports
Free Epub
جزئیات و درخواست
1980
Pages: 1280
Language: en
OTHER:UIUC:30112104412421
Subject: Aeronautics
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
Thirty Five Years of Automating Mathematics
جزئیات و درخواست
By F.D. Kamareddine
Publisher: Springer Science & Business Media, 2013-04-17
Pages: 323
Language: en
ISBN_13:9789401702539
ISBN_10:9401702535
Subject: Mathematics

Mathematical Knowledge Management

Third International Conference, MKM 2004, Bialowieza, Poland...

Mathematical Knowledge Management
جزئیات و درخواست
By Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec
Publisher: Springer Science & Business Media, 2004-09-07
Pages: 402
Language: en
ISBN_13:9783540230298
ISBN_10:3540230297
Subject: Computers
«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

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

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