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

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

Formal Methods in Standards

A Report from the BCS Working Group

Formal Methods in Standards
جزئیات و درخواست
By Clive L.N. Ruggles
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 144
Language: en
ISBN_13:9781447134190
ISBN_10:1447134192
Subject: Computers

Formal Methods in Standards

A Report from the BCS Working Group

Formal Methods in Standards
جزئیات و درخواست
By Derek Andrews, British Computer Society. Formal Methods in Standards Working Group
Publisher: Springer Verlag, 1990
Language: en
ISBN_10:0387195777
ISBN_13:9780387195773
Subject: Computers

Formal Methods in Standards

A Report from the BCS Working Group

Formal Methods in Standards
جزئیات و درخواست
By Clive L.N. Ruggles
Publisher: Springer, 2012-10-20
Pages: 135
Language: en
ISBN_10:1447134206
ISBN_13:9781447134206
Subject: Computers
Formal Methods: State of the Art and New Directions
جزئیات و درخواست
By Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
Publisher: Springer Science & Business Media, 2009-12-04
Pages: 290
Language: en
ISBN_13:9781848827363
ISBN_10:1848827369
Subject: Computers

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

An Appetizer

Formal Methods
جزئیات و درخواست
By Flemming Nielson, Hanne Riis Nielson
Publisher: Springer, 2019-07-16
Pages: 170
Language: en
ISBN_13:9783030051563
ISBN_10:3030051560
Subject: Computers
Applications of Formal Methods
جزئیات و درخواست
By Michael Gerard Hinchey, Jonathan Peter Bowen
1995
Pages: 480
Language: en
OTHER:UOM:39015037865444
Subject: Computers

Formal Methods

26th International Symposium, FM 2024, Milan, Italy, Septemb...

Formal Methods
جزئیات و درخواست
By Andre Platzer
Publisher: Springer Nature,
Pages: 669
Language: en
ISBN_13:9783031711770
ISBN_10:3031711777
Formal Methods for Discrete-Time Dynamical Systems
جزئیات و درخواست
By Calin Belta, Boyan Yordanov, Ebru Aydin Gol
Publisher: Springer, 2017-03-08
Pages: 291
Language: en
ISBN_13:9783319507637
ISBN_10:331950763X
Subject: Technology & Engineering

Formal Methods Teaching

4th International Workshop and Tutorial, FMTea 2021, Virtual...

Formal Methods Teaching
جزئیات و درخواست
By João F. Ferreira, Alexandra Mendes, Claudio Menghi
Publisher: Springer Nature, 2021-11-23
Pages: 159
Language: en
ISBN_13:9783030915506
ISBN_10:3030915506
Subject: Mathematics

Logical Analysis of Hybrid Systems

Proving Theorems for Complex Dynamics

Logical Analysis of Hybrid Systems
جزئیات و درخواست
By André Platzer
Publisher: Springer Science & Business Media, 2010-09-02
Pages: 446
Language: en
ISBN_13:9783642145094
ISBN_10:3642145094
Subject: Mathematics

Formal Methods

Industrial Use from Model to the Code

Formal Methods
جزئیات و درخواست
By Jean-Louis Boulanger
Publisher: John Wiley & Sons, 2013-05-10
Pages: 296
Language: en
ISBN_13:9781118614372
ISBN_10:1118614372
Subject: Technology & Engineering
Formal Methods in Systems Engineering
جزئیات و درخواست
By Peter Ryan, Chris Sennett
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 204
Language: en
ISBN_13:9781447119753
ISBN_10:1447119754
Subject: Computers
Industrial Use of Formal Methods
جزئیات و درخواست
By Jean-Louis Boulanger
Publisher: John Wiley & Sons, 2013-05-10
Pages: 236
Language: en
ISBN_13:9781118587843
ISBN_10:1118587847
Subject: Technology & Engineering

Formal Techniques for Networked and Distributed Systems - FORTE 2004

24th IFIP WG 6.1 International Conference, Madrid Spain, Sep...

Formal Techniques for Networked and Distributed Systems - FORTE 2004
جزئیات و درخواست
By David de Frutos-Escrig, Manuel Nunez
Publisher: Springer, 2004-09-09
Pages: 389
Language: en
ISBN_13:9783540302322
ISBN_10:3540302328
Subject: Computers

Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, Novembe...

Formal Methods: Foundations and Applications
جزئیات و درخواست
By Simone Cavalheiro, José Fiadeiro
Publisher: Springer, 2017-11-17
Pages: 308
Language: en
ISBN_13:9783319708485
ISBN_10:3319708481
Subject: Computers

From Software Engineering to Formal Methods and Tools, and Back

Essays Dedicated to Stefania Gnesi on the Occasion of Her 65...

From Software Engineering to Formal Methods and Tools, and Back
جزئیات و درخواست
By Maurice H. ter Beek, Alessandro Fantechi, Laura Semini
Publisher: Springer Nature, 2019-10-08
Pages: 571
Language: en
ISBN_13:9783030309855
ISBN_10:3030309851
Subject: Computers
Towards Verified Systems
جزئیات و درخواست
By J. Bowen
Publisher: Elsevier, 2013-10-22
Pages: 323
Language: en
ISBN_13:9781483291529
ISBN_10:1483291529
Subject: Computers

Concise Guide to Formal Methods

Theory, Fundamentals and Industry Applications

Concise Guide to Formal Methods
جزئیات و درخواست
By Gerard O'Regan
Publisher: Springer, 2017-08-08
Pages: 336
Language: en
ISBN_13:9783319640211
ISBN_10:3319640216
Subject: Mathematics
Industrial-Strength Formal Methods in Practice
جزئیات و درخواست
By Michael G. Hinchey, Jonathan P. Bowen
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 410
Language: en
ISBN_13:9781447105237
ISBN_10:1447105230
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

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

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