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

Geschichte der englischen Poesie

Von der Mitte des vierzehnten bis zur Mitte des neunzehnten ...

Proof Theory in Computer Science

International Seminar, PTCS 2001 Dagstuhl Castle, Germany, O...

Proof Theory in Computer Science

Types for Proofs and Programs

International Workshop, TYPES'99, Lökeberg, Sweden, June 12-...

Types for Proofs and Programs

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

Foundations of Software Science and Computational Structures

9th International Conference, FOSSACS 2006, Held as Part of ...

Foundations of Software Science and Computational Structures
By Luca Aceto, Anna Ingólfsdóttir
Publisher: Springer, 2006-03-29
Pages: 459
Language: en
ISBN_13:9783540330462
ISBN_10:3540330461
Subject: Computers

Mathematical Foundations of Computer Science 2006

31st International Symposium, MFCS 2006, Stará Lesná, Slovak...

Mathematical Foundations of Computer Science 2006

Mathematics of Program Construction

8th International Conference, MPC 2006, Kuressaare, Estonia,...

Mathematics of Program Construction
By Tarmo Uustalu
Publisher: Springer, 2006-06-29
Pages: 464
Language: en
ISBN_13:9783540356325
ISBN_10:3540356320
Subject: Computers

Mathematics of Program Construction

13th International Conference, MPC 2019, Porto, Portugal, Oc...

Mathematics of Program Construction
By Graham Hutton
Publisher: Springer Nature, 2019-10-19
Pages: 475
Language: en
ISBN_13:9783030336363
ISBN_10:3030336360
Subject: Computers

Logic for Programming, Artificial Intelligence, and Reasoning

13th International Conference, LPAR 2006, Phnom Penh, Cambod...

Logic for Programming, Artificial Intelligence, and Reasoning
By Miki Hermann, Andrei Voronkov
Publisher: Springer, 2006-10-18
Pages: 599
Language: en
ISBN_13:9783540482826
ISBN_10:3540482822
Subject: Computers

Types for Proofs and Programs

Second International Workshop, TYPES 2002, Berg en Dal, The ...

Types for Proofs and Programs
By Herman Geuvers, Freek Wiedijk
Publisher: Springer, 2003-08-03
Pages: 340
Language: en
ISBN_13:9783540391852
ISBN_10:3540391851
Subject: Computers

Foundations of Software Science and Computational Structures

6th International Conference, FOSSACS 2003 Held as Part of t...

Foundations of Software Science and Computational Structures
By Andrew D. Gordon
Publisher: Springer, 2003-07-01
Pages: 452
Language: en
ISBN_13:9783540365761
ISBN_10:3540365761
Subject: Computers

Computer Science Logic

18th International Workshop, CSL 2004, 13th Annual Conferenc...

Computer Science Logic

Automata, Languages and Programming

31st International Colloquium, ICALP 2004, Turku, Finland, J...

Automata, Languages and Programming

Types for Proofs and Programs

International Conference, TYPES 2007, Cividale del Friuli, I...

Types for Proofs and Programs
By Marino Miculan, Ivan Scagnetto, Furio Honsell
Publisher: Springer, 2008-05-07
Pages: 210
Language: en
ISBN_13:9783540681038
ISBN_10:3540681035
Subject: Computers

Category Theory Using Haskell

An Introduction with Moggi and Yoneda

Category Theory Using Haskell

Foundations of Software Science and Computation Structures

24th International Conference, FOSSACS 2021, Held as Part of...

Foundations of Software Science and Computation Structures
By Stefan Kiefer, Christine Tasson
Publisher: Springer Nature, 2021-03-22
Pages: 587
Language: en
ISBN_13:9783030719951
ISBN_10:3030719952
Subject: Mathematics

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

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

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

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

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

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

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

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

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

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

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