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

Formal Methods for Industrial Critical Systems

26th International Conference, FMICS 2021, Paris, France, Au...

Formal Methods for Industrial Critical Systems

NASA Formal Methods

12th International Symposium, NFM 2020, Moffett Field, CA, U...

NASA Formal Methods

Coordination Models and Languages

22nd IFIP WG 6.1 International Conference, COORDINATION 2020...

Coordination Models and Languages
By Simon Bliudze, Laura Bocchi
Publisher: Springer Nature, 2020-06-10
Pages: 407
Language: en
ISBN_13:9783030500290
ISBN_10:3030500292
Subject: Computers

Computer Aided Verification

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

Computer Aided Verification

Requirements Engineering: Foundation for Software Quality

28th International Working Conference, REFSQ 2022, Birmingha...

Requirements Engineering: Foundation for Software Quality
By Vincenzo Gervasi, Andreas Vogelsang
Publisher: Springer Nature, 2022-03-08
Pages: 265
Language: en
ISBN_13:9783030984649
ISBN_10:3030984648
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

28th International Conference, TACAS 2022, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
By Dana Fisman, Grigore Rosu
Publisher: Springer Nature, 2022-04-30
Pages: 506
Language: en
ISBN_13:9783030995270
ISBN_10:3030995275
Subject: Computers

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, Septemb...

Formal Methods
By Andre Platzer
Publisher: Springer Nature,
Pages: 669
Language: en
ISBN_13:9783031711770
ISBN_10:3031711777

Theoretical Aspects of Computing – ICTAC 2020

17th International Colloquium, Macau, China, November 30 – D...

Theoretical Aspects of Computing – ICTAC 2020

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

Tests and Proofs

18th International Conference, TAP 2024, Milan, Italy, Septe...

Tests and Proofs

NASA Formal Methods

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

NASA Formal Methods

Global Security, Safety, and Sustainability

7th International and 4th e-Democracy Joint Conferences, ICG...

Global Security, Safety, and Sustainability

NASA Formal Methods

13th International Symposium, NFM 2021, Virtual Event, May 2...

NASA Formal Methods

Formal Methods

24th International Symposium, FM 2021, Virtual Event, Novemb...

Formal Methods

Formal Aspects of Component Software

12th International Conference, FACS 2015, Niterói, Brazil, O...

Formal Aspects of Component Software
By Christiano Braga, Peter Csaba Ölveczky
Publisher: Springer, 2016-01-29
Pages: 340
Language: en
ISBN_13:9783319289342
ISBN_10:3319289349
Subject: Computers

Formal Aspects of Component Software

14th International Conference, FACS 2017, Braga, Portugal, O...

Formal Aspects of Component Software
By José Proença, Markus Lumpe
Publisher: Springer, 2017-09-20
Pages: 261
Language: en
ISBN_13:9783319680347
ISBN_10:331968034X
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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