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

Coordination Models and Languages

5th International Conference, COORDINATION 2002, YORK, UK, A...

Coordination Models and Languages

Hardware and Software: Verification and Testing

13th International Haifa Verification Conference, HVC 2017, ...

Hardware and Software: Verification and Testing
By Ofer Strichman, Rachel Tzoref-Brill
Publisher: Springer, 2017-11-11
Pages: 268
Language: en
ISBN_13:9783319703893
ISBN_10:3319703897
Subject: Computers

Practical Aspects of Declarative Languages

Third International Symposium, PADL 2001 Las Vegas, Nevada, ...

Practical Aspects of Declarative Languages
By I.V. Ramakrishnan
Publisher: Springer, 2003-06-29
Pages: 361
Language: en
ISBN_13:9783540452416
ISBN_10:3540452419
Subject: Computers

Protocol Specification, Testing and Verification, XII

Proceedings of the IFIP TC6/WG6.1. Twelfth International Sym...

Protocol Specification, Testing and Verification, XII
By R.J. Linn, M.Ü. Uyar
Publisher: Elsevier, 2016-09-20
Pages: 434
Language: en
ISBN_13:9781483293349
ISBN_10:1483293343
Subject: Computers

Automata, Languages and Programming

17th International Colloquium, Warwick University, England, ...

Automata, Languages and Programming

Program Development in Computational Logic

A Decade of Research Advances in Logic-Based Program Develop...

Program Development in Computational Logic
By Maurice Bruynooghe, Kung-Kiu Lau
Publisher: Springer, 2004-06-23
Pages: 546
Language: en
ISBN_13:9783540259510
ISBN_10:3540259511
Subject: Computers

Automatic Verification Methods for Finite State Systems

International Workshop, Grenoble, France. June 12-14, 1989. ...

Automatic Verification Methods for Finite State Systems
By Joseph Sifakis
Publisher: Springer Science & Business Media, 1990-01-10
Pages: 392
Language: en
ISBN_10:3540521488
ISBN_13:9783540521488
Subject: Computers

CONCUR'99. Concurrency Theory

10th International Conference Eindhoven, The Netherlands, Au...

CONCUR'99. Concurrency Theory
By Jos C.M. Baeten, Sjouke Mauw
Publisher: Springer, 2003-07-31
Pages: 585
Language: en
ISBN_13:9783540483205
ISBN_10:3540483209
Subject: Mathematics

Foundations of Software Technology and Theoretical Computer Science

18th Conference, Chennai, India, December 17-19, 1998 : Proc...

Foundations of Software Technology and Theoretical Computer Science
By V. Arvind
Publisher: Springer Science & Business Media, 1998-11-25
Pages: 405
Language: en
ISBN_13:9783540653844
ISBN_10:3540653848
Subject: Computers

CONCUR ...

Theories of Concurrency-unification and Extension : Proceedi...

CONCUR ...

Formal Methods for Real-Time and Probabilistic Systems

5th International AMAST Workshop, ARTS'99, Bamberg, Germany,...

Formal Methods for Real-Time and Probabilistic Systems

Formal Approaches to Software Testing

4th International Workshop, FATES 2004, Linz, Austria, Septe...

Formal Approaches to Software Testing

Coordination Models and Languages

10th International Conference, COORDINATION 2008, Oslo, Norw...

Coordination Models and Languages
By Doug Lea, Gianluigi Zavattaro
Publisher: Springer, 2008-05-27
Pages: 356
Language: en
ISBN_13:9783540682653
ISBN_10:3540682651
Subject: Computers

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Ger...

Process Algebra and Probabilistic Methods. Performance Modelling and Verification

Tools and Algorithms for the Construction and Analysis of Systems

Second International Workshop, TACAS '96, Passau, Germany, M...

Tools and Algorithms for the Construction and Analysis of Systems

Compositionality: The Significant Difference

International Symposium, COMPOS’97 Bad Malente, Germany, Sep...

Compositionality: The Significant Difference

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

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

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

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

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

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

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

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

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

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

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