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

چاپ کتاب PDF,

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

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

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

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

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

Formal Methods for Open Object-Based Distributed Systems

6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris...

Formal Methods for Open Object-Based Distributed Systems

Algebraic Methodology and Software Technology

10th International Conference, AMAST 2004, Stirling, Scotlan...

Algebraic Methodology and Software Technology

Formal Methods for Industrial Critical Systems

17th International Workshop, FMICS 2012, Paris, France, Augu...

Formal Methods for Industrial Critical Systems
By Mariëlle Stoelinga, Ralf Pinger
Publisher: Springer, 2012-08-22
Pages: 234
Language: en
ISBN_13:9783642324697
ISBN_10:364232469X
Subject: Computers

Integrated Formal Methods

7th International Conference, IFM 2009, Düsseldorf, Germany,...

Integrated Formal Methods
By Michael Leuschel, Heike Wehrheim
Publisher: Springer, 2009-02-07
Pages: 376
Language: en
ISBN_13:9783642002557
ISBN_10:3642002552
Subject: Computers

Recent Trends in Algebraic Development Techniques

13th International Workshop, WADT'98 Lisbon, Portugal, April...

Recent Trends in Algebraic Development Techniques
By Jose L. Fiadeiro
Publisher: Springer, 2003-07-31
Pages: 346
Language: en
ISBN_13:9783540484837
ISBN_10:3540484833
Subject: Computers

Compiler Construction

11th International Conference, CC 2002, Held as Part of the ...

Compiler Construction
By R. Niegel Horspool
Publisher: Springer, 2003-08-01
Pages: 356
Language: en
ISBN_13:9783540459378
ISBN_10:3540459375
Subject: Computers

Model Checking Software

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

Model Checking Software
By Susanne Graf, Laurent Mounier
Publisher: Springer, 2004-02-27
Pages: 319
Language: en
ISBN_13:9783540247326
ISBN_10:3540247327
Subject: Computers

Model Checking Software

8th International SPIN Workshop, Toronto, Canada, May 19-20,...

Model Checking Software
By Matthew Dwyer
Publisher: Springer, 2003-06-29
Pages: 322
Language: en
ISBN_13:9783540451396
ISBN_10:3540451390
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

Formal Description Techniques IX

Theory, application and tools

Formal Description Techniques IX
By R. Gotzhein, J. Bredereke
Publisher: Springer, 2016-01-09
Pages: 513
Language: en
ISBN_13:9780387350790
ISBN_10:0387350799
Subject: Technology & Engineering

Tools and Algorithms for the Construction and Analysis of Systems

19th International Conference, TACAS 2013, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
By Nir Piterman, Scott Smolka
Publisher: Springer, 2013-02-17
Pages: 669
Language: en
ISBN_13:9783642367427
ISBN_10:3642367429
Subject: Computers

Application and Theory of Petri Nets and Concurrency

38th International Conference, PETRI NETS 2017, Zaragoza, Sp...

Application and Theory of Petri Nets and Concurrency
By Wil van der Aalst, Eike Best
Publisher: Springer, 2017-05-04
Pages: 351
Language: en
ISBN_13:9783319578613
ISBN_10:3319578618
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

Computer Aided Verification

15th International Conference, CAV 2003, Boulder, CO, USA, J...

Computer Aided Verification
By Warren A. Hunt, Jr., Fabio Somenzi
Publisher: Springer, 2011-05-02
Pages: 474
Language: en
ISBN_13:9783540450696
ISBN_10:3540450696
Subject: Computers

Formal Methods for Industrial Critical Systems

24th International Conference, FMICS 2019, Amsterdam, The Ne...

Formal Methods for Industrial Critical Systems
By Kim Guldstrand Larsen, Tim Willemse
Publisher: Springer Nature, 2019-08-23
Pages: 161
Language: en
ISBN_13:9783030270087
ISBN_10:3030270084
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

Rewriting Logic and Its Applications

12th International Workshop, WRLA 2018, Held as a Satellite ...

Rewriting Logic and Its Applications
By Vlad Rusu
Publisher: Springer, 2018-09-07
Pages: 261
Language: en
ISBN_13:9783319998404
ISBN_10:3319998404
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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