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

Static Analysis

19th International Symposium, SAS 2012, Deauville, France, S...

Static Analysis
By Antoine Mine, David Schmidt
Publisher: Springer, 2012-08-30
Pages: 466
Language: en
ISBN_13:9783642331251
ISBN_10:3642331254
Subject: Computers

Foundations of Software Science and Computational Structures

13th International Conference, FOSSACS 2010, Held as Part of...

Foundations of Software Science and Computational Structures
By Luke Ong
Publisher: Springer Science & Business Media, 2010-03-16
Pages: 402
Language: en
ISBN_13:9783642120312
ISBN_10:3642120318
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

22nd International Conference, TACAS 2016, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems
By Marsha Chechik, Jean-François Raskin
Publisher: Springer, 2016-04-08
Pages: 958
Language: en
ISBN_13:9783662496749
ISBN_10:3662496747
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

12th International Conference, VMCAI 2011, Austin, TX, USA, ...

Verification, Model Checking, and Abstract Interpretation
By Ranjit Jhala, David Schmidt
Publisher: Springer, 2011-01-19
Pages: 430
Language: en
ISBN_13:9783642182754
ISBN_10:3642182755
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

13th International Conference, VMCAI 2012, Philadelphia, PA,...

Verification, Model Checking, and Abstract Interpretation

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

Fundamental Approaches to Software Engineering

13th International Conference, FASE 2010, Held as Part of th...

Fundamental Approaches to Software Engineering

Die Wikipedia-Community

Typologie der Autorinnen und Autoren der freien Online-Enzyk...

Die Wikipedia-Community
By Manuel Merz
Publisher: Springer-Verlag, 2019-10-08
Pages: 198
Language: de
ISBN_13:9783658281144
ISBN_10:3658281146
Subject: Social Science

NASA Formal Methods

Third International Symposium, NFM 2011, Pasadena, CA, USA, ...

NASA Formal Methods

Computer Aided Verification

18th International Conference, CAV 2006, Seattle, WA, USA, A...

Computer Aided Verification
By Thomas Ball
Publisher: Springer Science & Business Media, 2006-08-08
Pages: 577
Language: en
ISBN_13:9783540374060
ISBN_10:354037406X
Subject: Computers

Verified Software: Theories, Tools, Experiments

4th International Conference, VSTTE 2012, Philadelphia, PA, ...

Verified Software: Theories, Tools, Experiments

Web 2.0 and Beyond

Principles and Technologies

Web 2.0 and Beyond
By Paul Anderson
Publisher: CRC Press, 2016-04-19
Pages: 398
Language: en
ISBN_13:9781439828687
ISBN_10:1439828687
Subject: Computers

EMSOFT 2006

Proceedings of the Sixth ACM & IEEE International Conference...

EMSOFT 2006

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

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

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

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

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

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

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

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

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

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

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