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

چاپ کتاب PDF,

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

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

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

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

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

Computer Aided Verification

27th International Conference, CAV 2015, San Francisco, CA, ...

Computer Aided Verification
By Daniel Kroening, Corina S. Păsăreanu
Publisher: Springer, 2015-07-15
Pages: 690
Language: en
ISBN_13:9783319216904
ISBN_10:3319216902
Subject: Computers

Reachability Problems

Third International Workshop, RP 2009, Palaiseau, France, Se...

Reachability Problems
By Igor Potapov
Publisher: Springer Science & Business Media, 2009-09-07
Pages: 243
Language: en
ISBN_13:9783642044199
ISBN_10:3642044190
Subject: Computers

Implementation and Application of Automata

10th International Conference, CIAA 2005, Sophia Antipolis, ...

Implementation and Application of Automata
By Jacques Farré, Igor Litovsky, Sylvain Schmitz
Publisher: Springer, 2006-03-02
Pages: 370
Language: en
ISBN_13:9783540330974
ISBN_10:3540330976
Subject: Computers

Formal Techniques in Real-Time and Fault-Tolerant Systems

6th International Symposium, FTRTFT 2000 Pune, India, Septem...

Formal Techniques in Real-Time and Fault-Tolerant Systems
By Mathai Joseph
Publisher: Springer Science & Business Media, 2000-09-06
Pages: 315
Language: en
ISBN_13:9783540410553
ISBN_10:3540410554
Subject: Computers

Computer Aided Verification

28th International Conference, CAV 2016, Toronto, ON, Canada...

Computer Aided Verification
By Swarat Chaudhuri, Azadeh Farzan
Publisher: Springer, 2016-07-12
Pages: 549
Language: en
ISBN_13:9783319415284
ISBN_10:331941528X
Subject: Computers

Verification and Evaluation of Computer and Communication Systems

12th International Conference, VECoS 2018, Grenoble, France,...

Verification and Evaluation of Computer and Communication Systems

Networked Systems

11th International Conference, NETYS 2023, Benguerir, Morocc...

Networked Systems
By David Mohaisen, Thomas Wies
Publisher: Springer Nature, 2023-07-06
Pages: 176
Language: en
ISBN_13:9783031377655
ISBN_10:3031377656
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

23rd International Conference, TACAS 2017, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
By Axel Legay, Tiziana Margaria
Publisher: Springer, 2017-03-30
Pages: 609
Language: en
ISBN_13:9783662545775
ISBN_10:3662545772
Subject: Computers

Programming Languages and Systems

26th European Symposium on Programming, ESOP 2017, Held as P...

Programming Languages and Systems
By Hongseok Yang
Publisher: Springer, 2017-04-10
Pages: 1006
Language: en
ISBN_13:9783662544341
ISBN_10:3662544342
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

4th International Conference, TACAS'98, Held as Part of the ...

Tools and Algorithms for the Construction and Analysis of Systems

CONCUR ...

Theories of Concurrency-unification and Extension : Proceedi...

CONCUR ...

Automated Technology for Verification and Analysis

4th International Symposium, ATVA 2006, Beijing, China, Octo...

Automated Technology for Verification and Analysis
By Susanne Graf, Wenhui Zhang
Publisher: Springer, 2006-10-11
Pages: 551
Language: en
ISBN_13:9783540472384
ISBN_10:354047238X
Subject: Computers

CONCUR 2004 -- Concurrency Theory

15th International Conference, London, UK, August 31 - Septe...

CONCUR 2004 -- Concurrency Theory
By Philippa Gardner, Nobuko Yoshida
Publisher: Springer, 2011-03-22
Pages: 541
Language: en
ISBN_13:9783540286448
ISBN_10:3540286446
Subject: Computers

Automata, Languages and Programming

28th International Colloquium, ICALP 2001 Crete, Greece, Jul...

Automata, Languages and Programming
By Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen
Publisher: Springer, 2003-05-15
Pages: 1098
Language: en
ISBN_13:9783540482246
ISBN_10:3540482245
Subject: Computers

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

Programming Languages and Systems

31st European Symposium on Programming, ESOP 2022, Held as P...

Programming Languages and Systems
By Ilya Sergey
Publisher: Springer Nature, 2022-03-28
Pages: 604
Language: en
ISBN_13:9783030993368
ISBN_10:3030993361
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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