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

Automated Technology for Verification and Analysis

6th International Symposium, ATVA 2008, Seoul, Korea, Octobe...

Automated Technology for Verification and Analysis

Enterprise Interoperability

Research and Applications in Service-oriented Ecosystem (Pro...

Enterprise Interoperability

Business Information Systems

13th International Conference, BIS 2010, Berlin, Germany, Ma...

Business Information Systems
By Witold Abramowicz, Robert Tolksdorf
Publisher: Springer, 2010-05-10
Pages: 314
Language: en
ISBN_13:9783642128141
ISBN_10:3642128149
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

Formal Methods in Outer Space

Essays Dedicated to Klaus Havelund on the Occasion of His 65...

Formal Methods in Outer Space

FM 2016: Formal Methods

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

FM 2016: Formal Methods

Formal Techniques for Distributed Systems

Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010...

Formal Techniques for Distributed Systems
By John Hatcliff, Elena Zucca
Publisher: Springer, 2010-06-07
Pages: 244
Language: en
ISBN_13:9783642134647
ISBN_10:3642134645
Subject: Computers

Runtime Verification

6th International Conference, RV 2015, Vienna, Austria, Sept...

Runtime Verification
By Ezio Bartocci, Rupak Majumdar
Publisher: Springer, 2015-09-19
Pages: 439
Language: en
ISBN_13:9783319238203
ISBN_10:3319238205
Subject: Computers

Verified Software: Theories, Tools, Experiments

First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switz...

Verified Software: Theories, Tools, Experiments
By Bertrand Meyer, Jim Woodcock
Publisher: Springer, 2008-06-29
Pages: 565
Language: en
ISBN_13:9783540691495
ISBN_10:3540691499
Subject: Computers

Rigorous State-Based Methods

9th International Conference, ABZ 2023, Nancy, France, May 3...

Rigorous State-Based Methods
Computer Technology and Computer Programming
By James L. Antonakos
Publisher: CRC Press, 2016-04-19
Pages: 328
Language: en
ISBN_13:9781466562592
ISBN_10:1466562595
Subject: Computers

System Analysis and Modeling: Models and Reusability

8th International Conference, SAM 2014, Valencia, Spain, Sep...

System Analysis and Modeling: Models and Reusability

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

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

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

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

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

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

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

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

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

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

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