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

چاپ کتاب PDF,

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

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

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

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

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

Refinement Calculus

A Systematic Introduction

Refinement Calculus

Data Refinement

Model-Oriented Proof Methods and Their Comparison

Data Refinement

Refinement in Z and Object-Z

Foundations and Advanced Applications

Refinement in Z and Object-Z

Refinement in Z and Object-Z

Foundations and Advanced Applications

Refinement in Z and Object-Z

Formal Methods and Software Engineering

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

Formal Methods and Software Engineering

Refinement

Semantics, Languages and Applications

Refinement
By John Derrick, Eerke Boiten
Publisher: Springer, 2018-09-03
Pages: 269
Language: en
ISBN_13:9783319927114
ISBN_10:3319927116
Subject: Computers

Interactive Theorem Proving

6th International Conference, ITP 2015, Nanjing, China, Augu...

Interactive Theorem Proving
By Christian Urban, Xingyuan Zhang
Publisher: Springer, 2015-08-18
Pages: 469
Language: en
ISBN_13:9783319221021
ISBN_10:3319221027
Subject: Mathematics

Logic Program Synthesis and Transformation

6th International Workshop, LOPSTR'96, Stockholm, Sweden, Au...

Logic Program Synthesis and Transformation

Stepwise Refinement of Distributed Systems

Models, Formalisms, Correctness. REX Workshop, Mook, The Net...

Stepwise Refinement of Distributed Systems

Formal Methods and Software Engineering

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

Formal Methods and Software Engineering
By Zhiming Liu, Jifeng He
Publisher: Springer, 2006-11-23
Pages: 788
Language: en
ISBN_13:9783540474623
ISBN_10:3540474625
Subject: Computers

Program Development in Computational Logic

A Decade of Research Advances in Logic-Based Program Develop...

Program Development in Computational Logic

Algebraic Methodology and Software Technology

7th International Conference, AMAST'98, Amazonia, Brazil, Ja...

Algebraic Methodology and Software Technology
By Armando M. Haeberer
Publisher: Springer, 2003-05-20
Pages: 542
Language: en
ISBN_13:9783540492535
ISBN_10:3540492534
Subject: Computers

Logic Based Program Synthesis and Transformation

12th International Workshop, LOPSTR 2002, Madrid, Spain, Sep...

Logic Based Program Synthesis and Transformation
By M. Leuschel
Publisher: Springer Science & Business Media, 2003-06-18
Pages: 290
Language: en
ISBN_13:9783540404385
ISBN_10:3540404384
Subject: Computers

Logic for Programming, Artificial Intelligence, and Reasoning

8th International Conference, LPAR 2001, Havana, Cuba, Decem...

Logic for Programming, Artificial Intelligence, and Reasoning

Mathematics of Program Construction

375th Anniversary of the Groningen University. International...

Mathematics of Program Construction

FME 2002: Formal Methods - Getting IT Right

International Symposium of Formal Methods Europe, Copenhagen...

FME 2002: Formal Methods - Getting IT Right
By Lars-Henrik Eriksson, Peter A. Lindsay
Publisher: Springer, 2003-08-02
Pages: 636
Language: en
ISBN_13:9783540456148
ISBN_10:3540456147
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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