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

چاپ کتاب PDF,

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

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

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

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

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

Communicating Embedded Systems
By Claude Jard, Olivier H. Roux
Publisher: John Wiley & Sons, 2013-02-04
Pages: 202
Language: en
ISBN_13:9781118600092
ISBN_10:1118600096
Subject: Computers

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

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems

Formal Modeling and Analysis of Timed Systems

First International Workshop, FORMATS 2003, Marseille, Franc...

Formal Modeling and Analysis of Timed Systems
By Kim G. Larsen, Peter Niebert
Publisher: Springer, 2004-05-12
Pages: 289
Language: en
ISBN_13:9783540409038
ISBN_10:3540409033
Subject: Mathematics

Application and Theory of Petri Nets and Concurrency

39th International Conference, PETRI NETS 2018, Bratislava, ...

Application and Theory of Petri Nets and Concurrency
By Victor Khomenko, Olivier H. Roux
Publisher: Springer, 2018-05-29
Pages: 428
Language: en
ISBN_13:9783319912684
ISBN_10:3319912682
Subject: Computers

Automated Technology for Verification and Analysis

8th International Symposium, ATVA 2010, Singapore, September...

Automated Technology for Verification and Analysis

Tools and Algorithms for the Construction and Analysis of Systems

15th International Conference, TACAS 2009, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
By Stefan Kowalewski, Anna Philippou
Publisher: Springer, 2009-03-27
Pages: 470
Language: en
ISBN_13:9783642007682
ISBN_10:3642007686
Subject: Computers

Applications and Theory of Petri Nets 2004

25th International Conference, ICATPN 2004, Bologna, Italy, ...

Applications and Theory of Petri Nets 2004
By Jordi Cortadella, Wolfgang Reisig
Publisher: Springer, 2004-09-21
Pages: 516
Language: en
ISBN_13:9783540277934
ISBN_10:3540277935
Subject: Mathematics

Formal Modeling and Analysis of Timed Systems

Third International Conference, FORMATS 2005, Uppsala, Swede...

Formal Modeling and Analysis of Timed Systems

Language and Automata Theory and Applications

6th International Conference, LATA 2012, A Coruña, Spain, Ma...

Language and Automata Theory and Applications

Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods,...

Formal Methods and Software Engineering
By Kazuhiro Ogata, Mark Lawford, Shaoying Liu
Publisher: Springer, 2016-10-31
Pages: 486
Language: en
ISBN_13:9783319478463
ISBN_10:331947846X
Subject: Computers

Automated Technology for Verification and Analysis

11th International Symposium, ATVA 2013, Hanoi, Vietnam, Oct...

Automated Technology for Verification and Analysis
By Dang Van Hung, Mizuhito Ogawa
Publisher: Springer, 2013-08-30
Pages: 528
Language: en
ISBN_13:9783319024448
ISBN_10:3319024442
Subject: Computers

Application and Theory of Petri Nets and Concurrency

40th International Conference, PETRI NETS 2019, Aachen, Germ...

Application and Theory of Petri Nets and Concurrency
By Susanna Donatelli, Stefan Haar
Publisher: Springer, 2019-06-11
Pages: 473
Language: en
ISBN_13:9783030215712
ISBN_10:3030215717
Subject: Computers

Formal Modeling and Analysis of Timed Systems

6th International Conference, FORMATS 2008, Saint Malo, Fran...

Formal Modeling and Analysis of Timed Systems
By Franck Cassez
Publisher: Springer Science & Business Media, 2008-09-05
Pages: 305
Language: en
ISBN_13:9783540857778
ISBN_10:354085777X
Subject: Computers

Formal Modeling and Analysis of Timed Systems

15th International Conference, FORMATS 2017, Berlin, Germany...

Formal Modeling and Analysis of Timed Systems
By Alessandro Abate, Gilles Geeraerts
Publisher: Springer, 2017-09-01
Pages: 353
Language: en
ISBN_13:9783319657653
ISBN_10:3319657658
Subject: Computers

Reachability Problems

9th International Workshop, RP 2015, Warsaw, Poland, Septemb...

Reachability Problems
By Mikolai Bojanczyk, Slawomir Lasota, Igor Potapov
Publisher: Springer, 2015-10-12
Pages: 197
Language: en
ISBN_13:9783319245379
ISBN_10:3319245376
Subject: Computers

Formal Modeling and Analysis of Timed Systems

10th International Conference, FORMATS 2012, London, UK, Sep...

Formal Modeling and Analysis of Timed Systems
By Marcin Jurdzinski, Dejan Nickovic
Publisher: Springer, 2012-08-31
Pages: 277
Language: en
ISBN_13:9783642333651
ISBN_10:3642333656
Subject: Computers

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

Application and Theory of Petri Nets and Concurrency

44th International Conference, PETRI NETS 2023, Lisbon, Port...

Application and Theory of Petri Nets and Concurrency

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

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

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

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

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

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

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

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

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

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

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