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

Formal Aspects of Component Software

20th International Conference, FACS 2024, Milan, Italy, Sept...

Formal Aspects of Component Software

Formal Methods. FM 2019 International Workshops

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

Formal Methods. FM 2019 International Workshops

Software Engineering and Formal Methods

22nd International Conference, SEFM 2024, Aveiro, Portugal, ...

Software Engineering and Formal Methods

Formal Methods – The Next 30 Years

Third World Congress, FM 2019, Porto, Portugal, October 7–11...

Formal Methods – The Next 30 Years

Fundamental Approaches to Software Engineering

21st International Conference, FASE 2018, Held as Part of th...

Fundamental Approaches to Software Engineering
By Alessandra Russo, Andy Schürr
Publisher: Springer, 2018-04-11
Pages: 361
Language: en
ISBN_13:9783319893631
ISBN_10:3319893637
Subject: Computers

Theoretical Aspects of Computing – ICTAC 2017

14th International Colloquium, Hanoi, Vietnam, October 23-27...

Theoretical Aspects of Computing – ICTAC 2017
By Dang Van Hung, Deepak Kapur
Publisher: Springer, 2017-09-28
Pages: 317
Language: en
ISBN_13:9783319677293
ISBN_10:3319677292
Subject: Computers

Formal Techniques for Distributed Objects, Components, and Systems

39th IFIP WG 6.1 International Conference, FORTE 2019, Held ...

Formal Techniques for Distributed Objects, Components, and Systems
By Jorge A. Pérez, Nobuko Yoshida
Publisher: Springer, 2019-06-03
Pages: 308
Language: en
ISBN_13:9783030217594
ISBN_10:3030217590
Subject: Computers

Formal Methods Teaching

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

Formal Methods Teaching

Theoretical Aspects of Software Engineering

17th International Symposium, TASE 2023, Bristol, UK, July 4...

Theoretical Aspects of Software Engineering
By Cristina David, Meng Sun
Publisher: Springer Nature, 2023-06-26
Pages: 375
Language: en
ISBN_13:9783031352577
ISBN_10:3031352572
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems

Formal Methods and Software Engineering

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

Formal Methods and Software Engineering
By Jing Sun, Meng Sun
Publisher: Springer, 2018-11-05
Pages: 480
Language: en
ISBN_13:9783030024505
ISBN_10:3030024504
Subject: Computers

Formal Aspects of Component Software

16th International Conference, FACS 2019, Amsterdam, The Net...

Formal Aspects of Component Software
By Farhad Arbab, Sung-Shik Jongmans
Publisher: Springer Nature, 2020-02-12
Pages: 268
Language: en
ISBN_13:9783030409142
ISBN_10:3030409147
Subject: Computers

Formal Methods and Software Engineering

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

Formal Methods and Software Engineering

Formal Aspects of Component Software

15th International Conference, FACS 2018, Pohang, South Kore...

Formal Aspects of Component Software
By Kyungmin Bae, Peter Csaba Ölveczky
Publisher: Springer, 2018-10-06
Pages: 305
Language: en
ISBN_13:9783030021467
ISBN_10:3030021467
Subject: Computers

Tests and Proofs

16th International Conference, TAP 2022, Held as Part of STA...

Tests and Proofs
By Laura Kovács, Karl Meinke
Publisher: Springer Nature, 2022-06-21
Pages: 132
Language: en
ISBN_13:9783031098277
ISBN_10:3031098277
Subject: Philosophy

Software, Services, and Systems

Essays Dedicated to Martin Wirsing on the Occasion of His Re...

Software, Services, and Systems
By Rocco De Nicola, Rolf Hennicker
Publisher: Springer, 2015-03-05
Pages: 705
Language: en
ISBN_13:9783319155456
ISBN_10:3319155458
Subject: Computers

Theoretical Aspects of Computing – ICTAC 2024

21st International Colloquium, Bangkok, Thailand, November 2...

Theoretical Aspects of Computing – ICTAC 2024

Theoretical Aspects of Computing – ICTAC 2016

13th International Colloquium, Taipei, Taiwan, ROC, October ...

Theoretical Aspects of Computing – ICTAC 2016
By Augusto Sampaio, Farn Wang
Publisher: Springer, 2016-10-17
Pages: 483
Language: en
ISBN_13:9783319467504
ISBN_10:3319467506
Subject: Computers

Software Engineering and Formal Methods

21st International Conference, SEFM 2023, Eindhoven, The Net...

Software Engineering and Formal Methods
By Carla Ferreira, Tim A. C. Willemse
Publisher: Springer Nature, 2023-10-30
Pages: 386
Language: en
ISBN_13:9783031471155
ISBN_10:3031471156
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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

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