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

چاپ کتاب PDF,

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

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

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

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

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

Automated Reasoning

Third International Joint Conference, IJCAR 2006, Seattle, W...

Automated Reasoning
By Ulrich Furbach, Natarajan Shankar
Publisher: Springer, 2006-10-06
Pages: 693
Language: en
ISBN_13:9783540371885
ISBN_10:3540371885
Subject: Computers

Software Safety and Security

Tools for Analysis and Verification

Software Safety and Security

High-Performance Embedded Computing

Applications in Cyber-Physical Systems and Mobile Computing

High-Performance Embedded Computing
By Marilyn Wolf
Publisher: Newnes, 2014-03-17
Pages: 507
Language: en
ISBN_13:9780124104884
ISBN_10:0124104886
Subject: Computers

Software Process Technology

9th International Workshop, EWSPT 2003, Helsinki, Finland, S...

Software Process Technology
By Flavio Oquendo
Publisher: Springer, 2003-12-12
Pages: 183
Language: en
ISBN_13:9783540451891
ISBN_10:3540451897
Subject: Technology & Engineering

Model Checking Software

10th International SPIN Workshop. Portland, OR, USA, May 9-1...

Model Checking Software
By Thomas Ball
Publisher: Springer Science & Business Media, 2003-04-28
Pages: 252
Language: en
ISBN_13:9783540401179
ISBN_10:3540401172
Subject: Computers
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

Theoretical and Practical Aspects of SPIN Model Checking

5th and 6th International SPIN Workshops, Trento, Italy, Jul...

Theoretical and Practical Aspects of SPIN Model Checking
By Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek
Publisher: Springer, 2003-05-21
Pages: 287
Language: en
ISBN_13:9783540482345
ISBN_10:3540482342
Subject: Computers

Types in Compilation

Second International Workshop, TIC'98, Kyoto, Japan, March 2...

Types in Compilation

Computer Aided Verification

17th International Conference, CAV 2005, Edinburgh, Scotland...

Computer Aided Verification

Computer Aided Verification

15th International Conference, CAV 2003, Boulder, CO, USA, J...

Computer Aided Verification
By Warren A. Hunt
Publisher: Springer Science & Business Media, 2003-06-27
Pages: 474
Language: en
ISBN_13:9783540405245
ISBN_10:3540405240
Subject: Computers

Generative Programming and Component Engineering

4th International Conference, GPCE 2005, Tallinn, Estonia, S...

Generative Programming and Component Engineering
By Robert Glück, Michael Lowry
Publisher: Springer, 2005-10-05
Pages: 459
Language: en
ISBN_13:9783540319771
ISBN_10:3540319778
Subject: Computers

Model Driven Engineering Languages and Systems

8th International Conference, MoDELS 2005, Montego Bay, Jama...

Model Driven Engineering Languages and Systems

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

8th International Symposium, ISoLA 2018, Limassol, Cyprus, N...

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
By Tiziana Margaria, Bernhard Steffen
Publisher: Springer, 2018-10-29
Pages: 537
Language: en
ISBN_13:9783030034276
ISBN_10:3030034275
Subject: Computers

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

8th International Symposium, ISoLA 2018, Limassol, Cyprus, N...

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
By Tiziana Margaria, Bernhard Steffen
Publisher: Springer, 2018-10-30
Pages: 533
Language: en
ISBN_13:9783030034245
ISBN_10:3030034240
Subject: Computers

Generative Programming and Component Engineering

ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, U...

Generative Programming and Component Engineering

Static Analysis

First International Static Analysis Symposium, SAS '94, Namu...

Static Analysis

Compiler Construction

12th International Conference, CC 2003, Held as Part of the ...

Compiler Construction
By Görel Hedin
Publisher: Springer Science & Business Media, 2003-03-14
Pages: 347
Language: en
ISBN_13:9783540009047
ISBN_10:3540009043
Subject: Computers

Automated Technology for Verification and Analysis

Third International Symposium, ATVA 2005, Taipei, Taiwan, Oc...

Automated Technology for Verification and Analysis

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

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

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

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

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

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

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

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

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

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

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