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

Static Analysis

10th International Symposium, SAS 2003, San Diego, CA, USA, ...

Static Analysis
By Radhia Cousot
Publisher: Springer Science & Business Media, 2003-05-28
Pages: 518
Language: en
ISBN_13:9783540403258
ISBN_10:3540403256
Subject: Computers

Practical Aspects of Declarative Languages

5th International Symposium, PADL 2003, New Orleans, LA, USA...

Practical Aspects of Declarative Languages
By Veronica Dahl
Publisher: Springer Science & Business Media, 2003-02-12
Pages: 417
Language: en
ISBN_13:9783540003892
ISBN_10:3540003894
Subject: Computers

Applied Semantics

International Summer School, APPSEM 2000, Caminha, Portugal,...

Applied Semantics

Programming Language Implementation and Logic Programming

3rd International Symposium, PLILP '91, Passau, Germany, Aug...

Programming Language Implementation and Logic Programming

Programming Languages and Systems

11th European Symposium on Programming, ESOP 2002, Held as P...

Programming Languages and Systems

Programming Languages and Systems

9th European Symposium on Programming, ESOP 2000 Held as Par...

Programming Languages and Systems
By Gert Smolka
Publisher: Springer, 2003-06-26
Pages: 442
Language: en
ISBN_13:9783540464259
ISBN_10:3540464255
Subject: Computers

Abstract State Machines - Theory and Applications

International Workshop, ASM 2000 Monte Verita, Switzerland, ...

Abstract State Machines - Theory and Applications

Types in Compilation

Third International Workshop, TIC 2000, Montreal, Canada, Se...

Types in Compilation
By Robert Harper
Publisher: Springer, 2003-06-29
Pages: 213
Language: en
ISBN_13:9783540453321
ISBN_10:3540453326
Subject: Computers

Theoretical Aspects of Object-oriented Programming

Types, Semantics, and Language Design

Theoretical Aspects of Object-oriented Programming
By Carl A. Gunter, John C. Mitchell
Publisher: MIT Press, 1994
Pages: 568
Language: en
ISBN_10:026207155X
ISBN_13:9780262071550
Subject: Computers

Programming Languages and Systems

16th European Symposium on Programming, ESOP 2007, Held as P...

Programming Languages and Systems
By Rocco De Nicola
Publisher: Springer, 2007-07-16
Pages: 551
Language: en
ISBN_13:9783540713166
ISBN_10:3540713166
Subject: Computers

Typed Lambda Calculi and Applications

4th International Conference, TLCA'99, L'Aquila, Italy, Apri...

Typed Lambda Calculi and Applications
By Jean-Yves Girard
Publisher: Springer, 2003-07-31
Pages: 409
Language: en
ISBN_13:9783540489597
ISBN_10:3540489592
Subject: Computers

Mathematical Foundations of Computer Science 2000

25th International Symposium, MFCS 2000 Bratislava, Slovakia...

Mathematical Foundations of Computer Science 2000
By Mogens Nielsen, Branislav Rovan
Publisher: Springer, 2003-06-29
Pages: 724
Language: en
ISBN_13:9783540446125
ISBN_10:3540446125
Subject: Computers

Service-Oriented Computing - ICSOC 2008

6th International Conference, Sydney, Australia, December 1-...

Service-Oriented Computing - ICSOC 2008

Types in Compilation

Second International Workshop, TIC'98, Kyoto, Japan, March 2...

Types in Compilation

ACM SIGPLAN Notices

A Monthly Publication of the Special Interest Group on Progr...

ACM SIGPLAN Notices

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

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

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

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

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

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

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

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

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

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

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