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

چاپ کتاب PDF,

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

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

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

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

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

Software Engineering and Formal Methods

19th International Conference, SEFM 2021, Virtual Event, Dec...

Software Engineering and Formal Methods
By Radu Calinescu, Corina S. Păsăreanu
Publisher: Springer Nature, 2021-12-02
Pages: 524
Language: en
ISBN_13:9783030921248
ISBN_10:3030921247
Subject: Computers

FM 2009: Formal Methods

Second World Congress, Eindhoven, The Netherlands, November ...

FM 2009: Formal Methods

Formal Methods. FM 2019 International Workshops

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

Formal Methods. FM 2019 International Workshops

Formal Methods and Software Engineering

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

Formal Methods and Software Engineering

Theoretical Aspects of Computing -- ICTAC 2013

10th International Colloquium, Shanghai, China, September 4-...

Theoretical Aspects of Computing -- ICTAC 2013
By Zhiming Liu, Jim Woodcock, Huibiao Zhu
Publisher: Springer, 2013-08-30
Pages: 455
Language: en
ISBN_13:9783642397189
ISBN_10:3642397182
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 Techniques for Distributed Objects, Components, and Systems

37th IFIP WG 6.1 International Conference, FORTE 2017, Held ...

Formal Techniques for Distributed Objects, Components, and Systems
By Ahmed Bouajjani, Alexandra Silva
Publisher: Springer, 2017-06-06
Pages: 255
Language: en
ISBN_13:9783319602257
ISBN_10:331960225X
Subject: Computers

Relational and Algebraic Methods in Computer Science

13th International Conference, RAMiCS 2012, Cambridge, Unite...

Relational and Algebraic Methods in Computer Science
By Wolfram Kahl, Timothy G. Griffin
Publisher: Springer, 2012-09-12
Pages: 370
Language: en
ISBN_13:9783642333149
ISBN_10:3642333141
Subject: Mathematics

Theoretical Aspects of Computing – ICTAC 2014

11th International Colloquium, Bucharest, Romania, September...

Theoretical Aspects of Computing – ICTAC 2014
By Gabriel Ciobanu, Dominique Méry
Publisher: Springer, 2014-09-11
Pages: 493
Language: en
ISBN_13:9783319108827
ISBN_10:3319108824
Subject: Computers

Hardware and Software: Verification and Testing

10th International Haifa Verification Conference, HVC 2014, ...

Hardware and Software: Verification and Testing
By Eran Yahav
Publisher: Springer, 2014-11-03
Pages: 313
Language: en
ISBN_13:9783319133386
ISBN_10:3319133381
Subject: Computers

Theories of Programming and Formal Methods

Essays Dedicated to Jifeng He on the Occasion of His 80th Bi...

Theories of Programming and Formal Methods
By Jonathan P. Bowen, Qin Li, Qiwen Xu
Publisher: Springer Nature, 2023-09-07
Pages: 417
Language: en
ISBN_13:9783031404368
ISBN_10:303140436X
Subject: Computers

Unifying Theories of Programming

Second International Symposium, UTP 2008, Dublin, Ireland, S...

Unifying Theories of Programming
By Andrew Butterfield
Publisher: Springer, 2010-07-30
Pages: 286
Language: en
ISBN_13:9783642145216
ISBN_10:3642145213
Subject: Computers

Tests and Proofs

14th International Conference, TAP 2020, Held as Part of STA...

Tests and Proofs
By Wolfgang Ahrendt, Heike Wehrheim
Publisher: Springer Nature, 2020-06-20
Pages: 190
Language: en
ISBN_13:9783030509958
ISBN_10:3030509958
Subject: Computers

Formal Methods

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

Formal Methods

Integrated Formal Methods

15th International Conference, IFM 2019, Bergen, Norway, Dec...

Integrated Formal Methods

Verification, Model Checking, and Abstract Interpretation

19th International Conference, VMCAI 2018, Los Angeles, CA, ...

Verification, Model Checking, and Abstract Interpretation
By Isil Dillig, Jens Palsberg
Publisher: Springer, 2018-01-03
Pages: 554
Language: en
ISBN_13:9783319737218
ISBN_10:331973721X
Subject: Computers

Formal Methods and Software Engineering

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

Formal Methods and Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

27th International Conference, TACAS 2021, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems

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

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

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

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

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

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

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

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

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

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

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