خرید کتاب از گوگل

چاپ کتاب PDF,

خرید کتاب از آمازون,

خرید کتاب زبان اصلی,

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

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

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

Formal Methods Teaching

Third International Workshop and Tutorial, FMTea 2019, Held ...

Formal Methods Teaching

Mathematics of Program Construction

10th International Conference, MPC 2010, Québec City, Canada...

Mathematics of Program Construction

Formal Techniques for Distributed Objects, Components, and Systems

40th IFIP WG 6.1 International Conference, FORTE 2020, Held ...

Formal Techniques for Distributed Objects, Components, and Systems
By Alexey Gotsman, Ana Sokolova
Publisher: Springer Nature, 2020-06-09
Pages: 243
Language: en
ISBN_13:9783030500863
ISBN_10:3030500861
Subject: Computers

Formal Aspects of Component Software

11th International Symposium, FACS 2014, Bertinoro, Italy, S...

Formal Aspects of Component Software
By Ivan Lanese, Eric Madelaine
Publisher: Springer, 2015-01-29
Pages: 386
Language: en
ISBN_13:9783319153179
ISBN_10:331915317X
Subject: Computers

Abstract State Machines, Alloy, B, VDM, and Z

Third International Conference, ABZ 2012, Pisa, Italy, June ...

Abstract State Machines, Alloy, B, VDM, and Z

Formal Methods and Software Engineering

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

Formal Methods and Software Engineering

Theoretical Aspects of Computing - ICTAC 2007

4th International Colloquium, Macau, China, September 26-28,...

Theoretical Aspects of Computing - ICTAC 2007
By Cliff B. Jones
Publisher: Springer Science & Business Media, 2007-09-12
Pages: 491
Language: en
ISBN_13:9783540752905
ISBN_10:3540752900
Subject: Computers

Mathematics of Program Construction

12th International Conference, MPC 2015, Königswinter, Germa...

Mathematics of Program Construction
By Ralf Hinze, Janis Voigtländer
Publisher: Springer, 2015-06-09
Pages: 336
Language: en
ISBN_13:9783319197975
ISBN_10:3319197975
Subject: Computers

Formal Methods Teaching

6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Ita...

Formal Methods Teaching

Integrated Formal Methods

9th International Conference, IFM 2012, Pisa, Italy, June 18...

Integrated Formal Methods

Theoretical Aspects of Computing - ICTAC 2008

5th International Colloquium, Istanbul, Turkey, September 1-...

Theoretical Aspects of Computing - ICTAC 2008

Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Zhou Chaochen on the O...

Formal Methods and Hybrid Real-Time Systems
By Cliff B. Jones, Zhiming Liu, Jim Woodcock
Publisher: Springer, 2007-09-04
Pages: 551
Language: en
ISBN_13:9783540752219
ISBN_10:3540752218
Subject: Computers

Formal Methods and Software Engineering

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

Formal Methods and Software Engineering
By Kazuhiro Ogata, Mark Lawford, Shaoying Liu
Publisher: Springer, 2016-10-31
Pages: 503
Language: en
ISBN_13:9783319478463
ISBN_10:331947846X
Subject: Computers

Refinement

Semantics, Languages and Applications

Refinement
By John Derrick, Eerke Boiten
Publisher: Springer, 2018-09-03
Pages: 276
Language: en
ISBN_13:9783319927114
ISBN_10:3319927116
Subject: Computers

Programming Languages and Systems

31st European Symposium on Programming, ESOP 2022, Held as P...

Programming Languages and Systems
By Ilya Sergey
Publisher: Springer Nature, 2022-03-28
Pages: 618
Language: en
ISBN_13:9783030993368
ISBN_10:3030993361
Subject: Computers

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

Mathematics of Program Construction

8th International Conference, MPC 2006, Kuressaare, Estonia,...

Mathematics of Program Construction
By Tarmo Uustalu
Publisher: Springer Science & Business Media, 2006-06-27
Pages: 464
Language: en
ISBN_13:9783540356318
ISBN_10:3540356312
Subject: Computers

Formal Methods

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

Formal Methods

The Practice of Formal Methods

Essays in Honour of Cliff Jones, Part I

The Practice of Formal Methods

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

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

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

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

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

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

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

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

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

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

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