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

چاپ کتاب PDF,

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

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

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

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

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

Hardware and Software: Verification and Testing

4th International Haifa Verification Conference, HVC 2008, H...

Hardware and Software: Verification and Testing
Funktionale Sicherheit
By Wolfgang A. Halang
Publisher: Springer-Verlag, 2013-10-01
Pages: 134
Language: de
ISBN_13:9783642413094
ISBN_10:3642413099
Subject: Computers

Formal Methods

22nd International Symposium, FM 2018, Held as Part of the F...

Formal Methods
By Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
Publisher: Springer, 2018-07-11
Pages: 702
Language: en
ISBN_13:9783319955827
ISBN_10:3319955829
Subject: Computers

Quantitative Evaluation of Systems

10th International Conference, QEST 2013, Buenos Aires, Arge...

Quantitative Evaluation of Systems

Tools and Algorithms for the Construction and Analysis of Systems

11th International Conference, TACAS 2005, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
By Nicolas Halbwachs, Lenore Zuck
Publisher: Springer, 2005-02-26
Pages: 603
Language: en
ISBN_13:9783540319801
ISBN_10:3540319808
Subject: Computers

Formal Modeling and Analysis of Timed Systems

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

Formal Modeling and Analysis of Timed Systems
By Uli Fahrenberg, Stavros Tripakis
Publisher: Springer, 2011-09-25
Pages: 363
Language: en
ISBN_13:9783642243103
ISBN_10:364224310X
Subject: Computers

Critical Systems: Formal Methods and Automated Verification

Joint 21st International Workshop on Formal Methods for Indu...

Critical Systems: Formal Methods and Automated Verification

Information Security Theory and Practice

11th IFIP WG 11.2 International Conference, WISTP 2017, Hera...

Information Security Theory and Practice
By Gerhard P. Hancke, Ernesto Damiani
Publisher: Springer, 2018-06-20
Pages: 194
Language: en
ISBN_13:9783319935249
ISBN_10:3319935240
Subject: Computers

Logical Foundations of Computer Science

International Symposium, LFCS 2013, San Diego, CA, USA, Janu...

Logical Foundations of Computer Science
By Sergei Artemov, Anil Nerode
Publisher: Springer, 2013-01-05
Pages: 424
Language: en
ISBN_13:9783642357220
ISBN_10:3642357229
Subject: Mathematics

Verification, Model Checking, and Abstract Interpretation

19th International Conference, VMCAI 2018, Los Angeles, CA, ...

Verification, Model Checking, and Abstract Interpretation
By Isil Dillig, Jens Palsberg
Publisher: Springer, 2018-01-03
Pages: 554
Language: en
ISBN_13:9783319737218
ISBN_10:331973721X
Subject: Computers

Programming Languages and Systems

11th International Symposium, APLAS 2013, Melbourne, VIC, Au...

Programming Languages and Systems
By Chung-chien Shan
Publisher: Springer, 2013-12-11
Pages: 390
Language: en
ISBN_13:9783319035420
ISBN_10:3319035428
Subject: Computers
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
By Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature, 2022-10-19
Pages: 608
Language: en
ISBN_13:9783031198496
ISBN_10:3031198492
Subject: Computers
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning
By Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature, 2022-10-19
Pages: 483
Language: en
ISBN_13:9783031197598
ISBN_10:3031197593
Subject: Computers

Software Architecture

10th European Conference, ECSA 2016, Copenhagen, Denmark, No...

Software Architecture
By Bedir Tekinerdogan, Uwe Zdun, Ali Babar
Publisher: Springer, 2016-11-14
Pages: 343
Language: en
ISBN_13:9783319489926
ISBN_10:3319489925
Subject: Computers

Language and Automata Theory and Applications

7th International Conference, LATA 2013, Bilbao, Spain, Apri...

Language and Automata Theory and Applications

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

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

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

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

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

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

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

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

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

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

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