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

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

Third NASA Langley Formal Methods Workshop
جزئیات و درخواست
1995
Pages: 274
Language: en
OTHER:NASA:31769000473275
Subject: Fault-tolerant computing

NASA Formal Methods

Third International Symposium, NFM 2011, Pasadena, CA, USA, ...

NASA Formal Methods
جزئیات و درخواست
By Mihaela Bobaru, Klaus Havelund, Gerard Holzmann, Rajeev Joshi
Publisher: Springer, 2011-04-06
Pages: 546
Language: en
ISBN_13:9783642203985
ISBN_10:3642203981
Subject: Computers

NASA Formal Methods

4th International Symposium, NFM 2012, Norfolk, VA, USA, Apr...

NASA Formal Methods
جزئیات و درخواست
By Alwyn Goodloe, Suzette Person
Publisher: Springer Science & Business Media, 2012-03-27
Pages: 477
Language: en
ISBN_13:9783642288906
ISBN_10:3642288901
Subject: Computers

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

Integrated Formal Methods

Third International Conference, IFM 2002, Turku, Finland, Ma...

Integrated Formal Methods
جزئیات و درخواست
By Michael Butler, Luigia Petre, Kaisa Sere
Publisher: Springer Science & Business Media, 2002-05-02
Pages: 410
Language: en
ISBN_13:9783540437031
ISBN_10:3540437037
Subject: Computers

Formal Methods in Computer-Aided Design

Third International Conference, FMCAD 2000 Austin, TX, USA, ...

Formal Methods in Computer-Aided Design
جزئیات و درخواست
By Warren A. Jr. Hunt, Steven D. Johnson
Publisher: Springer, 2007-11-29
Pages: 574
Language: en
ISBN_13:9783540409229
ISBN_10:354040922X
Subject: Computers

NASA Formal Methods

15th International Symposium, NFM 2023, Houston, TX, USA, Ma...

NASA Formal Methods
جزئیات و درخواست
By Kristin Yvonne Rozier, Swarat Chaudhuri
Publisher: Springer Nature, 2023-07-04
Pages: 508
Language: en
ISBN_13:9783031331701
ISBN_10:3031331702
Subject: Computers

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
NASA Technical Memorandum
Free Epub
جزئیات و درخواست
1996
Pages: 176
Language: en
OTHER:STANFORD:36105024157922
Subject: Aeronautics

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

Formal Methods and Testing
جزئیات و درخواست
By Robert M. Hierons, Jonathan P. Bowen, Mark Harman
Publisher: Springer Science & Business Media, 2008-04-08
Pages: 378
Language: en
ISBN_13:9783540789161
ISBN_10:3540789162
Subject: Computers
Scientific and Technical Aerospace Reports
Free Epub
جزئیات و درخواست
1995
Pages: 994
Language: en
OTHER:UIUC:30112050127296
Subject: Aeronautics
Models, Algebras and Logic of Engineering Software
جزئیات و درخواست
By Manfred Broy, Markus Pizka
Publisher: IOS Press, 2003
Pages: 420
Language: en
ISBN_10:1586033425
ISBN_13:9781586033422
Subject: Computers

Formal Methods and Software Engineering

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

Formal Methods and Software Engineering
جزئیات و درخواست
By Chris George, Huaikou Miao
Publisher: Springer, 2003-06-30
Pages: 639
Language: en
ISBN_13:9783540361039
ISBN_10:3540361030
Subject: Computers

NASA Formal Methods

9th International Symposium, NFM 2017, Moffett Field, CA, US...

NASA Formal Methods
جزئیات و درخواست
By Clark Barrett, Misty Davies, Temesghen Kahsai
Publisher: Springer, 2017-04-08
Pages: 448
Language: en
ISBN_13:9783319572888
ISBN_10:3319572881
Subject: Computers

FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy...

FME 2003: Formal Methods
جزئیات و درخواست
By Keijiro Araki
Publisher: Springer Science & Business Media, 2003-08-27
Pages: 955
Language: en
ISBN_13:9783540408284
ISBN_10:3540408282
Subject: Business & Economics

Correct Hardware Design and Verification Methods

13th IFIP WG 10.5Advanced Research, Working Conference, CHAR...

Correct Hardware Design and Verification Methods
جزئیات و درخواست
By Dominique Borrione, Wolfgang Paul
Publisher: Springer, 2005-10-07
Pages: 423
Language: en
ISBN_13:9783540320302
ISBN_10:354032030X
Subject: Computers
Управление информационными рисками
جزئیات و درخواست
By Сергей Петренко, Сергей Симонов
Publisher: Litres, 2022-01-29
Pages: 386
Language: ru
ISBN_13:9785041965723
ISBN_10:5041965722
Subject: Computers
Building High Integrity Applications with SPARK
جزئیات و درخواست
By John W. McCormick, Peter C. Chapin
Publisher: Cambridge University Press, 2015-08-31
Pages: 383
Language: en
ISBN_13:9781107040731
ISBN_10:1107040736
Subject: Computers

Aeronautical Engineering

A Continuing Bibliography with Indexes

Aeronautical Engineering
Free Epub
جزئیات و درخواست
1991
Pages: 538
Language: en
OTHER:UOM:39015023295143
Subject: Aeronautics
NASA Scientific and Technical Publications
Free Epub
جزئیات و درخواست
1993
Pages: 134
Language: en
OTHER:STANFORD:36105024716156
Subject: Aeronautics
«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

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

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