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

چاپ کتاب PDF,

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

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

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

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

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

Certified Programs and Proofs

First International Conference, CPP 2011, Kenting, Taiwan, D...

Certified Programs and Proofs

Certified Programs and Proofs

Second International Conference, CPP 2012, Kyoto, Japan, Dec...

Certified Programs and Proofs
By Chris Hawblitzel, Dale Miller
Publisher: Springer, 2012-11-08
Pages: 314
Language: en
ISBN_13:9783642353086
ISBN_10:3642353088
Subject: Computers

Certified Programs and Proofs

Third International Conference, CPP 2013, Melbourne, VIC, Au...

Certified Programs and Proofs
By Georges Gonthier, Michael Norrish
Publisher: Springer, 2013-12-11
Pages: 318
Language: en
ISBN_13:9783319035451
ISBN_10:3319035452
Subject: Computers

Certified Programs and Proofs

First International Conference, CPP 2011, Kenting, Taiwan, D...

Certified Programs and Proofs
By Jean-Pierre Jouannaud, Zhong Shao
Publisher: Springer, 2011-11-15
Pages: 414
Language: en
ISBN_13:9783642253799
ISBN_10:3642253792
Subject: Computers

Types for Proofs and Programs

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

Types for Proofs and Programs

Types for Proofs and Programs

International Workshop TYPES '93, Nijmegen, The Netherlands,...

Types for Proofs and Programs

Certified Programming with Dependent Types

A Pragmatic Introduction to the Coq Proof Assistant

Certified Programming with Dependent Types
By Adam Chlipala
Publisher: MIT Press, 2022-06-07
Pages: 437
Language: en
ISBN_13:9780262545747
ISBN_10:0262545748
Subject: Computers

Types for Proofs and Programs

International Workshop, TYPES 2006, Nottingham, UK, April 18...

Types for Proofs and Programs
By Thorsten Altenkirch, Conor McBride
Publisher: Springer, 2007-09-13
Pages: 277
Language: en
ISBN_13:9783540744641
ISBN_10:3540744649
Subject: Computers

Programs, Proofs, Processes

6th Conference on Computability in Europe, CiE, 2010, Ponta ...

Programs, Proofs, Processes
Program Proofs
By K. Rustan M. Leino
Publisher: MIT Press, 2023-03-07
Pages: 498
Language: en
ISBN_13:9780262546232
ISBN_10:026254623X
Subject: Computers

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development

Types for Proofs and Programs

International Workshop, TYPES 2004, Jouy-en-Josas, France, D...

Types for Proofs and Programs
Towards Verified Systems
By J. Bowen
Publisher: Elsevier, 2013-10-22
Pages: 323
Language: en
ISBN_13:9781483291529
ISBN_10:1483291529
Subject: Computers

Verified Software: Theories, Tools, Experiments

First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switz...

Verified Software: Theories, Tools, Experiments

Programming Languages and Systems

12th European Symposium on Programming, ESOP 2003, Held as P...

Programming Languages and Systems
By Pierpaolo Degano
Publisher: Springer, 2003-07-01
Pages: 428
Language: en
ISBN_13:9783540365754
ISBN_10:3540365753
Subject: Computers

Fallproof!

A Comprehensive Balance and Mobility Training Program

Fallproof!
By Debra J. Rose
Publisher: Human Kinetics, 2010
Pages: 330
Language: en
ISBN_13:9780736067478
ISBN_10:0736067477
Subject: Health & Fitness

Automated Deduction – CADE 28

28th International Conference on Automated Deduction, Virtua...

Automated Deduction – CADE 28

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

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

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

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

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

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

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

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

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

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

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