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

چاپ کتاب PDF,

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

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

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

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

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

Tools and Algorithms for the Construction and Analysis of Systems

16th International Conference, TACAS 2010, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems

CONCUR 2006 - Concurrency Theory

17th International Conference, CONCUR 2006, Bonn, Germany, A...

CONCUR 2006 - Concurrency Theory
By Christel Baier
Publisher: Springer Science & Business Media, 2006-08-10
Pages: 536
Language: en
ISBN_13:9783540373766
ISBN_10:3540373764
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

6th International Conference, TACAS 2000 Held as Part of the...

Tools and Algorithms for the Construction and Analysis of Systems
By Susanne Graf, Michael Schwartzbach
Publisher: Springer, 2003-06-29
Pages: 570
Language: en
ISBN_13:9783540464198
ISBN_10:3540464190
Subject: Computers

Unfoldings

A Partial-Order Approach to Model Checking

Unfoldings

Automated Technology for Verification and Analysis

7th International Symposium, ATVA 2009, Macao, China, Octobe...

Automated Technology for Verification and Analysis
By Zhiming Liu, Anders P. Ravn
Publisher: Springer, 2009-10-13
Pages: 423
Language: en
ISBN_13:9783642047619
ISBN_10:3642047610
Subject: Computers

Model Checking Software

10th International SPIN Workshop. Portland, OR, USA, May 9-1...

Model Checking Software
By Thomas Ball, Sriram K. Rajamani
Publisher: Springer, 2003-08-03
Pages: 252
Language: en
ISBN_13:9783540448297
ISBN_10:3540448292
Subject: Computers

CONCUR 2001 - Concurrency Theory

12th International Conference, Aalborg, Denmark, August 20-2...

CONCUR 2001 - Concurrency Theory

CONCUR'99. Concurrency Theory

10th International Conference Eindhoven, The Netherlands, Au...

CONCUR'99. Concurrency Theory
By Jos C.M. Baeten, Sjouke Mauw
Publisher: Springer, 2003-07-31
Pages: 585
Language: en
ISBN_13:9783540483205
ISBN_10:3540483209
Subject: Mathematics

CONCUR 2002 - Concurrency Theory

13th International Conference, Brno, Czech Republic, August ...

CONCUR 2002 - Concurrency Theory

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: 291
Language: en
ISBN_13:9783030002442
ISBN_10:3030002446
Subject: Computers

Theoretical Aspects of Computer Software

4th International Symposium, TACS 2001, Sendai, Japan, Octob...

Theoretical Aspects of Computer Software
By Naoki Kobayashi, Benjamin C. Pierce
Publisher: Springer, 2003-06-30
Pages: 573
Language: en
ISBN_13:9783540455004
ISBN_10:3540455000
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

10th International Conference, TACAS 2004, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
By Kurt Jensen
Publisher: Springer Science & Business Media, 2004-03-18
Pages: 622
Language: en
ISBN_13:9783540212997
ISBN_10:354021299X
Subject: Computers

Applications and Theory of Petri Nets

31st International Conference, PETRI NETS 2010, Braga, Portu...

Applications and Theory of Petri Nets
By Johan Lilius, Wojciech Penczek
Publisher: Springer, 2010-06-14
Pages: 337
Language: en
ISBN_13:9783642136757
ISBN_10:3642136753
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

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: 492
Language: en
ISBN_13:9783540305798
ISBN_10:3540305793
Subject: Computers

Systems Biology Modelling and Analysis

Formal Bioinformatics Methods and Tools

Systems Biology Modelling and Analysis
By Elisabetta De Maria
Publisher: John Wiley & Sons, 2022-12-13
Pages: 468
Language: en
ISBN_13:9781119716532
ISBN_10:1119716535
Subject: Science

A Polynomial Translation of Mobile Ambients into Safe Petri Nets

Understanding a Calculus of Hierarchical Protection Domains

A Polynomial Translation of Mobile Ambients into Safe Petri Nets
By Susanne Göbel
Publisher: Springer, 2016-01-22
Pages: 71
Language: en
ISBN_13:9783658117658
ISBN_10:3658117656
Subject: Computers

Applications and Theory of Petri Nets 2001

22nd International Conference, ICATPN 2001 Newcastle Upon Ty...

Applications and Theory of Petri Nets 2001

CONCUR 2012- Concurrency Theory

23rd International Conference, CONCUR 2012, Newcastle upon T...

CONCUR 2012- Concurrency Theory
By Maciej Koutny, Irek Ulidowski
Publisher: Springer, 2012-09-02
Pages: 594
Language: en
ISBN_13:9783642329401
ISBN_10:3642329403
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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