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

How to Prove It

A Structured Approach

How to Prove It
By Daniel J. Velleman
Publisher: Cambridge University Press, 2006-01-16
Pages: 404
Language: en
ISBN_10:0521675995
ISBN_13:9780521675994
Subject: Computers

Foundational and Practical Aspects of Resource Analysis

First International Workshop, FOPARA 2009, Eindhoven, The Ne...

Foundational and Practical Aspects of Resource Analysis
By Marko van Eekelen, Olha Shkaravska
Publisher: Springer, 2010-09-08
Pages: 172
Language: en
ISBN_13:9783642153310
ISBN_10:3642153313
Subject: Computers

Computer Science Logic

24th International Workshop, CSL 2010, 19th Annual Conferenc...

Computer Science Logic
By Anuj Dawar, Helmut Veith
Publisher: Springer, 2010-08-14
Pages: 561
Language: en
ISBN_13:9783642152054
ISBN_10:3642152058
Subject: Computers

Hardware and Software: Verification and Testing

4th International Haifa Verification Conference, HVC 2008, H...

Hardware and Software: Verification and Testing
By Hana Chockler, Alan J. Hu
Publisher: Springer, 2009-04-20
Pages: 226
Language: en
ISBN_13:9783642017025
ISBN_10:3642017029
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

Developments in Language Theory

5th International Conference, DLT 2001, Vienna, Austria, Jul...

Developments in Language Theory
By Werner Kuich, Grzegorz Rozenberg, Arto Salomaa
Publisher: Springer, 2003-07-31
Pages: 397
Language: en
ISBN_13:9783540460114
ISBN_10:354046011X
Subject: Computers

Dosage Forms, Formulation Developments and Regulations

Recent and Future Trends in Pharmaceutics, Volume 1

Dosage Forms, Formulation Developments and Regulations
By Amit Kumar Nayak, Kalyan Kumar Sen
Publisher: Elsevier, 2023-12-09
Pages: 759
Language: en
ISBN_13:9780323972468
ISBN_10:0323972462
Subject: Medical

Concurrency and Parallelism, Programming, Networking, and Security

Second Asian Computing Science Conference, ASIAN '96, Singap...

Concurrency and Parallelism, Programming, Networking, and Security
A Theory of Sets
Publisher: Academic Press, 1986-05-27
Pages: 213
Language: en
ISBN_13:9780080874272
ISBN_10:0080874274
Subject: Mathematics

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development
Michael Dummett
By Bernhard Weiss
Publisher: Routledge, 2014-12-18
Pages: 208
Language: en
ISBN_13:9781317489863
ISBN_10:1317489861
Subject: Philosophy

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

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

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

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

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

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

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

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

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

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

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