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

چاپ کتاب PDF,

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

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

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

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

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

Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11...

Formal Methods – The Next 30 Years

Software Engineering and Formal Methods

20th International Conference, SEFM 2022, Berlin, Germany, S...

Software Engineering and Formal Methods
By Bernd-Holger Schlingloff, Ming Chai
Publisher: Springer Nature, 2022-09-21
Pages: 373
Language: en
ISBN_13:9783031171086
ISBN_10:303117108X
Subject: Computers

NASA Formal Methods

16th International Symposium, NFM 2024, Moffett Field, CA, U...

NASA Formal Methods

Fundamentals of Software Engineering

8th International Conference, FSEN 2019, Tehran, Iran, May 1...

Fundamentals of Software Engineering
By Hossein Hojjat, Mieke Massink
Publisher: Springer Nature, 2019-09-21
Pages: 261
Language: en
ISBN_13:9783030315177
ISBN_10:3030315177
Subject: Computers

Automated Technology for Verification and Analysis

15th International Symposium, ATVA 2017, Pune, India, Octobe...

Automated Technology for Verification and Analysis
By Deepak D'Souza, K. Narayan Kumar
Publisher: Springer, 2017-10-03
Pages: 482
Language: en
ISBN_13:9783319681672
ISBN_10:3319681672
Subject: Computers

Coordination Models and Languages

25th IFIP WG 6.1 International Conference, COORDINATION 2023...

Coordination Models and Languages
By Sung-Shik Jongmans, Antónia Lopes
Publisher: Springer Nature, 2023-06-14
Pages: 296
Language: en
ISBN_13:9783031353611
ISBN_10:3031353617
Subject: Computers

Software Engineering and Formal Methods

17th International Conference, SEFM 2019, Oslo, Norway, Sept...

Software Engineering and Formal Methods
By Peter Csaba Ölveczky, Gwen Salaün
Publisher: Springer Nature, 2019-09-09
Pages: 550
Language: en
ISBN_13:9783030304461
ISBN_10:3030304469
Subject: Computers

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science

22nd Conference Kanpur, India, December 12-14, 2002, Proceed...

FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
By Manindra Agrawal, Anil Seth
Publisher: Springer, 2003-07-01
Pages: 372
Language: en
ISBN_13:9783540362067
ISBN_10:3540362061
Subject: Computers

CONCUR 2009 - Concurrency Theory

20th International Conference, CONCUR 2009, Bologna, Italy, ...

CONCUR 2009 - Concurrency Theory
By Mario Bravetti, Gianluigi Zavattaro
Publisher: Springer, 2009-09-01
Pages: 651
Language: en
ISBN_13:9783642040818
ISBN_10:3642040810
Subject: Computers

NASA Formal Methods

10th International Symposium, NFM 2018, Newport News, VA, US...

NASA Formal Methods
By Aaron Dutle, César Muñoz, Anthony Narkawicz
Publisher: Springer, 2018-04-06
Pages: 470
Language: en
ISBN_13:9783319779355
ISBN_10:3319779354
Subject: Computers

FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-1...

FM 2016: Formal Methods

Runtime Verification

23rd International Conference, RV 2023, Thessaloniki, Greece...

Runtime Verification
By Panagiotis Katsaros, Laura Nenzi
Publisher: Springer Nature, 2023-11-04
Pages: 494
Language: en
ISBN_13:9783031442674
ISBN_10:3031442679
Subject: Computers

Software Engineering and Formal Methods

16th International Conference, SEFM 2018, Held as Part of ST...

Software Engineering and Formal Methods
By Einar Broch Johnsen, Ina Schaefer
Publisher: Springer, 2018-06-18
Pages: 306
Language: en
ISBN_13:9783319929705
ISBN_10:3319929704
Subject: Computers

Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, Sep...

Software Engineering and Formal Methods
By Alessandro Cimatti, Marjan Sirjani
Publisher: Springer, 2017-08-24
Pages: 410
Language: en
ISBN_13:9783319661971
ISBN_10:3319661973
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
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
By Tiziana Margaria, Bernhard Steffen
Publisher: Springer, 2016-10-05
Pages: 985
Language: en
ISBN_13:9783319471662
ISBN_10:331947166X
Subject: Computers

NASA Formal Methods

14th International Symposium, NFM 2022, Pasadena, CA, USA, M...

NASA Formal Methods

Integrated Formal Methods

14th International Conference, IFM 2018, Maynooth, Ireland, ...

Integrated Formal Methods
By Carlo A. Furia, Kirsten Winter
Publisher: Springer, 2018-08-22
Pages: 420
Language: en
ISBN_13:9783319989389
ISBN_10:3319989383
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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