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

چاپ کتاب PDF,

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

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

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

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

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

Isabelle/HOL

A Proof Assistant for Higher-Order Logic

Isabelle/HOL

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

Isabelle

A Generic Theorem Prover

Isabelle

Designing Correct Circuits

Workshop jointly organised by the Universities of Oxford and...

Designing Correct Circuits

Software Security -- Theories and Systems

Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Jap...

Software Security -- Theories and Systems

Proof, Language, and Interaction

Essays in Honour of Robin Milner

Proof, Language, and Interaction
By Robin Milner
Publisher: MIT Press, 2000
Pages: 748
Language: en
ISBN_10:0262161885
ISBN_13:9780262161886
Subject: Computers

Computer Security -- ESORICS 2002

7th European Symposium on Research in Computer Security Zuri...

Computer Security -- ESORICS 2002

Theorem Proving in Higher Order Logics

12th International Conference, TPHOLs'99, Nice, France, Sept...

Theorem Proving in Higher Order Logics

Algebraic Methodology and Software Technology

6th International Conference, AMAST '97, Sydney, Australia, ...

Algebraic Methodology and Software Technology

A Machine-Checked, Type-Safe Model of Java Concurrency

Language, Virtual Machine, Memory Model, and Verified Compil...

A Machine-Checked, Type-Safe Model of Java Concurrency
By Andreas Lochbihler
Publisher: KIT Scientific Publishing, 2014-06-04
Pages: 440
Language: en
ISBN_13:9783866448858
ISBN_10:3866448856
Subject: Computers

Automated Deduction - CADE-18

18th International Conference on Automated Deduction, Copenh...

Automated Deduction - CADE-18
By Andrei Voronkov
Publisher: Springer, 2003-08-02
Pages: 545
Language: en
ISBN_13:9783540456209
ISBN_10:3540456201
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

Progress in Artificial Intelligence

8th Portuguese Conference on Artificial Intelligence, EPIA '...

Progress in Artificial Intelligence
By Ernesto Costa
Publisher: Springer Science & Business Media, 1997-09-19
Pages: 420
Language: en
ISBN_10:3540635866
ISBN_13:9783540635864
Subject: Computers

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development

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

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

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

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

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

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

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

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

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

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

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