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

چاپ کتاب PDF,

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

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

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

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

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

Theory and Applications of Satisfiability Testing – SAT 2016

19th International Conference, Bordeaux, France, July 5-8, 2...

Theory and Applications of Satisfiability Testing – SAT 2016
By Nadia Creignou, Daniel Le Berre
Publisher: Springer, 2016-06-10
Pages: 576
Language: en
ISBN_13:9783319409702
ISBN_10:3319409700
Subject: Computers

Mining Software Specifications

Methodologies and Applications

Mining Software Specifications
By David Lo, Siau-Cheng Khoo, Jiawei Han, Chao Liu
Publisher: CRC Press, 2011-05-24
Pages: 460
Language: en
ISBN_13:9781439806272
ISBN_10:1439806276
Subject: Computers

Hardware and Software: Verification and Testing

13th International Haifa Verification Conference, HVC 2017, ...

Hardware and Software: Verification and Testing
By Ofer Strichman, Rachel Tzoref-Brill
Publisher: Springer, 2017-11-11
Pages: 268
Language: en
ISBN_13:9783319703893
ISBN_10:3319703897
Subject: Computers

Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, Australia, ...

Automated Technology for Verification and Analysis
By Franck Cassez, Jean-Francois Raskin
Publisher: Springer, 2014-10-24
Pages: 448
Language: en
ISBN_13:9783319119366
ISBN_10:3319119362
Subject: Computers

Fundamental Approaches to Software Engineering

26th International Conference, FASE 2023, Held as Part of th...

Fundamental Approaches to Software Engineering
By Leen Lambers, Sebastián Uchitel
Publisher: Springer Nature, 2023-04-19
Pages: 344
Language: en
ISBN_13:9783031308260
ISBN_10:3031308263
Subject: Computers

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

Foundations of Software Science and Computation Structures

26th International Conference, FoSSaCS 2023, Held as Part of...

Foundations of Software Science and Computation Structures
By Orna Kupferman, Pawel Sobocinski
Publisher: Springer Nature, 2023-04-20
Pages: 575
Language: en
ISBN_13:9783031308291
ISBN_10:3031308298
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, ...

Verification, Model Checking, and Abstract Interpretation
By Dirk Beyer, Damien Zufferey
Publisher: Springer Nature, 2020-01-14
Pages: 484
Language: en
ISBN_13:9783030393229
ISBN_10:3030393224
Subject: Computers

Hardware and Software: Verification and Testing

7th International Haifa Verification Conference, HVC 2011, H...

Hardware and Software: Verification and Testing
By Kerstin Eder, João Lourenҫo, Onn Shehory
Publisher: Springer, 2012-10-12
Pages: 274
Language: en
ISBN_13:9783642341885
ISBN_10:3642341888
Subject: Computers

Computer Aided Verification

17th International Conference, CAV 2005, Edinburgh, Scotland...

Computer Aided Verification

Automated Technology for Verification and Analysis

6th International Symposium, ATVA 2008, Seoul, Korea, Octobe...

Automated Technology for Verification and Analysis

Formal Methods: Foundations and Applications

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, Sep...

Formal Methods: Foundations and Applications
By Christiano Braga, Narciso Martí-Oliet
Publisher: Springer, 2015-01-06
Pages: 189
Language: en
ISBN_13:9783319150758
ISBN_10:3319150758
Subject: Computers

Leveraging Applications of Formal Methods

First International Symposium, ISoLA 2004, Paphos, Cyprus, O...

Leveraging Applications of Formal Methods

Mathematical and Engineering Methods in Computer Science

10th International Doctoral Workshop, MEMICS 2015, Telč, Cze...

Mathematical and Engineering Methods in Computer Science
By Jan Kofroň, Tomáš Vojnar
Publisher: Springer, 2016-02-03
Pages: 166
Language: en
ISBN_13:9783319298177
ISBN_10:3319298178
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: 411
Language: en
ISBN_13:9783662545805
ISBN_10:3662545802
Subject: Computers

Theory and Applications of Satisfiability Testing – SAT 2019

22nd International Conference, SAT 2019, Lisbon, Portugal, J...

Theory and Applications of Satisfiability Testing – SAT 2019
By Mikoláš Janota, Inês Lynce
Publisher: Springer, 2019-06-28
Pages: 425
Language: en
ISBN_13:9783030242589
ISBN_10:3030242587
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

25th International Conference, TACAS 2019, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
By Tomáš Vojnar, Lijun Zhang
Publisher: Springer, 2019-04-03
Pages: 433
Language: en
ISBN_13:9783030174620
ISBN_10:303017462X
Subject: Computers

Logic for Programming, Artificial Intelligence, and Reasoning

18th International Conference, LPAR-18, Merida, Venezuela, M...

Logic for Programming, Artificial Intelligence, and Reasoning

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

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

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

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

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

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

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

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

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

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

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