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

Computer Science Logic

15th International Workshop, CSL 2001. 10th Annual Conferenc...

Computer Science Logic

Computer Science Logic

15th International Workshop, CSL 2001. 10th Annual Conferenc...

Computer Science Logic
By Laurent Fribourg
Publisher: Springer, 2003-06-30
Pages: 631
Language: en
ISBN_13:9783540448020
ISBN_10:3540448020
Subject: Computers

Proof, Language, and Interaction

Essays in Honour of Robin Milner

Proof, Language, and Interaction
By Robin Milner
Publisher: MIT Press, 2000
Pages: 748
Language: en
ISBN_10:0262161885
ISBN_13:9780262161886
Subject: Computers

Theoretical Aspects of Computer Software

4th International Symposium, TACS 2001, Sendai, Japan, Octob...

Theoretical Aspects of Computer Software
By Naoki Kobayashi, Benjamin C. Pierce
Publisher: Springer, 2003-06-30
Pages: 573
Language: en
ISBN_13:9783540455004
ISBN_10:3540455000
Subject: Computers

The Essence of Computation

Complexity, Analysis, Transformation. Essays Dedicated to Ne...

The Essence of Computation
By Torben Mogensen, David Schmidt, I. Hal Sudborough
Publisher: Springer, 2003-07-01
Pages: 504
Language: en
ISBN_13:9783540363774
ISBN_10:3540363777
Subject: Computers

Automata, Languages and Programming

32nd International Colloquium, ICALP 2005, Lisbon, Portugal,...

Automata, Languages and Programming
By Luis Caires
Publisher: Springer Science & Business Media, 2005-06-24
Pages: 1501
Language: en
ISBN_13:9783540275800
ISBN_10:3540275800
Subject: Computers

Algebraic Methodology and Software Technology

13th International Conference, AMAST 2010, Lac-Beauport, QC,...

Algebraic Methodology and Software Technology
By Michael Johnson, Dusko Pavlovic
Publisher: Springer, 2011-01-14
Pages: 245
Language: en
ISBN_13:9783642177965
ISBN_10:3642177964
Subject: Computers

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

13th International Conference, FOSSACS 2010, Held as Part of...

Foundations of Software Science and Computational Structures
By Luke Ong
Publisher: Springer, 2010-03-10
Pages: 402
Language: en
ISBN_13:9783642120329
ISBN_10:3642120326
Subject: Mathematics

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

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conferenc...

Computer Science Logic
By Zoltán Ésik
Publisher: Springer, 2006-09-28
Pages: 639
Language: en
ISBN_13:9783540454595
ISBN_10:3540454594
Subject: Computers
Search and Planning Under Incomplete Information
By Ian Frank
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 351
Language: en
ISBN_13:9781447115946
ISBN_10:1447115945
Subject: Computers

Call-By-Push-Value

A Functional/Imperative Synthesis

Call-By-Push-Value
By P.B. Levy
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 381
Language: en
ISBN_13:9789400709546
ISBN_10:9400709544
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

User-Developer Cooperation in Software Development

Building Common Ground and Usable Systems

User-Developer Cooperation in Software Development
By Eamonn O'Neill
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 324
Language: en
ISBN_13:9781447103554
ISBN_10:1447103556
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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