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

چاپ کتاب PDF,

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

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

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

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

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

Data Refinement

Model-Oriented Proof Methods and Their Comparison

Data Refinement

Verified Software: Theories, Tools, Experiments

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

Verified Software: Theories, Tools, Experiments

Formal Methods for Components and Objects

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

Formal Methods for Components and Objects
2011
Publisher: Walter de Gruyter, 2013-03-01
Pages: 2983
Language: en
ISBN_13:9783110312287
ISBN_10:311031228X
Subject: Reference

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

Compositionality: The Significant Difference

International Symposium, COMPOS’97 Bad Malente, Germany, Sep...

Compositionality: The Significant Difference

Studien- und Forschungsführer Informatik

Wissenschaftliche Hochschulen und Forschungseinrichtungen

Studien- und Forschungsführer Informatik
By Wilfried Brauer, Siegfried Münch
Publisher: Springer-Verlag, 2013-03-13
Pages: 389
Language: de
ISBN_13:9783642800139
ISBN_10:3642800130
Subject: Education

Formal Methods for Components and Objects

6th International Symposium, FMCO 2007, Amsterdam, The Nethe...

Formal Methods for Components and Objects

Fundamental Approaches to Software Engineering

4th International Conference, FASE 2001 Held as Part of the ...

Fundamental Approaches to Software Engineering
By Heinrich Hussmann
Publisher: Springer, 2003-06-29
Pages: 361
Language: en
ISBN_13:9783540453147
ISBN_10:3540453148
Subject: Computers

FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy...

FME 2003: Formal Methods
By Keijiro Araki, Stefania Gnesi, Dion Mandrioli
Publisher: Springer, 2003-10-02
Pages: 956
Language: en
ISBN_13:9783540452362
ISBN_10:3540452362
Subject: Computers

Programming Concepts and Methods PROCOMET ’98

IFIP TC2 / WG2.2, 2.3 International Conference on Programmin...

Programming Concepts and Methods PROCOMET ’98
By David Gries, Willem-Paul de Roever
Publisher: Springer, 2013-04-17
Pages: 488
Language: en
ISBN_13:9780387353586
ISBN_10:0387353585
Subject: Computers

Formal Techniques in Real-Time and Fault-Tolerant Systems

6th International Symposium, FTRTFT 2000 Pune, India, Septem...

Formal Techniques in Real-Time and Fault-Tolerant Systems
By Mathai Joseph
Publisher: Springer, 2003-07-31
Pages: 315
Language: en
ISBN_13:9783540453529
ISBN_10:3540453520
Subject: Computers

Deductive Verification of Object-oriented Software

Dynamic Frames, Dynamic Logic and Predicate Abstraction

Deductive Verification of Object-oriented Software
By Benjamin Weiß
Publisher: KIT Scientific Publishing, 2014-08-18
Pages: 294
Language: en
ISBN_13:9783866446236
ISBN_10:3866446233
Subject: Computers

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, Ju...

Computer Aided Verification
By Rajeev Alur
Publisher: Springer Science & Business Media, 2004-06-29
Pages: 546
Language: en
ISBN_13:9783540223429
ISBN_10:3540223428
Subject: Computers

Computer Aided Verification

12th International Conference, CAV 2000 Chicago, IL, USA, Ju...

Computer Aided Verification

CONCUR 2000 - Concurrency Theory

11th International Conference, University Park, PA, USA, Aug...

CONCUR 2000 - Concurrency Theory
By Catuscia Palamidessi
Publisher: Springer, 2003-06-26
Pages: 631
Language: en
ISBN_13:9783540446187
ISBN_10:3540446184
Subject: Computers

Temporal Logic in Specification

Altrincham, UK, April 8-10, 1987, Proceedings

Temporal Logic in Specification

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

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

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

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

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

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

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

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

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

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

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