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

Evaluation of Novel Approaches to Software Engineering

8th International Conference, ENASE 2013, Angers, France, Ju...

Evaluation of Novel Approaches to Software Engineering
By Joaquim Filipe, Leszek A. Maciaszek
Publisher: Springer, 2013-12-20
Pages: 267
Language: en
ISBN_13:9783642540929
ISBN_10:3642540929
Subject: Computers

Formal Aspects of Component Software

8th International Symposium, FACS 2011, Oslo, Norway, Septem...

Formal Aspects of Component Software

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

Trustworthy Global Computing

5th International Symposium, TGC 2010, Munich, Germany, Febr...

Trustworthy Global Computing

Formal Techniques for Distributed Objects, Components, and Systems

34th IFIP WG 6.1 International Conference, FORTE 2014, Held ...

Formal Techniques for Distributed Objects, Components, and Systems
By Erika Ábrahám, Catuscia Palamidessi
Publisher: Springer, 2014-05-20
Pages: 312
Language: en
ISBN_13:9783662436134
ISBN_10:3662436132
Subject: Computers

Trustworthy Global Computing

6th International Symposium, TGC 2011, Aachen, Germany, June...

Trustworthy Global Computing
By Roberto Bruni, Vladimiro Sassone
Publisher: Springer, 2012-06-26
Pages: 251
Language: en
ISBN_13:9783642300653
ISBN_10:3642300650
Subject: Computers

Formal Methods for Industrial Critical Systems

14th International Workshop, FMICS 2009, Eindhoven, The Neth...

Formal Methods for Industrial Critical Systems

Coordination Models and Languages

8th International Conference, COORDINATION 2006, Bologna, It...

Coordination Models and Languages
By Paolo Ciancarini, Herbert Wiklicky
Publisher: Springer, 2006-06-11
Pages: 306
Language: en
ISBN_13:9783540346951
ISBN_10:3540346953
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, ...

Verification, Model Checking, and Abstract Interpretation
By Dirk Beyer, Damien Zufferey
Publisher: Springer Nature, 2020-01-14
Pages: 484
Language: en
ISBN_13:9783030393229
ISBN_10:3030393224
Subject: Computers

Formal Methods and Software Engineering

4th International Conference on Formal Engineering Methods, ...

Formal Methods and Software Engineering
By Chris George, Huaikou Miao
Publisher: Springer, 2003-06-30
Pages: 639
Language: en
ISBN_13:9783540361039
ISBN_10:3540361030
Subject: Computers

Software Architecture

First European Workshop, EWSA 2004, St Andrews, UK, May 21-2...

Software Architecture
By Flavio Oquendo, Brian Warboys, Ron Morrison
Publisher: Springer, 2004-05-26
Pages: 289
Language: en
ISBN_13:9783540247692
ISBN_10:3540247696
Subject: Computers

Recent Trends in Algebraic Development Techniques

17th International Workshop, WADT 2004, Barcelona, Spain, Ma...

Recent Trends in Algebraic Development Techniques

Fundamental Approaches to Software Engineering

Second International Conference, FASE'99, Held as Part of th...

Fundamental Approaches to Software Engineering

Formal Techniques for Distributed Objects, Components, and Systems

43rd IFIP WG 6.1 International Conference, FORTE 2023, Held ...

Formal Techniques for Distributed Objects, Components, and Systems
By Marieke Huisman, António Ravara
Publisher: Springer Nature, 2023-06-09
Pages: 233
Language: en
ISBN_13:9783031353550
ISBN_10:3031353552
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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