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

چاپ کتاب PDF,

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

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

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

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

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

NASA Formal Methods

5th International Symposium, NFM 2013, Moffett Field, CA, US...

NASA Formal Methods
By Guillaume Brat, Neha Rungta, Arnaud Venet
Publisher: Springer, 2013-05-09
Pages: 504
Language: en
ISBN_13:9783642380884
ISBN_10:3642380883
Subject: Computers

Fundamental Approaches to Software Engineering

24th International Conference, FASE 2021, Held as Part of th...

Fundamental Approaches to Software Engineering
By Esther Guerra, Mariëlle Stoelinga
Publisher: Springer Nature, 2021-04-20
Pages: 373
Language: en
ISBN_13:9783030715007
ISBN_10:3030715000
Subject: Computers

FM 2012: Formal Methods

18th International Symposium, Paris, France, August 27-31, 2...

FM 2012: Formal Methods
By Dimitra Giannakopoulou, Dominique Mery
Publisher: Springer, 2012-08-21
Pages: 503
Language: en
ISBN_13:9783642327599
ISBN_10:3642327591
Subject: Computers

NASA Formal Methods

15th International Symposium, NFM 2023, Houston, TX, USA, Ma...

NASA Formal Methods

Model Checking Software

18th International SPIN Workshop, Snowbird, UT, USA, July 14...

Model Checking Software
By Alex Groce, Madanlal Musuvathi
Publisher: Springer, 2011-07-05
Pages: 203
Language: en
ISBN_13:9783642223068
ISBN_10:3642223060
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

Verification, Model Checking, and Abstract Interpretation

17th International Conference, VMCAI 2016, St. Petersburg, F...

Verification, Model Checking, and Abstract Interpretation
By Barbara Jobstmann, K. Rustan M. Leino
Publisher: Springer, 2015-12-29
Pages: 557
Language: en
ISBN_13:9783662491225
ISBN_10:3662491222
Subject: Computers

Intelligent Environments 2016

Workshop Proceedings of the 12th International Conference on...

Intelligent Environments 2016
By P. Novais, S. Konomi
Publisher: IOS Press, 2016-10-12
Pages: 644
Language: en
ISBN_13:9781614996903
ISBN_10:1614996903
Subject: Computers

Computer Aided Verification

34th International Conference, CAV 2022, Haifa, Israel, Augu...

Computer Aided Verification
By Sharon Shoham, Yakir Vizel
Publisher: Springer Nature, 2022-08-06
Pages: 563
Language: en
ISBN_13:9783031131851
ISBN_10:3031131851
Subject: Computers

NASA Formal Methods

9th International Symposium, NFM 2017, Moffett Field, CA, US...

NASA Formal Methods
By Clark Barrett, Misty Davies, Temesghen Kahsai
Publisher: Springer, 2017-04-08
Pages: 436
Language: en
ISBN_13:9783319572888
ISBN_10:3319572881
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

Hardware and Software: Verification and Testing

4th International Haifa Verification Conference, HVC 2008, H...

Hardware and Software: Verification and Testing

Model Checking Software

27th International Symposium, SPIN 2021, Virtual Event, July...

Model Checking Software
By Alfons Laarman, Ana Sokolova
Publisher: Springer Nature, 2021-08-02
Pages: 199
Language: en
ISBN_13:9783030846299
ISBN_10:3030846296
Subject: Computers

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, US...

Computer Aided Verification
By Shuvendu K. Lahiri, Chao Wang
Publisher: Springer Nature, 2020-07-15
Pages: 682
Language: en
ISBN_13:9783030532888
ISBN_10:3030532887
Subject: Computers

Fundamental Approaches to Software Engineering

14th International Conference, FASE 2011, Held as Part of th...

Fundamental Approaches to Software Engineering
By Dimitra Giannakopoulou, Fernando Orejas
Publisher: Springer, 2011-03-14
Pages: 476
Language: en
ISBN_13:9783642198113
ISBN_10:3642198112
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

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

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

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

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

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

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

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

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

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

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

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