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

چاپ کتاب PDF,

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

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

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

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

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

Refinement Calculus

A Systematic Introduction

Refinement Calculus

Formal Methods in Computer-Aided Design

Second International Conference, FMCAD '98, Palo Alto, CA, U...

Formal Methods in Computer-Aided Design
By Ganesh Gopalakrishnan, Phillip Windley
Publisher: Springer, 2003-07-31
Pages: 537
Language: en
ISBN_13:9783540495192
ISBN_10:3540495193
Subject: Computers

Formal Methods and Software Engineering

8th International Conference on Formal Engineering Methods, ...

Formal Methods and Software Engineering

Unifying Theories of Programming

First International Symposium, UTP 2006, Walworth Castle, Co...

Unifying Theories of Programming
By Steve Dunne
Publisher: Springer Science & Business Media, 2006-06-27
Pages: 265
Language: en
ISBN_13:9783540347507
ISBN_10:354034750X
Subject: Computers

Theoretical Aspects of Computing

7th International Colloquium, Natal, Rio Grande Do Norte, Br...

Theoretical Aspects of Computing

Semantik

Theorie sequentieller und paralleler Programmierung

Semantik
By Eike Best
Publisher: Springer-Verlag, 2013-11-11
Pages: 381
Language: de
ISBN_13:9783322868237
ISBN_10:3322868230
Subject: Technology & Engineering

Formal Methods at the Crossroads. From Panacea to Foundational Support

10th Anniversary Colloquium of UNU/IIST, the International I...

Formal Methods at the Crossroads. From Panacea to Foundational Support
By Bernhard K. Aichernig, Tom Maibaum
Publisher: Springer, 2011-03-29
Pages: 468
Language: en
ISBN_13:9783540400073
ISBN_10:3540400079
Subject: Computers

Theorem Proving in Higher Order Logics

11th International Conference, TPHOLs'98, Canberra, Australi...

Theorem Proving in Higher Order Logics

ZB 2005: Formal Specification and Development in Z and B

4th International Conference of B and Z Users, Guildford, UK...

ZB 2005: Formal Specification and Development in Z and B
Program Proofs
By K. Rustan M. Leino
Publisher: MIT Press, 2023-03-07
Pages: 498
Language: en
ISBN_13:9780262375429
ISBN_10:0262375427
Subject: Computers

Formal Methods for Components and Objects

First International Symposium, FMCO 2002, Leiden, The Nether...

Formal Methods for Components and Objects

Computer Science Logic

17th International Workshop, CSL 2003, 12th Annual Conferenc...

Computer Science Logic

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

Higher Order Logic Theorem Proving and Its Applications

7th International Workshop, Valletta, Malta, September 19-22...

Higher Order Logic Theorem Proving and Its Applications

Mathematics of Program Construction

6th International Conference, MPC 2002, Dagstuhl Castle, Ger...

Mathematics of Program Construction
By Eerke A. Boiten, Bernhard Möller
Publisher: Springer, 2003-08-02
Pages: 273
Language: en
ISBN_13:9783540454427
ISBN_10:354045442X
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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