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

NASA Formal Methods

11th International Symposium, NFM 2019, Houston, TX, USA, Ma...

NASA Formal Methods
By Julia M. Badger, Kristin Yvonne Rozier
Publisher: Springer, 2019-05-28
Pages: 410
Language: en
ISBN_13:9783030206529
ISBN_10:3030206521
Subject: Computers

Computational Science - ICCS 2003. Part 4.

International Conference Melbourne, Australia and St. Peters...

Computational Science - ICCS 2003. Part 4.
By Peter Sloot
Publisher: Springer Science & Business Media, 2003-05-22
Pages: 1188
Language: en
ISBN_13:9783540401971
ISBN_10:3540401970
Subject: Computers

Computational Science – ICCS 2020

20th International Conference, Amsterdam, The Netherlands, J...

Computational Science – ICCS 2020

Integrated Formal Methods

19th International Conference, IFM 2024, Manchester, UK, Nov...

Integrated Formal Methods

Interactive Theorem Proving

5th International Conference, ITP 2014, Held as Part of the ...

Interactive Theorem Proving
By Gerwin Klein, Ruben Gamboa
Publisher: Springer, 2014-06-28
Pages: 572
Language: en
ISBN_13:9783319089706
ISBN_10:3319089706
Subject: Mathematics

High Performance Computing

Third International Symposium, ISHPC 2000 Tokyo, Japan, Octo...

High Performance Computing
By Mateo Valero
Publisher: Springer Science & Business Media, 2000-09-27
Pages: 610
Language: en
ISBN_13:9783540411284
ISBN_10:3540411283
Subject: Computers

Euro-Par 2013: Parallel Processing

19th International Conference, Aachen, Germany, August 26-30...

Euro-Par 2013: Parallel Processing
By Felix Wolf, Bernd Mohr, Dieter an Mey
Publisher: Springer, 2013-07-20
Pages: 915
Language: en
ISBN_13:9783642400476
ISBN_10:3642400477
Subject: Computers

Algorithms and Architectures for Parallel Processing

12th International Conference, ICA3PP 2012, Fukuoka, Japan, ...

Algorithms and Architectures for Parallel Processing

Parallel Processing and Applied Mathematics

9th International Conference, PPAM 2011, Torun, Poland, Sept...

Parallel Processing and Applied Mathematics

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STA...

Tests and Proofs
By Catherine Dubois, Burkhart Wolff
Publisher: Springer, 2018-06-18
Pages: 193
Language: en
ISBN_13:9783319929941
ISBN_10:3319929941
Subject: Computers

Implementation and Application of Functional Languages

20th International Symposium, IFL 2008, Hatfield, UK, Septem...

Implementation and Application of Functional Languages

Parallel Processing and Applied Mathematics, Part II

9th International Conference, PPAM 2011, Torun, Poland, Sept...

Parallel Processing and Applied Mathematics, Part II

Computational Science — ICCS 2003

International Conference Melbourne, Australia and St. Peters...

Computational Science — ICCS 2003

Euro-Par’97 Parallel Processing

Third International Euro-Par Conference, Passau, Germany, Au...

Euro-Par’97 Parallel Processing
By Christian Lengauer, Martin Griebl, Sergei Gorlatch
Publisher: Springer, 2005-11-23
Pages: 1382
Language: en
ISBN_13:9783540695493
ISBN_10:3540695494
Subject: Computers

Emergent Computation

A Festschrift for Selim G. Akl

Emergent Computation
By Andrew Adamatzky
Publisher: Springer, 2016-11-04
Pages: 641
Language: en
ISBN_13:9783319463766
ISBN_10:3319463764
Subject: Technology & Engineering

Parallel Computing Technologies

11th International Conference, PaCT 2011, Kazan, Russia, Sep...

Parallel Computing Technologies

Implementation and Application of Functional Languages

17th International Workshop, IFL 2005, Dublin, Ireland, Sept...

Implementation and Application of Functional Languages
By Andrew Butterfield, Clemens Grelck, Frank Huch
Publisher: Springer, 2007-01-20
Pages: 239
Language: en
ISBN_13:9783540691754
ISBN_10:3540691758
Subject: Computers

Implementation and Application of Functional Languages

18th International Symposium, IFL 2006, Budapest, Hungary, S...

Implementation and Application of Functional Languages

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

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

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

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

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

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

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

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

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

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

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