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

Practical Aspects of Declarative Languages

8th International Symposium, PADL 2006, Charleston, SC, USA,...

Practical Aspects of Declarative Languages

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

Formal Methods and Software Engineering

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

Formal Methods and Software Engineering

Logic Programming

Proceedings of the 1995 International Symposium

Logic Programming
By John Lloyd
Publisher: MIT Press, 1995
Pages: 676
Language: en
ISBN_10:0262620995
ISBN_13:9780262620994
Subject: Computers

Logic Programming

19th International Conference, ICLP 2003, Mumbai, India, Dec...

Logic Programming
By Catuscia Palamidessi
Publisher: Springer, 2003-12-01
Pages: 533
Language: en
ISBN_13:9783540245995
ISBN_10:3540245995
Subject: Computers

Logic Programming

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

Logic Programming

Applications of Declarative Programming and Knowledge Management

18th International Conference, INAP 2009, Évora, Portugal, N...

Applications of Declarative Programming and Knowledge Management
By Salvador Abreu, Dietmar Seipel
Publisher: Springer, 2011-04-20
Pages: 248
Language: en
ISBN_13:9783642205897
ISBN_10:3642205895
Subject: Computers

Logic-Based Program Synthesis and Transformation

9th International Workshop, LOPSTR'99, Venice, Italy, Septem...

Logic-Based Program Synthesis and Transformation
By Annalisa Bossi
Publisher: Springer, 2006-12-30
Pages: 322
Language: en
ISBN_13:9783540451488
ISBN_10:354045148X
Subject: Computers

Logic Programming

Proceedings of the 1996 Joint International Conference and S...

Logic Programming
By Michael Maher
Publisher: MIT Press, 1996
Pages: 580
Language: en
ISBN_10:0262631733
ISBN_13:9780262631730
Subject: Computers

Practical Aspects of Declarative Languages

11th International Symposium, PADL 2009, Savannah, GA, USA, ...

Practical Aspects of Declarative Languages

Tools and Algorithms for the Construction and Analysis of Systems

12th International Conference, TACAS 2006, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems

Program Development in Computational Logic

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

Program Development in Computational Logic

Advances in Computing Science - ASIAN'99

5th Asian Computing Science Conference, Phuket, Thailand, De...

Advances in Computing Science - ASIAN'99

Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Lu...

Model Checking Software
By Thomas Neele
Publisher: Springer Nature,
Pages: 274
Language: en
ISBN_13:9783031661495
ISBN_10:3031661494

Verification, Model Checking, and Abstract Interpretation

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

Verification, Model Checking, and Abstract Interpretation

Computer Science Logic

21 International Workshop, CSL 2007, 16th Annual Conference ...

Computer Science Logic
By Jacques Duparc, Thomas A. Henzinger
Publisher: Springer, 2007-08-24
Pages: 611
Language: en
ISBN_13:9783540749158
ISBN_10:3540749152
Subject: Computers

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

Logic Based Program Synthesis and Transformation

15th International Symposium, LOPSTR 2005, London, UK, Septe...

Logic Based Program Synthesis and Transformation
By Patricia M. Hill
Publisher: Springer, 2006-03-01
Pages: 187
Language: en
ISBN_13:9783540326564
ISBN_10:3540326561
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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