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

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

Compiler Construction

18th International Conference, CC 2009, Held as Part of the ...

Compiler Construction
By Oege de Moor, Michael I. Schwartzbach
Publisher: Springer, 2009-03-27
Pages: 292
Language: en
ISBN_13:9783642007224
ISBN_10:3642007228
Subject: Computers

Trends in Functional Programming

21st International Symposium, TFP 2020, Krakow, Poland, Febr...

Trends in Functional Programming
By Aleksander Byrski, John Hughes
Publisher: Springer Nature, 2020-08-17
Pages: 253
Language: en
ISBN_13:9783030577612
ISBN_10:3030577619
Subject: Computers

Programming Languages and Systems

22nd European Symposium on Programming, ESOP 2013, Held as P...

Programming Languages and Systems
By Matthias Felleisen, Philippa Gardner
Publisher: Springer, 2013-03-02
Pages: 635
Language: en
ISBN_13:9783642370366
ISBN_10:3642370365
Subject: Computers

Theoretical Aspects of Software Engineering

18th International Symposium, TASE 2024, Guiyang, China, Jul...

Theoretical Aspects of Software Engineering
By Wei-Ngan Chin
Publisher: Springer Nature,
Pages: 486
Language: en
ISBN_13:9783031646263
ISBN_10:3031646266

Logic for Programming, Artificial Intelligence, and Reasoning

11th International Workshop, LPAR 2004, Montevideo, Uruguay,...

Logic for Programming, Artificial Intelligence, and Reasoning
By Franz Baader, Andrei Voronkov
Publisher: Springer, 2005-02-09
Pages: 572
Language: en
ISBN_13:9783540322757
ISBN_10:3540322752
Subject: Computers

Certified Programs and Proofs

First International Conference, CPP 2011, Kenting, Taiwan, D...

Certified Programs and Proofs

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, ...

Computer Aided Verification
By Daniel Kroening, Corina S. Păsăreanu
Publisher: Springer, 2015-07-13
Pages: 479
Language: en
ISBN_13:9783319216683
ISBN_10:3319216686
Subject: Computers

Formal Aspects of Component Software

7th International Workshop, FACS 2010, Guimarães, Portugal, ...

Formal Aspects of Component Software

Formal Modeling and Analysis of Timed Systems

17th International Conference, FORMATS 2019, Amsterdam, The ...

Formal Modeling and Analysis of Timed Systems
By Étienne André, Mariëlle Stoelinga
Publisher: Springer Nature, 2019-08-20
Pages: 308
Language: en
ISBN_13:9783030296629
ISBN_10:3030296628
Subject: Computers

Interactive Theorem Proving

4th International Conference, ITP 2013, Rennes, France, July...

Interactive Theorem Proving

Formal Methods and Software Engineering

20th International Conference on Formal Engineering Methods,...

Formal Methods and Software Engineering
By Jing Sun, Meng Sun
Publisher: Springer, 2018-11-05
Pages: 480
Language: en
ISBN_13:9783030024505
ISBN_10:3030024504
Subject: Computers

Principles of Security and Trust

7th International Conference, POST 2018, Held as Part of the...

Principles of Security and Trust
By Lujo Bauer, Ralf Küsters
Publisher: Springer, 2018-04-13
Pages: 353
Language: en
ISBN_13:9783319897226
ISBN_10:3319897225
Subject: Computers
Elixir in Action
By Sasa Juric
Publisher: Simon and Schuster, 2019-01-03
Pages: 673
Language: en
ISBN_13:9781638351658
ISBN_10:1638351651
Subject: Computers

Functional-Light JavaScript

Balanced, Pragmatic FP in JavaScript

Functional-Light JavaScript
By Kyle Simpson
2017-11-27
Pages: 388
Language: en
ISBN_10:1981672346
ISBN_13:9781981672349

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

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

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

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

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

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

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

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

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

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

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