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

چاپ کتاب PDF,

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

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

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

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

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

Verification, Model Checking, and Abstract Interpretation

9th International Conference, VMCAI 2008, San Francisco, USA...

Verification, Model Checking, and Abstract Interpretation

Static Analysis

20th International Symposium, SAS 2013, Seattle, WA, USA, Ju...

Static Analysis
By Francesco Logozzo, Manuel Fähndrich
Publisher: Springer, 2013-06-15
Pages: 508
Language: en
ISBN_13:9783642388569
ISBN_10:3642388566
Subject: Computers

Programming Languages and Systems

Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November ...

Programming Languages and Systems
By Kwangkeun Yi
Publisher: Springer Science & Business Media, 2005-10-21
Pages: 445
Language: en
ISBN_13:9783540297352
ISBN_10:3540297359
Subject: Computers

Static Analysis

24th International Symposium, SAS 2017, New York, NY, USA, A...

Static Analysis
By Francesco Ranzato
Publisher: Springer, 2017-08-16
Pages: 486
Language: en
ISBN_13:9783319667065
ISBN_10:3319667068
Subject: Computers

Static Analysis

14th International Symposium, SAS 2007, Kongens Lyngby, Denm...

Static Analysis

Algebraic Methodology and Software Technology

10th International Conference, AMAST 2004, Stirling, Scotlan...

Algebraic Methodology and Software Technology
By Charles Rattray, Savitri Maharaj
Publisher: Springer, 2004-11-11
Pages: 578
Language: en
ISBN_13:9783540278153
ISBN_10:354027815X
Subject: Computers

Compiler Construction

17th International Conference, CC 2008, Held as Part of the ...

Compiler Construction
By Laurie Hendren
Publisher: Springer Science & Business Media, 2008-03-18
Pages: 318
Language: en
ISBN_13:9783540787907
ISBN_10:3540787909
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

Algebraic Methodology and Software Technology

(AMAST ...), Proceedings of the ... International Conference...

Algebraic Methodology and Software Technology

Coordination Models and Languages

7th International Conference, COORDINATION 2005, Namur, Belg...

Coordination Models and Languages

Object-Oriented Technology.ECOOP 2006 Workshop Reader

ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final ...

Object-Oriented Technology.ECOOP 2006 Workshop Reader
By Mario Südholt, Charles Consel
Publisher: Springer, 2007-06-28
Pages: 165
Language: en
ISBN_13:9783540717744
ISBN_10:3540717749
Subject: Computers

Programming Languages and Systems

... Asian Symposium, APLAS ... : Proceedings

Programming Languages and Systems

Verification, Model Checking, and Abstract Interpretation

5th International Conference, VMCAI 2004, Venice, January 11...

Verification, Model Checking, and Abstract Interpretation
By Bernhard Steffen, Giorgio Levi
Publisher: Springer, 2003-12-19
Pages: 344
Language: en
ISBN_13:9783540246220
ISBN_10:3540246223
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

7th International Conference, VMCAI 2006, Charleston, SC, US...

Verification, Model Checking, and Abstract Interpretation
By E. Allen Emerson, Kedar S. Namjoshi
Publisher: Springer, 2005-12-13
Pages: 453
Language: en
ISBN_13:9783540316220
ISBN_10:3540316221
Subject: Computers

Static Analysis

10th International Symposium, SAS 2003, San Diego, CA, USA, ...

Static Analysis
By Radhia Cousot
Publisher: Springer, 2003-08-03
Pages: 518
Language: en
ISBN_13:9783540448983
ISBN_10:3540448985
Subject: Computers

Runtime Verification

First International Conference, RV 2010, St. Julians, Malta,...

Runtime Verification

Verification, Model Checking, and Abstract Interpretation

... International Workshop, VMCAI ... : Revised Papers

Verification, Model Checking, and Abstract Interpretation

Static Analysis

... Insternational Static Analysis Symposium, SAS ... : Proc...

Static Analysis

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

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

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

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

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

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

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

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

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

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

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