ثبت درخواست جستجو

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

Decision Procedures

An Algorithmic Point of View

Decision Procedures
جزئیات و درخواست
By Daniel Kroening, Ofer Strichman
Publisher: Springer Science & Business Media, 2008-05-23
Pages: 314
Language: en
ISBN_13:9783540741046
ISBN_10:3540741046
Subject: Computers
Model Checking, second edition
جزئیات و درخواست
By Edmund M. Clarke, Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
Publisher: MIT Press, 2018-12-04
Pages: 423
Language: en
ISBN_13:9780262038836
ISBN_10:0262038838
Subject: Computers
Test and Analysis of Web Services
جزئیات و درخواست
By Luciano Baresi
Publisher: Springer Science & Business Media, 2007-09-13
Pages: 473
Language: en
ISBN_13:9783540729129
ISBN_10:3540729127
Subject: Computers
A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata
جزئیات و درخواست
By Paula Herber
Publisher: Logos Verlag Berlin GmbH, 2010
Pages: 145
Language: en
ISBN_13:9783832525118
ISBN_10:3832525114
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

18th International Conference, TACAS 2012, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Cormac Flanagan, Barbara König
Publisher: Springer, 2012-03-22
Pages: 578
Language: en
ISBN_13:9783642287565
ISBN_10:3642287565
Subject: Computers

Software Safety and Security

Tools for Analysis and Verification

Software Safety and Security
جزئیات و درخواست
By NATO Emerging Security Challenges Division
Publisher: IOS Press, 2012
Pages: 400
Language: en
ISBN_13:9781614990277
ISBN_10:1614990271
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

10th International Conference, TACAS 2004, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Kurt Jensen, Andreas Podelski
Publisher: Springer, 2004-03-09
Pages: 622
Language: en
ISBN_13:9783540247302
ISBN_10:3540247300
Subject: Computers

Computer Aided Verification

16th International Conference, CAV 2004, Boston, MA, USA, Ju...

Computer Aided Verification
جزئیات و درخواست
By Rajeev Alur
Publisher: Springer Science & Business Media, 2004-06-29
Pages: 546
Language: en
ISBN_13:9783540223429
ISBN_10:3540223428
Subject: Computers

Hardware and Software, Verification and Testing

Second International Haifa Verification Conference, HVC 2006...

Hardware and Software, Verification and Testing
جزئیات و درخواست
By Eyal Bin, Avi Ziv, Shmuel Ur
Publisher: Springer, 2007-05-11
Pages: 246
Language: en
ISBN_13:9783540708896
ISBN_10:3540708898
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

10th International Conference, VMCAI 2009, Savannah, GA, USA...

Verification, Model Checking, and Abstract Interpretation
جزئیات و درخواست
By Neil Jones, Markus Müller-Olm
Publisher: Springer, 2008-12-16
Pages: 392
Language: en
ISBN_13:9783540939009
ISBN_10:3540939008
Subject: Computers

FM 2009: Formal Methods

Second World Congress, Eindhoven, The Netherlands, November ...

FM 2009: Formal Methods
جزئیات و درخواست
By Ana Cavalcanti, Dennis Dams
Publisher: Springer Science & Business Media, 2009-10-26
Pages: 836
Language: en
ISBN_13:9783642050886
ISBN_10:3642050883
Subject: Computers

ECAI 2012

20th European Conference on Artificial Intelligence

ECAI 2012
جزئیات و درخواست
By C. Bessiere
Publisher: IOS Press, 2012-08-15
Pages: 1056
Language: en
ISBN_13:9781614990987
ISBN_10:1614990980
Subject: Computers

ECAI 2023

26th European Conference on Artificial Intelligence, Septemb...

ECAI 2023
جزئیات و درخواست
By K. Gal, A. Nowé, G.J. Nalepa
Publisher: IOS Press, 2023-10-18
Pages: 3328
Language: en
ISBN_13:9781643684376
ISBN_10:164368437X
Subject: Computers

FM 2011: Formal Methods

17th International Symposium on Formal Methods, Limerick, Ir...

FM 2011: Formal Methods
جزئیات و درخواست
By Michael Butler, Wolfram Schulte
Publisher: Springer, 2011-06-21
Pages: 462
Language: en
ISBN_13:9783642214370
ISBN_10:3642214371
Subject: Computers

Computer Aided Verification

31st International Conference, CAV 2019, New York City, NY, ...

Computer Aided Verification
جزئیات و درخواست
By Isil Dillig, Serdar Tasiran
Publisher: Springer, 2019-07-12
Pages: 680
Language: en
ISBN_13:9783030255404
ISBN_10:3030255409
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-20
Pages: 553
Language: en
ISBN_13:9783319961422
ISBN_10:331996142X
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

11th International Conference, VMCAI 2010, Madrid, Spain, Ja...

Verification, Model Checking, and Abstract Interpretation
جزئیات و درخواست
By Gilles Barthe
Publisher: Springer Science & Business Media, 2010-01-08
Pages: 406
Language: en
ISBN_13:9783642113185
ISBN_10:3642113184
Subject: Computers

Computer Aided Verification

32nd International Conference, CAV 2020, Los Angeles, CA, US...

Computer Aided Verification
جزئیات و درخواست
By Shuvendu K. Lahiri, Chao Wang
Publisher: Springer Nature, 2020-07-15
Pages: 697
Language: en
ISBN_13:9783030532918
ISBN_10:3030532917
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

13th International Conference, TACAS 2007 Held as Part of th...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Orna Grumberg, Michael Huth
Publisher: Springer, 2007-07-05
Pages: 740
Language: en
ISBN_13:9783540712091
ISBN_10:3540712097
Subject: Computers

Leveraging Applications of Formal Methods

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

Leveraging Applications of Formal Methods
جزئیات و درخواست
By Tiziana Margaria-Steffen, Bernhard Steffen
Publisher: Springer Science & Business Media, 2006-11-03
Pages: 205
Language: en
ISBN_13:9783540489283
ISBN_10:3540489282
Subject: Computers
«12345678910»

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

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

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

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

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

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

چاپ کتاب زبان اصلی

دانلود کتاب از آمازون

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

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

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

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

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

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

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

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

    پس از پرداخت به صورت کارت به کارت، 4 رقم آخر شماره کارت خود را برای ما ارسال کنید.
    X
    راهنما / بلاگ / قوانین / تماس باما / درباره ما
    YouTube social network LinkedIn social network Instagram social network Twitter social network Aparat social network Telegram social network

    logo-samandehi

    فایلسو: مرجع دانلود کتاب، مقاله، استاندارد و سایر منابع لاتین، خرید کتاب از آمازون و گوگل بوکز دانلود رایگان منابع دانشگاهی تخصصی | دانلود کتاب های آمازون، دانلود کتاب های گوگل بوکز .

    ارتباط مستقیم با مدیریت