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

چاپ کتاب PDF,

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

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

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

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

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

Software Engineering - ESEC/FSE '99

7th European Software Engineering Conference Held Jointly wi...

Software Engineering - ESEC/FSE '99
By Oskar Nierstrasz, Michel Lemoine
Publisher: Springer, 2003-05-21
Pages: 536
Language: en
ISBN_13:9783540481669
ISBN_10:3540481664
Subject: Computers

ABZ 2014: The Landing Gear Case Study

Case Study Track, Held at the 4th International Conference o...

ABZ 2014: The Landing Gear Case Study

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

5th International Conference, ABZ 2016, Linz, Austria, May 2...

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

Rigorous State-Based Methods

8th International Conference, ABZ 2021, Ulm, Germany, June 9...

Rigorous State-Based Methods
By Alexander Raschke, Dominique Méry
Publisher: Springer Nature, 2021-05-22
Pages: 174
Language: en
ISBN_13:9783030775438
ISBN_10:3030775437
Subject: Mathematics

Formal Methods for Industrial Critical Systems

26th International Conference, FMICS 2021, Paris, France, Au...

Formal Methods for Industrial Critical Systems

NASA Formal Methods

12th International Symposium, NFM 2020, Moffett Field, CA, U...

NASA Formal Methods

Formal Methods and Software Engineering

23rd International Conference on Formal Engineering Methods,...

Formal Methods and Software Engineering
By Adrian Riesco, Min Zhang
Publisher: Springer Nature, 2022-10-09
Pages: 454
Language: en
ISBN_13:9783031172441
ISBN_10:3031172442
Subject: Computers

Leveraging Applications of Formal Methods, Verification, and Validation

4th International Symposium on Leveraging Applications, ISoL...

Leveraging Applications of Formal Methods, Verification, and Validation
By Tiziana Margaria, Bernhard Steffen
Publisher: Springer, 2010-11-02
Pages: 517
Language: en
ISBN_13:9783642165610
ISBN_10:3642165613
Subject: Computers

Building the Information Society

IFIP 18th World Computer Congress Topical Sessions 22–27 Aug...

Building the Information Society
By Rene Jacquart
Publisher: Springer, 2008-04-08
Pages: 739
Language: en
ISBN_13:9781402081576
ISBN_10:140208157X
Subject: Computers

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

4th International Conference, ABZ 2014, Toulouse, France, Ju...

Abstract State Machines, Alloy, B, TLA, VDM, and Z
By Yamine Ait Ameur, Klaus-Dieter Schewe
Publisher: Springer, 2014-05-29
Pages: 348
Language: en
ISBN_13:9783662436523
ISBN_10:3662436523
Subject: Mathematics

Rigorous State-Based Methods

9th International Conference, ABZ 2023, Nancy, France, May 3...

Rigorous State-Based Methods

NASA Formal Methods

5th International Symposium, NFM 2013, Moffett Field, CA, US...

NASA Formal Methods
By Guillaume Brat, Neha Rungta, Arnaud Venet
Publisher: Springer, 2013-05-09
Pages: 504
Language: en
ISBN_13:9783642380884
ISBN_10:3642380883
Subject: Computers

Formal Methods for Industrial Critical Systems

28th International Conference, FMICS 2023, Antwerp, Belgium,...

Formal Methods for Industrial Critical Systems
By Alessandro Cimatti, Laura Titolo
Publisher: Springer Nature, 2023-09-16
Pages: 271
Language: en
ISBN_13:9783031436819
ISBN_10:3031436814
Subject: Computers

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

Guide to Software Verification with Frama-C

Smart Card Programming and Security

International Conference on Research in Smart Cards, E-smart...

Smart Card Programming and Security
By Isabelle Attali, Thomas Jensen
Publisher: Springer, 2003-08-06
Pages: 264
Language: en
ISBN_13:9783540454182
ISBN_10:3540454187
Subject: Computers

FME '96: Industrial Benefit and Advances in Formal Methods

Third International Symposium of Formal Methods Europe Co-Sp...

FME '96: Industrial Benefit and Advances in Formal Methods

FM 2009: Formal Methods

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

FM 2009: Formal Methods
By Ana Cavalcanti, Dennis Dams
Publisher: Springer, 2009-11-04
Pages: 836
Language: en
ISBN_13:9783642050893
ISBN_10:3642050891
Subject: Computers

Algebraic Methodology and Software Technology

13th International Conference, AMAST 2010, Lac-Beauport, QC,...

Algebraic Methodology and Software Technology
By Michael Johnson, Dusko Pavlovic
Publisher: Springer, 2011-01-14
Pages: 245
Language: en
ISBN_13:9783642177965
ISBN_10:3642177964
Subject: Computers

Model and Data Engineering

First International Conference, MEDI 2011, Obidos, Portugal,...

Model and Data Engineering

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

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

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

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

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

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

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

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

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

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

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