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

چاپ کتاب PDF,

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

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

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

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

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

Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

18th International Conference, TACAS 2012, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
By Cormac Flanagan, Barbara König
Publisher: Springer, 2012-03-22
Pages: 578
Language: en
ISBN_13:9783642287565
ISBN_10:3642287565
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

22nd International Conference, TACAS 2016, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
By Marsha Chechik, Jean-François Raskin
Publisher: Springer, 2016-04-08
Pages: 958
Language: en
ISBN_13:9783662496749
ISBN_10:3662496747
Subject: Computers

Static Analysis

18th International Symposium, SAS 2011. Venice, Italy, Septe...

Static Analysis
By Eran Yahav
Publisher: Springer, 2011-09-15
Pages: 396
Language: en
ISBN_13:9783642237027
ISBN_10:3642237029
Subject: Computers

Static Analysis

19th International Symposium, SAS 2012, Deauville, France, S...

Static Analysis
By Antoine Mine, David Schmidt
Publisher: Springer, 2012-08-30
Pages: 466
Language: en
ISBN_13:9783642331251
ISBN_10:3642331254
Subject: Computers

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, A...

Computer Aided Verification
By Thomas Ball
Publisher: Springer Science & Business Media, 2006-08-08
Pages: 577
Language: en
ISBN_13:9783540374060
ISBN_10:354037406X
Subject: Computers

Embedded Software

Third International Conference, EMSOFT 2003, Philadelphia, P...

Embedded Software

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, ...

Computer Aided Verification
By Daniel Kroening, Corina S. Păsăreanu
Publisher: Springer, 2015-07-15
Pages: 690
Language: en
ISBN_13:9783319216904
ISBN_10:3319216902
Subject: Computers

Static Analysis

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

Static Analysis

Hybrid Systems: Computation and Control

12th International Conference, HSCC 2009, San Francisco, CA,...

Hybrid Systems: Computation and Control

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the...

Computer Aided Verification
By Hana Chockler, Georg Weissenbacher
Publisher: Springer, 2018-07-21
Pages: 703
Language: en
ISBN_13:9783319961453
ISBN_10:3319961454
Subject: Computers

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, ...

Computer Aided Verification
By Isil Dillig, Serdar Tasiran
Publisher: Springer, 2019-07-12
Pages: 558
Language: en
ISBN_13:9783030255435
ISBN_10:3030255433
Subject: Computers

Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, Australia, ...

Automated Technology for Verification and Analysis
By Franck Cassez, Jean-Francois Raskin
Publisher: Springer, 2014-10-24
Pages: 448
Language: en
ISBN_13:9783319119366
ISBN_10:3319119362
Subject: Computers

Static Analysis

25th International Symposium, SAS 2018, Freiburg, Germany, A...

Static Analysis
By Andreas Podelski
Publisher: Springer, 2018-08-28
Pages: 445
Language: en
ISBN_13:9783319997254
ISBN_10:3319997254
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

12th International Conference, VMCAI 2011, Austin, TX, USA, ...

Verification, Model Checking, and Abstract Interpretation
By Ranjit Jhala, David Schmidt
Publisher: Springer, 2011-01-19
Pages: 430
Language: en
ISBN_13:9783642182754
ISBN_10:3642182755
Subject: Computers

Static Analysis

13th International Symposium, SAS 2006, Seoul, Korea, August...

Static Analysis
By Kwangkeun Yi
Publisher: Springer Science & Business Media, 2006-08-17
Pages: 454
Language: en
ISBN_13:9783540377566
ISBN_10:3540377565
Subject: Computers

Computer Aided Verification

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

Computer Aided Verification
By Warren A. Hunt, Jr., Fabio Somenzi
Publisher: Springer, 2011-05-02
Pages: 474
Language: en
ISBN_13:9783540450696
ISBN_10:3540450696
Subject: Computers

Algebra and Coalgebra in Computer Science

First International Conference, CALCO 2005, Swansea, UK, Sep...

Algebra and Coalgebra in Computer Science

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

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

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

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

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

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

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

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

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

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

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