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

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

Formal Methods in Outer Space

Essays Dedicated to Klaus Havelund on the Occasion of His 65...

Formal Methods in Outer Space
جزئیات و درخواست
By Ezio Bartocci, Yliès Falcone, Martin Leucker
Publisher: Springer Nature, 2021-10-17
Pages: 197
Language: en
ISBN_13:9783030873486
ISBN_10:303087348X
Subject: Computers

Formal Methods in Outer Space

Essays Dedicated to Klaus Havelund on the Occasion of His 65...

Formal Methods in Outer Space
جزئیات و درخواست
By Ezio Bartocci, Yliès Falcone, Martin Leucker
2021
Language: en
ISBN_10:3030873498
ISBN_13:9783030873493

FME '96: Industrial Benefit and Advances in Formal Methods

Third International Symposium of Formal Methods Europe Co-Sp...

FME '96: Industrial Benefit and Advances in Formal Methods
جزئیات و درخواست
By Marie-Claude Gaudel, Jim Woodcock
Publisher: Springer Science & Business Media, 1996-03-06
Pages: 724
Language: en
ISBN_10:3540609733
ISBN_13:9783540609735
Subject: Business & Economics
Formal Methods in Architecture and Urbanism
جزئیات و درخواست
By David Leite Viana, Franklim Morais, Jorge Vieira Vaz
Publisher: Cambridge Scholars Publishing, 2018-07-27
Pages: 406
Language: en
ISBN_13:9781527514577
ISBN_10:1527514579
Subject: Architecture

Formal Methods for Software Engineering

Languages, Methods, Application Domains

Formal Methods for Software Engineering
جزئیات و درخواست
By Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh
Publisher: Springer Nature, 2022-06-22
Pages: 538
Language: en
ISBN_13:9783030388003
ISBN_10:303038800X
Subject: Computers
Formal Methods for Control of Nonlinear Systems
جزئیات و درخواست
By Yinan Li, Jun Liu
Publisher: CRC Press, 2022-12-20
Pages: 272
Language: en
ISBN_13:9781000831931
ISBN_10:1000831930
Subject: Mathematics

FM 2005: Formal Methods

International Symposium of Formal Methods Europe, Newcastle,...

FM 2005: Formal Methods
جزئیات و درخواست
By John Fitzgerald, Ian J. Hayes
Publisher: Springer Science & Business Media, 2005-07-04
Pages: 570
Language: en
ISBN_13:9783540278825
ISBN_10:3540278826
Subject: Computers

Formal Methods in Architecture

Proceedings of the 6th International Symposium on Formal Met...

Formal Methods in Architecture
جزئیات و درخواست
By Plácido Lizancos Mora, David Leite Viana, Franklim Morais, Jorge Vieira Vaz
Publisher: Springer Nature, 2023-09-02
Pages: 522
Language: en
ISBN_13:9789819922178
ISBN_10:9819922178
Subject: Technology & Engineering

NASA Formal Methods

14th International Symposium, NFM 2022, Pasadena, CA, USA, M...

NASA Formal Methods
جزئیات و درخواست
By Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez
Publisher: Springer Nature, 2022-05-19
Pages: 848
Language: en
ISBN_13:9783031067730
ISBN_10:3031067738
Subject: Computers

Formal Methods in Architecture

Proceedings of the 5th International Symposium on Formal Met...

Formal Methods in Architecture
جزئیات و درخواست
By Sara Eloy, David Leite Viana, Franklim Morais, Jorge Vieira Vaz
Publisher: Springer Nature, 2021-01-04
Pages: 325
Language: en
ISBN_13:9783030575090
ISBN_10:3030575098
Subject: Architecture
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
جزئیات و درخواست
By Tiziana Margaria, Bernhard Steffen
Publisher: Springer, 2014-09-26
Pages: 564
Language: en
ISBN_13:9783662452349
ISBN_10:3662452340
Subject: Computers

Formal Methods for Industrial Critical Systems

27th International Conference, FMICS 2022, Warsaw, Poland, S...

Formal Methods for Industrial Critical Systems
جزئیات و درخواست
By Jan Friso Groote, Marieke Huisman
Publisher: Springer Nature, 2022-09-05
Pages: 246
Language: en
ISBN_13:9783031150081
ISBN_10:3031150082
Subject: Computers

Advances in Theory and Formal Methods of Computing

Proceedings of the Third Imperial College Workshop

Advances in Theory and Formal Methods of Computing
جزئیات و درخواست
By A Edalat, S Jourdan, G McCusker
Publisher: World Scientific, 1996-10-25
Pages: 340
Language: en
ISBN_13:9781783263547
ISBN_10:1783263547
Subject: Computer science
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
جزئیات و درخواست
By Tiziana Margaria
Publisher: Springer Nature,
Pages: 442
Language: en
ISBN_13:9783031737091
ISBN_10:3031737091

Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11...

Formal Methods – The Next 30 Years
جزئیات و درخواست
By Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Publisher: Springer Nature, 2019-09-23
Pages: 776
Language: en
ISBN_13:9783030309428
ISBN_10:3030309428
Subject: Computers

Formal Methods and Software Engineering

22nd International Conference on Formal Engineering Methods,...

Formal Methods and Software Engineering
جزئیات و درخواست
By Shang-Wei Lin, Zhe Hou, Brendan Mahony
Publisher: Springer Nature, 2020-12-18
Pages: 338
Language: en
ISBN_13:9783030634063
ISBN_10:303063406X
Subject: Computers
Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
جزئیات و درخواست
By David A. Rosenblueth,
Publisher: Frontiers Media SA, 2016-11-21
Pages: 115
Language: en
ISBN_13:9782889450428
ISBN_10:2889450422
PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023
جزئیات و درخواست
By Alexander Nadel , Kristin Yvonne Rozier
Publisher: TU Wien Academic Press, 2023-10-13
Pages: 332
Language: en
ISBN_13:9783854480600
ISBN_10:3854480601
Subject: Computers
Formal Methods in Architecture and Urbanism, Volume 2
جزئیات و درخواست
By Catarina Ruivo, David Leite Viana, Franklim Morais, Jorge Vieira Vaz
Publisher: Cambridge Scholars Publishing, 2021-10-26
Pages: 542
Language: en
ISBN_13:9781527576650
ISBN_10:1527576655
Subject: Architecture

Formal Methods for Dynamical Systems

13th International School on Formal Methods for the Design o...

Formal Methods for Dynamical Systems
جزئیات و درخواست
By Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
Publisher: Springer, 2013-06-12
Pages: 186
Language: en
ISBN_13:9783642388743
ISBN_10:3642388744
Subject: Computers
«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

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

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