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

CONCUR 2000 - Concurrency Theory

11th International Conference, University Park, PA, USA, Aug...

CONCUR 2000 - Concurrency Theory
By Catuscia Palamidessi
Publisher: Springer, 2003-06-26
Pages: 631
Language: en
ISBN_13:9783540446187
ISBN_10:3540446184
Subject: Computers

Formal Methods for Real-Time and Probabilistic Systems

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

Formal Methods for Real-Time and Probabilistic Systems

Algebraic Methodology and Software Technology

9th International Conference, AMAST 2002, Saint-Gilles-les- ...

Algebraic Methodology and Software Technology
By Helene Kirchner, Christophe Ringeissen
Publisher: Springer, 2003-08-02
Pages: 550
Language: en
ISBN_13:9783540457190
ISBN_10:3540457194
Subject: Computers

Applications of Declarative Programming and Knowledge Management

15th International Conference on Applications of Declarative...

Applications of Declarative Programming and Knowledge Management

CONCUR 2006 - Concurrency Theory

17th International Conference, CONCUR 2006, Bonn, Germany, A...

CONCUR 2006 - Concurrency Theory
By Christel Baier, Holger Hermanns
Publisher: Springer, 2006-08-03
Pages: 536
Language: en
ISBN_13:9783540373773
ISBN_10:3540373772
Subject: Computers

Declarative Logic Programming

Theory, Systems, and Applications

Declarative Logic Programming
By Michael Kifer, Yanhong Annie Liu
Publisher: Morgan & Claypool, 2018-09-19
Pages: 617
Language: en
ISBN_13:9781970001976
ISBN_10:1970001976
Subject: Computers

Real-Time Systems

Scheduling, Analysis, and Verification

Real-Time Systems
By Albert M. K. Cheng
Publisher: John Wiley & Sons, 2003-03-27
Pages: 552
Language: en
ISBN_13:9780471460848
ISBN_10:0471460842
Subject: Computers

Logic Programming

17th International Conference, ICLP 2001, Paphos, Cyprus, No...

Logic Programming
By Philippe Codognet
Publisher: Springer, 2003-06-30
Pages: 376
Language: en
ISBN_13:9783540456353
ISBN_10:354045635X
Subject: Computers

Logic Programming

18th International Conference, ICLP 2002, Copenhagen, Denmar...

Logic Programming

Tools and Algorithms for the Construction and Analysis of Systems

11th International Conference, TACAS 2005, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
By Nicolas Halbwachs, Lenore Zuck
Publisher: Springer, 2005-02-26
Pages: 603
Language: en
ISBN_13:9783540319801
ISBN_10:3540319808
Subject: Computers

Practical Aspects of Declarative Languages

7th International Symposium, PADL 2005, Long Beach, CA, USA,...

Practical Aspects of Declarative Languages
By Manuel Hermenegildo, Daniel Cabeza
Publisher: Springer, 2005-01-28
Pages: 276
Language: en
ISBN_13:9783540305576
ISBN_10:3540305572
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

4th International Conference, VMCAI 2003, New York, NY, USA,...

Verification, Model Checking, and Abstract Interpretation

Computational Logic — CL 2000

First International Conference London, UK, July 24–28, 2000 ...

Computational Logic — CL 2000

CONCUR '92

Third International Conference on Concurrency Theory, Stony ...

CONCUR '92

Automata, Languages and Programming

28th International Colloquium, ICALP 2001 Crete, Greece, Jul...

Automata, Languages and Programming
By Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen
Publisher: Springer, 2003-05-15
Pages: 1098
Language: en
ISBN_13:9783540482246
ISBN_10:3540482245
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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