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

Theoretical Computer Science

8th Italian Conference, ICTCS 2003, Bertinoro, Italy, Octobe...

Theoretical Computer Science

Computer Science Logic

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

Computer Science Logic
By Jacques Duparc
Publisher: Springer Science & Business Media, 2007-08-30
Pages: 611
Language: en
ISBN_13:9783540749141
ISBN_10:3540749144
Subject: Computers

Computer Science Logic

16th International Workshop, CSL 2002, 11th Annual Conferenc...

Computer Science Logic
By Julian Bradfield
Publisher: Springer, 2003-08-02
Pages: 630
Language: en
ISBN_13:9783540457930
ISBN_10:3540457933
Subject: Computers

Logic and Computational Complexity

International Workshop, LCC '94, Indianapolis, IN, USA, Octo...

Logic and Computational Complexity
By Daniel Leivant
Publisher: Springer Science & Business Media, 1995-08-02
Pages: 534
Language: en
ISBN_10:3540601783
ISBN_13:9783540601784
Subject: Computers

Functional Programming Languages and Computer Architecture

5th ACM Conference. Cambridge, MA, USA, August 26-30, 1991 P...

Functional Programming Languages and Computer Architecture
By John Hughes
Publisher: Springer Science & Business Media, 1991-08-07
Pages: 684
Language: en
ISBN_10:3540543961
ISBN_13:9783540543961
Subject: Computers

Theorem Proving in Higher Order Logics

14th International Conference, TPHOLs 2001, Edinburgh, Scotl...

Theorem Proving in Higher Order Logics
By Richard J. Boulton, Paul B. Jackson
Publisher: Springer, 2003-06-30
Pages: 405
Language: en
ISBN_13:9783540447559
ISBN_10:3540447555
Subject: Computers

Predictive Analytics

The Power to Predict Who Will Click, Buy, Lie, or Die

Predictive Analytics
By Eric Siegel
Publisher: John Wiley & Sons, 2016-01-20
Pages: 395
Language: en
ISBN_13:9781119145677
ISBN_10:1119145678
Subject: Business & Economics

Automated Deduction - CADE-16

16th International Conference on Automated Deduction, Trento...

Automated Deduction - CADE-16

Automated Deduction - CADE-19

19th International Conference on Automated Deduction Miami B...

Automated Deduction - CADE-19
By Franz Baader
Publisher: Springer, 2003-10-31
Pages: 517
Language: en
ISBN_13:9783540450856
ISBN_10:3540450858
Subject: Computers

Foundations of Software Science and Computation Structures

First International Conference, FoSSaCS'98, Held as Part of ...

Foundations of Software Science and Computation Structures
By M. Nivat
Publisher: Springer Science & Business Media, 1998-03-11
Pages: 308
Language: en
ISBN_10:3540643001
ISBN_13:9783540643005
Subject: Computers

Implementation and Application of Functional Languages

16th International Workshop, IFL 2004, Lübeck, Germany, Sept...

Implementation and Application of Functional Languages

Typed Lambda Calculi and Applications

5th International Conference, TLCA 2001 Krakow, Poland, May ...

Typed Lambda Calculi and Applications
By Samson Abramsky
Publisher: Springer, 2003-06-29
Pages: 441
Language: en
ISBN_13:9783540454137
ISBN_10:3540454136
Subject: Mathematics

Computer Science Logic

19th International Workshop, CSL 2005, 14th Annual Conferenc...

Computer Science Logic
By Luke Ong
Publisher: Springer, 2005-09-07
Pages: 577
Language: en
ISBN_13:9783540318972
ISBN_10:3540318976
Subject: Computers

Logical Foundations of Computer Science

International Symposium, LFCS 2009, Deerfield Beach, FL, USA...

Logical Foundations of Computer Science
By Sergei Artemov
Publisher: Springer Science & Business Media, 2009-02-13
Pages: 478
Language: en
ISBN_13:9783540926863
ISBN_10:3540926860
Subject: Computers

Typed Lambda Calculi and Applications

10th International Conference, TLCA 2011, Novi Sad, Serbia, ...

Typed Lambda Calculi and Applications
By Luke Ong
Publisher: Springer Science & Business Media, 2011-05-23
Pages: 255
Language: en
ISBN_13:9783642216909
ISBN_10:3642216900
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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