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

چاپ کتاب PDF,

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

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

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

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

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

Formal Methods for Industrial Critical Systems

23rd International Conference, FMICS 2018, Maynooth, Ireland...

Formal Methods for Industrial Critical Systems
By Falk Howar, Jiří Barnat
Publisher: Springer, 2018-08-29
Pages: 301
Language: en
ISBN_13:9783030002442
ISBN_10:3030002446
Subject: Computers

Formal Methods for Industrial Critical Systems

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

Formal Methods for Industrial Critical Systems

Theoretical Aspects of Computing – ICTAC 2018

15th International Colloquium, Stellenbosch, South Africa, O...

Theoretical Aspects of Computing – ICTAC 2018
By Bernd Fischer, Tarmo Uustalu
Publisher: Springer, 2018-10-13
Pages: 546
Language: en
ISBN_13:9783030025083
ISBN_10:303002508X
Subject: Computers

Formal Modeling and Analysis of Timed Systems

9th International Conference, FORMATS 2011, Aalborg, Denmark...

Formal Modeling and Analysis of Timed Systems

Runtime Verification

17th International Conference, RV 2017, Seattle, WA, USA, Se...

Runtime Verification
By Shuvendu Lahiri, Giles Reger
Publisher: Springer, 2017-09-04
Pages: 442
Language: en
ISBN_13:9783319675312
ISBN_10:3319675311
Subject: Computers

Software Engineering and Formal Methods

14th International Conference, SEFM 2016, Held as Part of ST...

Software Engineering and Formal Methods
By Rocco De Nicola, Eva Kühn
Publisher: Springer, 2016-06-22
Pages: 420
Language: en
ISBN_13:9783319415918
ISBN_10:3319415913
Subject: Computers

Model Checking Software

22nd International Symposium, SPIN 2015, Stellenbosch, South...

Model Checking Software
By Bernd Fischer, Jaco Geldenhuys
Publisher: Springer, 2015-08-26
Pages: 322
Language: en
ISBN_13:9783319234045
ISBN_10:3319234048
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, P...

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

Software Engineering and Formal Methods

13th International Conference, SEFM 2015, York, UK, Septembe...

Software Engineering and Formal Methods
By Radu Calinescu, Bernhard Rumpe
Publisher: Springer, 2015-08-23
Pages: 371
Language: en
ISBN_13:9783319229690
ISBN_10:3319229699
Subject: Computers

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, A...

Computer Aided Verification
By Thomas Ball
Publisher: Springer Science & Business Media, 2006-08-08
Pages: 577
Language: en
ISBN_13:9783540374060
ISBN_10:354037406X
Subject: Computers

Computational Methods in Systems Biology

15th International Conference, CMSB 2017, Darmstadt, Germany...

Computational Methods in Systems Biology
By Jérôme Feret, Heinz Koeppl
Publisher: Springer, 2017-09-18
Pages: 339
Language: en
ISBN_13:9783319674711
ISBN_10:3319674714
Subject: Computers

Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETA...

Model Checking Software
By Dragan Bošnački, Anton Wijs
Publisher: Springer, 2016-04-07
Pages: 260
Language: en
ISBN_13:9783319325828
ISBN_10:3319325825
Subject: Computers

Mathematical and Engineering Methods in Computer Science

10th International Doctoral Workshop, MEMICS 2015, Telč, Cze...

Mathematical and Engineering Methods in Computer Science
By Jan Kofroň, Tomáš Vojnar
Publisher: Springer, 2016-02-03
Pages: 166
Language: en
ISBN_13:9783319298177
ISBN_10:3319298178
Subject: Computers

Model Checking Software

27th International Symposium, SPIN 2021, Virtual Event, July...

Model Checking Software
By Alfons Laarman, Ana Sokolova
Publisher: Springer Nature, 2021-08-02
Pages: 199
Language: en
ISBN_13:9783030846299
ISBN_10:3030846296
Subject: Computers

Software Engineering and Formal Methods

17th International Conference, SEFM 2019, Oslo, Norway, Sept...

Software Engineering and Formal Methods
By Peter Csaba Ölveczky, Gwen Salaün
Publisher: Springer Nature, 2019-09-09
Pages: 547
Language: en
ISBN_13:9783030304461
ISBN_10:3030304469
Subject: Computers

Formal Methods for Components and Objects

4th International Symposium, FMCO 2005, Amsterdam, The Nethe...

Formal Methods for Components and Objects

Mathematical and Engineering Methods in Computer Science

7th International Doctoral Workshop, MEMICS 2011, Lednice, C...

Mathematical and Engineering Methods in Computer Science

Mathematical and Engineering Methods in Computer Science

8th International Doctoral Workshop, MEMICS 2012, Znojmo, Cz...

Mathematical and Engineering Methods in Computer Science

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

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

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

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

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

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

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

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

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

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

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