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

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

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
Twenty Five Years of Constructive Type Theory
جزئیات و درخواست
By Giovanni Sambin, Jan M. Smith
Publisher: Clarendon Press, 1998-10-15
Pages: 312
Language: en
ISBN_13:9780191606939
ISBN_10:0191606936
Subject: Mathematics
Computing Meaning
جزئیات و درخواست
By H. Bunt, Reinhard Muskens, E. Thijsse
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 316
Language: en
ISBN_13:9789401005722
ISBN_10:9401005729
Subject: Language Arts & Disciplines
Formal Semantics in Modern Type Theories
جزئیات و درخواست
By Stergios Chatzikyriakidis, Zhaohui Luo
Publisher: John Wiley & Sons, 2021-02-17
Pages: 256
Language: en
ISBN_13:9781786301284
ISBN_10:1786301288
Subject: Language Arts & Disciplines

Artificial Intelligence and Symbolic Computation

International Conference AISC 2000 Madrid, Spain, July 17-19...

Artificial Intelligence and Symbolic Computation
جزئیات و درخواست
By John A. Campbell, Eugenio Roanes-Lozano
Publisher: Springer, 2003-06-29
Pages: 264
Language: en
ISBN_13:9783540449904
ISBN_10:3540449906
Subject: Computers

SOFSEM 2002: Theory and Practice of Informatics

29th Conference on Current Trends in Theory and Practice of ...

SOFSEM 2002: Theory and Practice of Informatics
جزئیات و درخواست
By William I. Grosky, Frantisek Plasil
Publisher: Springer Science & Business Media, 2002-11-05
Pages: 298
Language: en
ISBN_13:9783540001454
ISBN_10:354000145X
Subject: Computers

A Modern Perspective on Type Theory

From its Origins until Today

A Modern Perspective on Type Theory
جزئیات و درخواست
By F.D. Kamareddine, T. Laan, Rob Nederpelt
Publisher: Springer Science & Business Media, 2006-03-10
Pages: 367
Language: en
ISBN_13:9781402023354
ISBN_10:1402023359
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

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

Theorem Proving in Higher Order Logics

13th International Conference, TPHOLs 2000 Portland, OR, USA...

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Mark Aagaard, John Harrison
Publisher: Springer, 2007-07-23
Pages: 546
Language: en
ISBN_13:9783540446590
ISBN_10:3540446591
Subject: Computers

Theorem Proving in Higher Order Logics

14th International Conference, TPHOLs 2001, Edinburgh, Scotl...

Theorem Proving in Higher Order Logics
جزئیات و درخواست
By Richard J. Boulton, Paul B. Jackson
Publisher: Springer, 2003-06-30
Pages: 405
Language: en
ISBN_13:9783540447559
ISBN_10:3540447555
Subject: Computers
ML for the Working Programmer
جزئیات و درخواست
By Lawrence C. Paulson
Publisher: Cambridge University Press, 1996-06-28
Pages: 500
Language: en
ISBN_10:052156543X
ISBN_13:9780521565431
Subject: Computers
ML for the Working Programmer
جزئیات و درخواست
By Larry C. Paulson
Publisher: Cambridge University Press, 1996-06-28
Pages: 500
Language: en
ISBN_13:9781107268494
ISBN_10:1107268494
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

Logic for Programming and Automated Reasoning

7th International Conference, LPAR 2000 Reunion Island, Fran...

Logic for Programming and Automated Reasoning
جزئیات و درخواست
By Michel Parigot, Andrei Voronkov
Publisher: Springer, 2003-07-31
Pages: 499
Language: en
ISBN_13:9783540444046
ISBN_10:3540444041
Subject: Mathematics

Justifying the Dependability of Computer-based Systems

With Applications in Nuclear Engineering

Justifying the Dependability of Computer-based Systems
جزئیات و درخواست
By Pierre-Jacques Courtois
Publisher: Springer Science & Business Media, 2008-08-17
Pages: 330
Language: en
ISBN_13:9781848003729
ISBN_10:1848003722
Subject: Technology & Engineering

Theoretical Aspects of Computer Software

Third International Symposium, TACS'97, Sendai, Japan, Septe...

Theoretical Aspects of Computer Software
جزئیات و درخواست
By Martin Abadi, Takayasu Ito
Publisher: Springer Science & Business Media, 1997-08-27
Pages: 660
Language: en
ISBN_10:354063388X
ISBN_13:9783540633884
Subject: Computers
Handbook of Practical Logic and Automated Reasoning
جزئیات و درخواست
By John Harrison
Publisher: Cambridge University Press, 2009-03-12
Pages: 683
Language: en
ISBN_13:9781139479271
ISBN_10:113947927X
Subject: Computers

Efficient Algorithms

Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60t...

Efficient Algorithms
جزئیات و درخواست
By Helmut Alt
Publisher: Springer Science & Business Media, 2009-08-28
Pages: 440
Language: en
ISBN_13:9783642034558
ISBN_10:3642034551
Subject: Computers

Logic, Language, Information and Computation

17th International Workshop, WoLLIC 2010, Brasilia, Brazil, ...

Logic, Language, Information and Computation
جزئیات و درخواست
By Anuj Dawar, Ruy de Queiroz
Publisher: Springer Science & Business Media, 2010-06-17
Pages: 268
Language: en
ISBN_13:9783642138232
ISBN_10:3642138233
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

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

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