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

چاپ کتاب PDF,

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

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

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

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

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

Hardware and Software, Verification and Testing

First International Haifa Verification Conference, Haifa, Is...

Hardware and Software, Verification and Testing
By Shmuel Ur, Eyal Bin, Yaron Wolfsthal
Publisher: Springer, 2006-03-03
Pages: 275
Language: en
ISBN_13:9783540326052
ISBN_10:3540326057
Subject: Computers

Computer Aided Verification

30th International Conference, CAV 2018, Held as Part of the...

Computer Aided Verification
By Hana Chockler, Georg Weissenbacher
Publisher: Springer, 2018-07-21
Pages: 703
Language: en
ISBN_13:9783319961453
ISBN_10:3319961454
Subject: Computers

Automated Technology for Verification and Analysis

19th International Symposium, ATVA 2021, Gold Coast, QLD, Au...

Automated Technology for Verification and Analysis
By Zhe Hou, Vijay Ganesh
Publisher: Springer Nature, 2021-10-13
Pages: 384
Language: en
ISBN_13:9783030888855
ISBN_10:3030888851
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

Theory and Applications of Satisfiability Testing - SAT 2010

13th International Conference, SAT 2010, Edinburgh, UK, July...

Theory and Applications of Satisfiability Testing - SAT 2010

Computer Aided Verification

26th International Conference, CAV 2014, Held as Part of the...

Computer Aided Verification
By Armin Biere, Roderick Bloem
Publisher: Springer, 2014-06-28
Pages: 904
Language: en
ISBN_13:9783319088679
ISBN_10:331908867X
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

35th International Conference, CAV 2023, Paris, France, July...

Computer Aided Verification
By Constantin Enea, Akash Lal
Publisher: Springer Nature, 2023-07-16
Pages: 512
Language: en
ISBN_13:9783031377068
ISBN_10:3031377060
Subject: Computers

Computer Aided Verification

29th International Conference, CAV 2017, Heidelberg, Germany...

Computer Aided Verification
By Rupak Majumdar, Viktor Kunčak
Publisher: Springer, 2017-07-11
Pages: 623
Language: en
ISBN_13:9783319633909
ISBN_10:3319633902
Subject: Computers

Theory and Applications of Satisfiability Testing

8th International Conference, SAT 2005, St Andrews, Scotland...

Theory and Applications of Satisfiability Testing
By Fahiem Bacchus
Publisher: Springer Science & Business Media, 2005-06-09
Pages: 502
Language: en
ISBN_13:9783540262763
ISBN_10:3540262768
Subject: Computers

Theory and Applications of Satisfiability Testing -- SAT 2012

15th International Conference, Trento, Italy, June 17-20, 20...

Theory and Applications of Satisfiability Testing -- SAT 2012
By Alessandro Cimatti, Roberto Sebastiani
Publisher: Springer, 2012-06-18
Pages: 516
Language: en
ISBN_13:9783642316128
ISBN_10:3642316123
Subject: Computers

Theory and Applications of Satisfiability Testing – SAT 2020

23rd International Conference, Alghero, Italy, July 3–10, 20...

Theory and Applications of Satisfiability Testing – SAT 2020
By Luca Pulina, Martina Seidl
Publisher: Springer Nature, 2020-07-01
Pages: 538
Language: en
ISBN_13:9783030518257
ISBN_10:3030518256
Subject: Computers

Computer Aided Verification

36th International Conference, CAV 2024, Montreal, QC, Canad...

Computer Aided Verification

Theory and Applications of Satisfiability Testing

6th International Conference, SAT 2003. Santa Margherita Lig...

Theory and Applications of Satisfiability Testing
By Enrico Giunchiglia, Armando Tacchella
Publisher: Springer, 2004-02-24
Pages: 542
Language: en
ISBN_13:9783540246053
ISBN_10:3540246053
Subject: Mathematics

Computer Aided Verification

19th International Conference, CAV 2007, Berlin, Germany, Ju...

Computer Aided Verification
By Werner Damm, Holger Hermanns
Publisher: Springer, 2007-08-30
Pages: 562
Language: en
ISBN_13:9783540733683
ISBN_10:354073368X
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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