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

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

Design of Safety-critical Applications, a Synthesis Approach
جزئیات و درخواست
By Claudio Pinello
2004
Pages: 282
Language: en
OTHER:UCAL:C3501190
Safety-Critical Automotive Systems
جزئیات و درخواست
By Juan R Pimentel
Publisher: SAE International, 2006-08-01
Pages: 393
Language: en
ISBN_13:9780768097108
ISBN_10:076809710X
Subject: Technology & Engineering
Embedded Systems Handbook
جزئیات و درخواست
By Richard Zurawski
Publisher: CRC Press, 2005-08-16
Pages: 1161
Language: en
ISBN_13:9781420038163
ISBN_10:1420038168
Subject: Computers
Development of Safety-Critical Systems
جزئیات و درخواست
By Gopinath Karmakar, Amol Wakankar, Ashutosh Kabra, Paritosh Pandya
Publisher: Springer Nature, 2023-10-09
Pages: 373
Language: en
ISBN_13:9783031279010
ISBN_10:3031279018
Subject: Computers
Advances in Safety and Reliability
جزئیات و درخواست
By C. Guedes Soares
Publisher: Elsevier, 1997-06-19
Pages: 791
Language: en
ISBN_13:9780080552156
ISBN_10:0080552153
Subject: Technology & Engineering

Theorem Provers in Circuit Design

Theory, Practice and Experience

Theorem Provers in Circuit Design
جزئیات و درخواست
By Ramayya Kumar, Thomas Kropf
Publisher: Springer Science & Business Media, 1995-03-06
Pages: 324
Language: en
ISBN_10:3540590471
ISBN_13:9783540590477
Subject: Computers
Formal Verification of Tree Ensembles in Safety-Critical Applications
جزئیات و درخواست
By John Törnblom
Publisher: Linköping University Electronic Press, 2020-10-28
Pages: 41
Language: en
ISBN_13:9789179297480
ISBN_10:917929748X
Subject: Electronic books
Security Management for Industrial Safety Critical Applications
جزئیات و درخواست
By Raj Kamal Kaur
Publisher: Springer Nature,
Pages: 229
Language: en
ISBN_13:9789819740185
ISBN_10:9819740185

FM'99 - Formal Methods

World Congress on Formal Methods in the Development of Compu...

FM'99 - Formal Methods
جزئیات و درخواست
By Jeannette M. Wing, Jim Woodcook, Jim Davies
Publisher: Springer, 2003-07-31
Pages: 955
Language: en
ISBN_13:9783540481188
ISBN_10:3540481184
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
Mathematical Methods for Robust and Nonlinear Control
جزئیات و درخواست
By Matthew C. Turner, Declan G. Bates
Publisher: Springer Science & Business Media, 2007-10-23
Pages: 444
Language: en
ISBN_13:9781848000254
ISBN_10:1848000251
Subject: Technology & Engineering

Theoretical Aspects of Computing – ICTAC 2023

20th International Colloquium, Lima, Peru, December 4–8, 202...

Theoretical Aspects of Computing – ICTAC 2023
جزئیات و درخواست
By Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa
Publisher: Springer Nature, 2023-12-24
Pages: 451
Language: en
ISBN_13:9783031479632
ISBN_10:3031479637
Subject: Computers
Engineering Methods and Tools for Software Safety and Security
جزئیات و درخواست
By M. Broy, Wassiou Sitou, Charles Antony Richard Hoare
Publisher: IOS Press, 2009
Pages: 344
Language: en
ISBN_13:9781586039769
ISBN_10:1586039768
Subject: Computers

Formal Techniques for Safety-Critical Systems

7th International Workshop, FTSCS 2019, Shenzhen, China, Nov...

Formal Techniques for Safety-Critical Systems
جزئیات و درخواست
By Osman Hasan, Frédéric Mallet
Publisher: Springer Nature, 2020-04-25
Pages: 145
Language: en
ISBN_13:9783030469023
ISBN_10:3030469026
Subject: Computers

Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Z...

Formal Techniques for Safety-Critical Systems
جزئیات و درخواست
By Cyrille Artho, Peter Csaba Ölveczky
Publisher: Springer, 2014-04-05
Pages: 307
Language: en
ISBN_13:9783319054162
ISBN_10:3319054163
Subject: Computers

Software Architecture

15th European Conference, ECSA 2021, Virtual Event, Sweden, ...

Software Architecture
جزئیات و درخواست
By Stefan Biffl, Elena Navarro, Welf Löwe, Marjan Sirjani, Raffaela Mirandola
Publisher: Springer Nature, 2021-08-25
Pages: 339
Language: en
ISBN_13:9783030860448
ISBN_10:3030860442
Subject: Computers
Safety-Critical Automotive Systems
جزئیات و درخواست
By Juan R Pimentel
Publisher: SAE International, 2006-08-01
Pages: 393
Language: en
ISBN_13:9780768012439
ISBN_10:0768012430
Subject: Technology & Engineering

Formal Methods and Software Engineering

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

Formal Methods and Software Engineering
جزئیات و درخواست
By Jin Song Dong, Jim Woodcock
Publisher: Springer, 2003-11-06
Pages: 693
Language: en
ISBN_13:9783540398936
ISBN_10:3540398937
Subject: Computers

Smart Cities, Green Technologies and Intelligent Transport Systems

8th International Conference, SMARTGREENS 2019, and 5th Inte...

Smart Cities, Green Technologies and Intelligent Transport Systems
جزئیات و درخواست
By Markus Helfert, Cornel Klein, Brian Donnellan, Oleg Gusikhin
Publisher: Springer Nature, 2021-01-29
Pages: 389
Language: en
ISBN_13:9783030680282
ISBN_10:3030680282
Subject: Computers

NASA Formal Methods

6th International Symposium, NFM 2014, Houston, TX, USA, Apr...

NASA Formal Methods
جزئیات و درخواست
By Julia M. Badger, Kristin Yvonne Rozier
Publisher: Springer, 2014-04-23
Pages: 381
Language: en
ISBN_13:9783319062006
ISBN_10:331906200X
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

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

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