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

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

Applied Proof Theory: Proof Interpretations and their Use in Mathematics
جزئیات و درخواست
By Ulrich Kohlenbach
Publisher: Springer Science & Business Media, 2008-05-23
Pages: 539
Language: en
ISBN_13:9783540775331
ISBN_10:3540775331
Subject: Mathematics
Sets, Models and Proofs
جزئیات و درخواست
By Ieke Moerdijk, Jaap van Oosten
Publisher: Springer, 2018-11-23
Pages: 151
Language: en
ISBN_13:9783319924144
ISBN_10:3319924141
Subject: Mathematics

Proof Analysis

A Contribution to Hilbert's Last Problem

Proof Analysis
جزئیات و درخواست
By Sara Negri, Jan von Plato
Publisher: Cambridge University Press, 2011-09-29
Pages: 279
Language: en
ISBN_13:9781139501521
ISBN_10:1139501526
Subject: Mathematics

Beyond the Horizon of Computability

16th Conference on Computability in Europe, CiE 2020, Fiscia...

Beyond the Horizon of Computability
جزئیات و درخواست
By Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly
Publisher: Springer Nature, 2020-06-23
Pages: 417
Language: en
ISBN_13:9783030514662
ISBN_10:3030514668
Subject: Computers
Convex Analysis and Optimization in Hadamard Spaces
جزئیات و درخواست
By Miroslav Bacak
Publisher: Walter de Gruyter GmbH & Co KG, 2014-10-29
Pages: 217
Language: en
ISBN_13:9783110391084
ISBN_10:3110391082
Subject: Mathematics

Reverse Mathematics

Problems, Reductions, and Proofs

Reverse Mathematics
جزئیات و درخواست
By Damir D. Dzhafarov, Carl Mummert
Publisher: Springer Nature, 2022-07-25
Pages: 498
Language: en
ISBN_13:9783031113673
ISBN_10:3031113675
Subject: Computers

Programming Languages and Systems

15th Asian Symposium, APLAS 2017, Suzhou, China, November 27...

Programming Languages and Systems
جزئیات و درخواست
By Bor-Yuh Evan Chang
Publisher: Springer, 2017-11-17
Pages: 559
Language: en
ISBN_13:9783319712376
ISBN_10:3319712373
Subject: Computers
Proof And Computation: Digitization In Mathematics, Computer Science And Philosophy
جزئیات و درخواست
By Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg
Publisher: World Scientific, 2018-05-30
Pages: 300
Language: en
ISBN_13:9789813270954
ISBN_10:9813270950
Subject: Mathematics

Logic, Language, Information, and Computation

26th International Workshop, WoLLIC 2019, Utrecht, The Nethe...

Logic, Language, Information, and Computation
جزئیات و درخواست
By Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz
Publisher: Springer, 2019-06-23
Pages: 683
Language: en
ISBN_13:9783662595336
ISBN_10:3662595338
Subject: Mathematics

Formalism and Beyond

On the Nature of Mathematical Discourse

Formalism and Beyond
جزئیات و درخواست
By Godehard Link
Publisher: Walter de Gruyter GmbH & Co KG, 2014-10-09
Pages: 430
Language: en
ISBN_13:9781614518471
ISBN_10:1614518475
Subject: Philosophy

Rewriting and Typed Lambda Calculi

Joint International Conferences, RTA and TLCA 2014, Held as ...

Rewriting and Typed Lambda Calculi
جزئیات و درخواست
By Gilles Dowek
Publisher: Springer, 2014-07-01
Pages: 506
Language: en
ISBN_13:9783319089188
ISBN_10:3319089188
Subject: Mathematics

A 25-Year Perspective on Logic Programming

Achievements of the Italian Association for Logic Programmin...

A 25-Year Perspective on Logic Programming
جزئیات و درخواست
By Agostino Dovier, Enrico Pontelli
Publisher: Springer, 2010-06-26
Pages: 342
Language: en
ISBN_13:9783642143090
ISBN_10:3642143091
Subject: Computers

Wie berechenbar ist unsere Welt

Herausforderungen für Mathematik, Informatik und Philosophie...

Wie berechenbar ist unsere Welt
جزئیات و درخواست
By Klaus Mainzer
Publisher: Springer-Verlag, 2018-03-14
Pages: 45
Language: de
ISBN_13:9783658212988
ISBN_10:3658212985
Subject: Mathematics
Logic, Construction, Computation
جزئیات و درخواست
By Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger
Publisher: Walter de Gruyter, 2013-05-02
Pages: 544
Language: en
ISBN_13:9783110324921
ISBN_10:311032492X
Subject: Philosophy
Philosophisches Handbuch Künstliche Intelligenz
جزئیات و درخواست
By Klaus Mainzer
Publisher: Springer-Verlag, 2024-09-14
Pages: 917
Language: de
ISBN_13:9783658196066
ISBN_10:3658196068
Subject: Science
Deutsche Nationalbibliographie und Bibliographie der im Ausland erschienenen deutschsprachigen Veröffentlichungen
جزئیات و درخواست
2008
Pages: 890
Language: de
OTHER:STANFORD:36105129071408
Subject: German literature
Mathematical Logic and Computation
جزئیات و درخواست
By Jeremy Avigad
Publisher: Cambridge University Press, 2022-09-30
Pages: 527
Language: en
ISBN_13:9781108478755
ISBN_10:1108478751
Subject: Computers

Kurt Gödel

The Princeton Lectures on Intuitionism

Kurt Gödel
جزئیات و درخواست
By Maria Hämeen-Anttila, Jan von Plato
Publisher: Springer Nature, 2021-12-15
Pages: 133
Language: en
ISBN_13:9783030872960
ISBN_10:3030872963
Subject: Mathematics
Kurt Gödel and the Foundations of Mathematics
جزئیات و درخواست
By Matthias Baaz, Christos H. Papadimitriou, Hilary W. Putnam, Dana S. Scott, Charles L. Harper, Jr
Publisher: Cambridge University Press, 2011-06-06
Pages: 541
Language: en
ISBN_13:9781139498432
ISBN_10:1139498436
Subject: Mathematics

Nonlinear Analysis and Optimization I

A Conference in Celebration of Alex Ioffe's 70th and Simeon ...

Nonlinear Analysis and Optimization I
جزئیات و درخواست
By Simeon Reich, Aleksandr Davidovich Ioffe
Publisher: American Mathematical Soc., 2010
Pages: 290
Language: en
ISBN_13:9780821848340
ISBN_10:0821848348
Subject: Mathematics
«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

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

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