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

Formal Methods

24th International Symposium, FM 2021, Virtual Event, Novemb...

Formal Methods

Formal Methods Teaching

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

Formal Methods Teaching

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers...

Formal Methods. FM 2019 International Workshops

Formal Methods

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

Formal Methods

Formal Methods

22nd International Symposium, FM 2018, Held as Part of the F...

Formal Methods
By Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
Publisher: Springer, 2018-07-11
Pages: 702
Language: en
ISBN_13:9783319955827
ISBN_10:3319955829
Subject: Computers

Formal Methods

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

Formal Methods

Formal Methods

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

Formal Methods

Concrete Semantics

With Isabelle/HOL

Concrete Semantics
By Tobias Nipkow, Gerwin Klein
Publisher: Springer, 2014-12-03
Pages: 304
Language: en
ISBN_13:9783319105420
ISBN_10:3319105426
Subject: Computers

FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Ca...

FM 2006: Formal Methods

FM 2016: Formal Methods

21st International Symposium, Limassol, Cyprus, November 9-1...

FM 2016: Formal Methods

FM 2008: Formal Methods

15th International Symposium on Formal Methods, Turku, Finla...

FM 2008: Formal Methods

Formal Methods in Outer Space

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

Formal Methods in Outer Space

FM 2014: Formal Methods

19th International Symposium, Singapore, May 12-16, 2014. Pr...

FM 2014: Formal Methods
By Cliff Jones, Pekka Pihlajasaari, Jun Sun
Publisher: Springer, 2014-04-18
Pages: 766
Language: en
ISBN_13:9783319064109
ISBN_10:331906410X
Subject: Computers

Logical Analysis of Hybrid Systems

Proving Theorems for Complex Dynamics

Logical Analysis of Hybrid Systems

FM 2005: Formal Methods

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

FM 2005: Formal Methods

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015...

FM 2015: Formal Methods
By Nikolaj Bjørner, Frank de Boer
Publisher: Springer, 2015-05-23
Pages: 620
Language: en
ISBN_13:9783319192499
ISBN_10:3319192493
Subject: Computers

FM 2011: Formal Methods

17th International Symposium on Formal Methods, Limerick, Ir...

FM 2011: Formal Methods
By Michael Butler, Wolfram Schulte
Publisher: Springer, 2011-06-21
Pages: 462
Language: en
ISBN_13:9783642214370
ISBN_10:3642214371
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. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers...

Formal Methods. FM 2019 International Workshops

Formal Methods

25th International Symposium, FM 2023, Lübeck, Germany, Marc...

Formal Methods

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

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

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

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

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

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

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

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

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

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

    پس از پرداخت به صورت کارت به کارت، 4 رقم آخر شماره کارت خود را برای ما ارسال کنید.
    X