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

چاپ کتاب PDF,

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

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

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

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

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

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-13
Pages: 479
Language: en
ISBN_13:9783319216683
ISBN_10:3319216686
Subject: Computers

Software Engineering and Formal Methods

19th International Conference, SEFM 2021, Virtual Event, Dec...

Software Engineering and Formal Methods
By Radu Calinescu, Corina S. Păsăreanu
Publisher: Springer Nature, 2021-12-02
Pages: 524
Language: en
ISBN_13:9783030921248
ISBN_10:3030921247
Subject: Computers

The Essence of Computation

Complexity, Analysis, Transformation. Essays Dedicated to Ne...

The Essence of Computation
By Torben Mogensen, David Schmidt, I. Hal Sudborough
Publisher: Springer, 2003-07-01
Pages: 504
Language: en
ISBN_13:9783540363774
ISBN_10:3540363777
Subject: Computers

Model Checking Software

16th International SPIN Workshop, Grenoble, France, June 26-...

Model Checking Software
By Corina S Pasareanu
Publisher: Springer, 2009-06-26
Pages: 305
Language: en
ISBN_13:9783642026522
ISBN_10:3642026524
Subject: Computers

Model Checking Software

13th International SPIN Workshop, Vienna, Austria, March 30 ...

Model Checking Software
By Antti Valmari
Publisher: Springer, 2006-03-29
Pages: 316
Language: en
ISBN_13:9783540331032
ISBN_10:3540331034
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

26th International Conference, TACAS 2020, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
By Armin Biere, David Parker
Publisher: Springer Nature, 2020-04-17
Pages: 501
Language: en
ISBN_13:9783030451905
ISBN_10:3030451909
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
Advances in Computers
Publisher: Academic Press, 2019-01-30
Pages: 358
Language: en
ISBN_13:9780128160718
ISBN_10:0128160713
Subject: Mathematics

Symbolic Execution and Quantitative Reasoning

Applications to Software Safety and Security

Symbolic Execution and Quantitative Reasoning

Tools and Algorithms for the Construction and Analysis of Systems

7th International Conference, TACAS 2001 Held as Part of the...

Tools and Algorithms for the Construction and Analysis of Systems
By Tiziana Margaria, Wang Yi
Publisher: Springer, 2003-06-29
Pages: 602
Language: en
ISBN_13:9783540453192
ISBN_10:3540453199
Subject: Computers

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

Tests and Proofs

6th International Conference, TAP 2012, Prague, Czech Republ...

Tests and Proofs
By Achim Brucker, Jacques Julliand
Publisher: Springer, 2012-05-26
Pages: 187
Language: en
ISBN_13:9783642304736
ISBN_10:3642304737
Subject: Computers

Formal Aspects of Component Software

9th International Symposium, FACS 2012, Mountain View, CA, U...

Formal Aspects of Component Software
By Corina S Pasareanu, Gwen Salaün
Publisher: Springer, 2013-01-12
Pages: 286
Language: en
ISBN_13:9783642358616
ISBN_10:3642358616
Subject: Computers

Symbolic Execution and Quantitative Reasoning

Applications to Software Safety and Security

Symbolic Execution and Quantitative Reasoning

Hardware and Software: Verification and Testing

10th International Haifa Verification Conference, HVC 2014, ...

Hardware and Software: Verification and Testing
By Eran Yahav
Publisher: Springer, 2014-11-03
Pages: 313
Language: en
ISBN_13:9783319133386
ISBN_10:3319133381
Subject: Computers

Model Checking Software

16th International SPIN Workshop, Grenoble, France, June 26-...

Model Checking Software

Model Checking Software

... International SPIN Workshop, ..., Proceedings

Model Checking Software

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

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

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

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

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

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

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

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

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

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

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