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

Concepts and Semantics of Programming Languages 2

Modular and Object-oriented Constructs with OCaml, Python, C...

Concepts and Semantics of Programming Languages 2

Functional and Logic Programming

6th International Symposium, FLOPS 2002, Aizu, Japan, Septem...

Functional and Logic Programming
By Zhenjiang Hu, Mario Rodriquez-Artalejo
Publisher: Springer, 2003-06-30
Pages: 315
Language: en
ISBN_13:9783540457886
ISBN_10:3540457887
Subject: Computers

Tests and Proofs

15th International Conference, TAP 2021, Held as Part of STA...

Tests and Proofs
By Frédéric Loulergue, Franz Wotawa
Publisher: Springer Nature, 2021-06-17
Pages: 117
Language: en
ISBN_13:9783030793791
ISBN_10:3030793796
Subject: Computers

Tests and Proofs

Third International Conference, TAP 2009, Zurich, Switzerlan...

Tests and Proofs
By Catherine Dubois
Publisher: Springer, 2009-06-29
Pages: 179
Language: en
ISBN_13:9783642029493
ISBN_10:3642029493
Subject: Computers

FST TCS 2000: Foundations of Software Technology and Theoretical Science

20th Conference, New Delhi, India, December13-15, 2000 Proce...

FST TCS 2000: Foundations of Software Technology and Theoretical Science
By Sanjiv Kapoor
Publisher: Springer Science & Business Media, 2000-11-29
Pages: 544
Language: en
ISBN_13:9783540414131
ISBN_10:3540414134
Subject: Computers

Fundamentals for Self-Taught Programmers

Embark on your software engineering journey without exhausti...

Fundamentals for Self-Taught Programmers
By Jasmine Greenaway
Publisher: Packt Publishing Ltd, 2023-04-28
Pages: 254
Language: en
ISBN_13:9781801810982
ISBN_10:1801810982
Subject: Computers

Programming Languages and Systems

10th European Symposium on Programming, ESOP 2001 Held as Pa...

Programming Languages and Systems
By David Sands
Publisher: Springer, 2003-06-29
Pages: 445
Language: en
ISBN_13:9783540453093
ISBN_10:3540453091
Subject: Computers

Software Engineering and Formal Methods

10th International Conference, SEFM 2012, Thessaloniki, Gree...

Software Engineering and Formal Methods
By George Eleftherakis, Mike Hinchey, Mike Holcombe
Publisher: Springer, 2012-09-25
Pages: 395
Language: en
ISBN_13:9783642338267
ISBN_10:3642338267
Subject: Computers

Programming Languages and Systems

14th European Symposium on Programming, ESOP 2005, Held as P...

Programming Languages and Systems
By Mooly Sagiv
Publisher: Springer Science & Business Media, 2005-03-23
Pages: 451
Language: en
ISBN_13:9783540254355
ISBN_10:3540254358
Subject: Computers

Tests and Proofs

14th International Conference, TAP 2020, Held as Part of STA...

Tests and Proofs
By Wolfgang Ahrendt, Heike Wehrheim
Publisher: Springer Nature, 2020-06-20
Pages: 190
Language: en
ISBN_13:9783030509958
ISBN_10:3030509958
Subject: Computers

Intelligent Computer Mathematics

International Conference, CICM 2015, Washington, DC, USA, Ju...

Intelligent Computer Mathematics

Trends in Functional Programming

16th International Symposium, TFP 2015, Sophia Antipolis, Fr...

Trends in Functional Programming
By Manuel Serrano, Jurriaan Hage
Publisher: Springer, 2016-05-11
Pages: 165
Language: en
ISBN_13:9783319391106
ISBN_10:3319391100
Subject: Computers

Programming Languages and Systems

4th Asian Symposium, APLAS 2006, Sydney, Australia, November...

Programming Languages and Systems

Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the...

Tests and Proofs
By Dirk Beyer, Chantal Keller
Publisher: Springer Nature, 2019-09-23
Pages: 216
Language: en
ISBN_13:9783030311575
ISBN_10:3030311570
Subject: Computers

Introduction to Static Analysis

An Abstract Interpretation Perspective

Introduction to Static Analysis
By Xavier Rival, Kwangkeun Yi
Publisher: MIT Press, 2020-02-11
Pages: 315
Language: en
ISBN_13:9780262043410
ISBN_10:0262043416
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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