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

چاپ کتاب PDF,

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

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

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

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

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

The SPIN Verification System

The Second Workshop on the SPIN Verification System : Procee...

The SPIN Verification System
Advances in Computers
By Marvin Zelkowitz
Publisher: Elsevier, 2005-08-11
Pages: 390
Language: en
ISBN_10:0080459676
ISBN_13:9780080459677
Subject: Computers

Design, Specification and Verification of Interactive Systems ’98

Proceedings of the Eurographics Workshop in Abingdon, UK, Ju...

Design, Specification and Verification of Interactive Systems ’98

Computer Aided Verification

33rd International Conference, CAV 2021, Virtual Event, July...

Computer Aided Verification
By Alexandra Silva, K. Rustan M. Leino
Publisher: Springer Nature, 2021-07-16
Pages: 940
Language: en
ISBN_13:9783030816889
ISBN_10:3030816885
Subject: Computers

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

8th International Symposium, ISoLA 2018, Limassol, Cyprus, N...

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
By Tiziana Margaria, Bernhard Steffen
Publisher: Springer, 2018-10-29
Pages: 537
Language: en
ISBN_13:9783030034276
ISBN_10:3030034275
Subject: Computers

Formal Methods for Industrial Critical Systems

13th International Workshop, FMICS 2008, L'Aquila, Italy, Se...

Formal Methods for Industrial Critical Systems

Automated Technology for Verification and Analysis

Third International Symposium, ATVA 2005, Taipei, Taiwan, Oc...

Automated Technology for Verification and Analysis
By Doron A. Peled, Yih-Kuen Tsay
Publisher: Springer, 2005-10-11
Pages: 508
Language: en
ISBN_13:9783540319696
ISBN_10:3540319697
Subject: Computers

SPIN Model Checking and Software Verification

7th International SPIN Workshop Stanford, CA, USA, August 30...

SPIN Model Checking and Software Verification
By Klaus Havelund, John Penix, Willem Visser
Publisher: Springer, 2006-12-31
Pages: 346
Language: en
ISBN_13:9783540452973
ISBN_10:3540452974
Subject: Computers

Formal Techniques for Networked and Distributed Systems - FORTE 2002

22nd IFIP WG 6.1 International Conference Houston, Texas, US...

Formal Techniques for Networked and Distributed Systems - FORTE 2002
By Doron A. Peled, Moshe Y. Vardi
Publisher: Springer, 2003-06-30
Pages: 374
Language: en
ISBN_13:9783540361350
ISBN_10:3540361359
Subject: Computers

Theoretical and Practical Aspects of SPIN Model Checking

5th and 6th International SPIN Workshops, Trento, Italy, Jul...

Theoretical and Practical Aspects of SPIN Model Checking
By Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek
Publisher: Springer, 2003-05-21
Pages: 282
Language: en
ISBN_13:9783540482345
ISBN_10:3540482342
Subject: Computers

Parallel and Distributed Processing

11th [i.e. 11] IPPS/SPDP'99 Workshops Held in Conjunction wi...

Parallel and Distributed Processing

Static Analysis

8th International Symposium, SAS 2001, Paris, France, July 1...

Static Analysis
By Patrick Cousot
Publisher: Springer Science & Business Media, 2001-07-04
Pages: 449
Language: en
ISBN_13:9783540423140
ISBN_10:3540423141
Subject: Computers

Computer Aided Verification

11th International Conference, CAV'99, Trento, Italy, July 6...

Computer Aided Verification
By Nicolas Halbwachs, Doron Peled
Publisher: Springer, 2003-07-31
Pages: 506
Language: en
ISBN_13:9783540486831
ISBN_10:3540486836
Subject: Computers

Model Checking Software

11th International SPIN Workshop, Barcelona, Spain, April 1-...

Model Checking Software
By Susanne Graf
Publisher: Springer Science & Business Media, 2004-03-18
Pages: 319
Language: en
ISBN_13:9783540213147
ISBN_10:3540213147
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

6th International Conference, VMCAI 2005, Paris, France, Jan...

Verification, Model Checking, and Abstract Interpretation
By Radhia Cousot
Publisher: Springer, 2005-02-04
Pages: 483
Language: en
ISBN_13:9783540305798
ISBN_10:3540305793
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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