ثبت درخواست جستجو

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

Formal Methods and Software Engineering

21st International Conference on Formal Engineering Methods,...

Formal Methods and Software Engineering
جزئیات و درخواست
By Yamine Ait-Ameur, Shengchao Qin
Publisher: Springer Nature, 2019-10-28
Pages: 543
Language: en
ISBN_13:9783030324094
ISBN_10:3030324095
Subject: Computers

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

Implementation and Application of Functional Languages

16th International Workshop, IFL 2004, Lübeck, Germany, Sept...

Implementation and Application of Functional Languages
جزئیات و درخواست
By Clemens Grelck, Frank Huch, Greg Michaelson, Phil Trinder
Publisher: Springer, 2005-05-24
Pages: 236
Language: en
ISBN_13:9783540320388
ISBN_10:3540320385
Subject: Computers

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

12th International Symposium, ISoLA 2024, Crete, Greece, Oct...

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
جزئیات و درخواست
By Tiziana Margaria
Publisher: Springer Nature,
Pages: 219
Language: en
ISBN_13:9783031753909
ISBN_10:3031753909

Uncanny Magazine Issue 43

November/December 2021

Uncanny Magazine Issue 43
جزئیات و درخواست
By John Wiswell, A.T. Greenblatt, Grace P. Fong, Mary Robinette Kowal, Del Sandeen
Publisher: Uncanny Magazine, 2021-11-02
Pages: 206
Language: en
Subject: Fiction

NASA Formal Methods

10th International Symposium, NFM 2018, Newport News, VA, US...

NASA Formal Methods
جزئیات و درخواست
By Aaron Dutle, César Muñoz, Anthony Narkawicz
Publisher: Springer, 2018-04-06
Pages: 481
Language: en
ISBN_13:9783319779355
ISBN_10:3319779354
Subject: Computers

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

Guide to Software Verification with Frama-C
جزئیات و درخواست
By Nikolai Kosmatov
Publisher: Springer Nature,
Pages: 708
Language: en
ISBN_13:9783031556081
ISBN_10:3031556089

iFM 2023

18th International Conference, iFM 2023, Leiden, The Netherl...

iFM 2023
جزئیات و درخواست
By Paula Herber, Anton Wijs
Publisher: Springer Nature, 2023-11-10
Pages: 406
Language: en
ISBN_13:9783031477058
ISBN_10:3031477057
Subject: Computers
Higher-Order Components for Grid Programming
جزئیات و درخواست
By Jan Dünnweber, Sergei Gorlatch
Publisher: Springer Science & Business Media, 2009-06-24
Pages: 196
Language: en
ISBN_13:9783642008412
ISBN_10:3642008410
Subject: Computers

Formal Methods Teaching

Third International Workshop and Tutorial, FMTea 2019, Held ...

Formal Methods Teaching
جزئیات و درخواست
By Brijesh Dongol, Luigia Petre, Graeme Smith
Publisher: Springer Nature, 2019-09-23
Pages: 253
Language: en
ISBN_13:9783030324414
ISBN_10:3030324419
Subject: Mathematics

Software Engineering and Formal Methods

21st International Conference, SEFM 2023, Eindhoven, The Net...

Software Engineering and Formal Methods
جزئیات و درخواست
By Carla Ferreira, Tim A. C. Willemse
Publisher: Springer Nature, 2023-10-30
Pages: 386
Language: en
ISBN_13:9783031471155
ISBN_10:3031471156
Subject: Computers

Computational Science - ICCS 2003. Part 3.

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

Computational Science - ICCS 2003. Part 3.
جزئیات و درخواست
By Peter Sloot
Publisher: Springer Science & Business Media, 2003-05-22
Pages: 1183
Language: en
ISBN_13:9783540401964
ISBN_10:3540401962
Subject: Computers

Parallel Computing Technologies

7th International Conference, PaCT 2003, Novosibirsk, Russia...

Parallel Computing Technologies
جزئیات و درخواست
By Victor Malyshkin
Publisher: Springer, 2003-09-09
Pages: 581
Language: en
ISBN_13:9783540451457
ISBN_10:3540451455
Subject: Technology & Engineering
Parallel Computing Technologies
جزئیات و درخواست
2003
Pages: 604
Language: en
OTHER:UOM:39015047962280
Subject: Parallel processing (Electronic computers)
Trends in Functional Programming
جزئیات و درخواست
By Stephen Gilmore
Publisher: Intellect Books, 2000
Pages: 202
Language: en
OTHER:UOM:39015055911500
Subject: Computers
Algorithmes et programmation parallèles - Théorie avec BSP et pratique avec OCaml
جزئیات و درخواست
By Hains Gaétan
Publisher: Editions Ellipses, 2018-05-15
Pages: 170
Language: fr
ISBN_13:9782340087880
ISBN_10:2340087880
Subject: Computers

Advances in Grid and Pervasive Computing

Second International Conference, GPC 2007, Paris, France, Ma...

Advances in Grid and Pervasive Computing
جزئیات و درخواست
By Christophe Cérin, Kuan-Ching Li
Publisher: Springer, 2007-06-21
Pages: 775
Language: en
ISBN_13:9783540723608
ISBN_10:3540723609
Subject: Computers

EURO-PAR '...

... International EURO-PAR Conference : Proceedings

EURO-PAR '...
جزئیات و درخواست
2004
Pages: 1160
Language: en
OTHER:UOM:39015058295919
Subject: Parallel processing (Electronic computers)

Distributed and Parallel Systems

From Cluster to Grid Computing

Distributed and Parallel Systems
جزئیات و درخواست
By Peter Kacsuk, Thomas Fahringer, Zsolt Nemeth
Publisher: Springer Science & Business Media, 2007-05-03
Pages: 224
Language: en
ISBN_13:9780387698588
ISBN_10:0387698582
Subject: Computers
High Performance Computing
جزئیات و درخواست
2000
Pages: 628
Language: en
OTHER:UOM:39015047819415
Subject: High performance computing
«12345678910»

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

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

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

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

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

خرید کتاب از آمازون

چاپ کتاب زبان اصلی

دانلود کتاب از آمازون

خرید کتاب از گوگل بوکز

خرید کتاب زبان اصلی

سایت خرید کتاب زبان اصلی

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

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

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

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

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

    پس از پرداخت به صورت کارت به کارت، 4 رقم آخر شماره کارت خود را برای ما ارسال کنید.
    X
    راهنما / بلاگ / قوانین / تماس باما / درباره ما
    YouTube social network LinkedIn social network Instagram social network Twitter social network Aparat social network Telegram social network

    logo-samandehi

    فایلسو: مرجع دانلود کتاب، مقاله، استاندارد و سایر منابع لاتین، خرید کتاب از آمازون و گوگل بوکز دانلود رایگان منابع دانشگاهی تخصصی | دانلود کتاب های آمازون، دانلود کتاب های گوگل بوکز .

    ارتباط مستقیم با مدیریت