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

چاپ کتاب PDF,

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

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

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

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

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

Programming Languages and Systems

16th Asian Symposium, APLAS 2018, Wellington, New Zealand, D...

Programming Languages and Systems
By Sukyoung Ryu
Publisher: Springer, 2018-11-22
Pages: 438
Language: en
ISBN_13:9783030027681
ISBN_10:3030027686
Subject: Computers

Verified Software: Theorie, Tools, Experiments

5th International Conference, VSTTE 2013, Menlo Park, CA, US...

Verified Software: Theorie, Tools, Experiments
By Ernie Cohen, Andrey Rybalchenko
Publisher: Springer, 2014-01-15
Pages: 358
Language: en
ISBN_13:9783642541087
ISBN_10:3642541089
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

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

Verification, Model Checking, and Abstract Interpretation
By Neil D. Jones
Publisher: Springer Science & Business Media, 2009-02-13
Pages: 392
Language: en
ISBN_13:9783540938996
ISBN_10:3540938990
Subject: Computers

Programming Languages and Systems

Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November ...

Programming Languages and Systems
By Kwangkeun Yi
Publisher: Springer Science & Business Media, 2005-10-21
Pages: 445
Language: en
ISBN_13:9783540297352
ISBN_10:3540297359
Subject: Computers

Computer Science Logic

20th International Workshop, CSL 2006, 15th Annual Conferenc...

Computer Science Logic
By Zoltán Ésik
Publisher: Springer, 2006-09-28
Pages: 639
Language: en
ISBN_13:9783540454595
ISBN_10:3540454594
Subject: Computers

Foundations of Software Science and Computational Structures

12th International Conference, FOSSACS 2009, Held as Part of...

Foundations of Software Science and Computational Structures

Fundamental Approaches to Software Engineering

14th International Conference, FASE 2011, Held as Part of th...

Fundamental Approaches to Software Engineering
By Dimitra Giannakopoulou, Fernando Orejas
Publisher: Springer, 2011-03-14
Pages: 476
Language: en
ISBN_13:9783642198113
ISBN_10:3642198112
Subject: Computers

SOFSEM 2009: Theory and Practice of Computer Science

35th Conference on Current Trends in Theory and Practice of ...

SOFSEM 2009: Theory and Practice of Computer Science

Compiler Construction

17th International Conference, CC 2008, Held as Part of the ...

Compiler Construction
By Laurie Hendren
Publisher: Springer, 2008-04-03
Pages: 318
Language: en
ISBN_13:9783540787914
ISBN_10:3540787917
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: 682
Language: en
ISBN_13:9783030532888
ISBN_10:3030532887
Subject: Computers

Introduction to Static Analysis

An Abstract Interpretation Perspective

Introduction to Static Analysis
By Xavier Rival, Kwangkeun Yi
Publisher: MIT Press, 2020-02-11
Pages: 315
Language: en
ISBN_13:9780262043410
ISBN_10:0262043416
Subject: Computers

Verification, Model Checking, and Abstract Interpretation

20th International Conference, VMCAI 2019, Cascais, Portugal...

Verification, Model Checking, and Abstract Interpretation
By Constantin Enea, Ruzica Piskac
Publisher: Springer, 2019-01-10
Pages: 617
Language: en
ISBN_13:9783030112455
ISBN_10:3030112454
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

Static Analysis

22nd International Symposium, SAS 2015, Saint-Malo, France, ...

Static Analysis
By Sandrine Blazy, Thomas Jensen
Publisher: Springer, 2015-09-01
Pages: 345
Language: en
ISBN_13:9783662482889
ISBN_10:3662482886
Subject: Computers

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science

27th International Conference, New Delhi, India, December 12...

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science
By V. Arvind, Sanjiva Prasad
Publisher: Springer, 2007-11-27
Pages: 571
Language: en
ISBN_13:9783540770503
ISBN_10:354077050X
Subject: Computers

Model Checking Software

10th International SPIN Workshop. Portland, OR, USA, May 9-1...

Model Checking Software
By Thomas Ball
Publisher: Springer Science & Business Media, 2003-04-28
Pages: 252
Language: en
ISBN_13:9783540401179
ISBN_10:3540401172
Subject: Computers

Computer Aided Verification

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

Computer Aided Verification
By Thomas Ball, Robert B. Jones
Publisher: Springer, 2006-08-06
Pages: 577
Language: en
ISBN_13:9783540374114
ISBN_10:3540374116
Subject: Computers

Computer Aided Verification

23rd International Conference, CAV 2011, Snowbird, UT, USA, ...

Computer Aided Verification
By Ganesh Gopalakrishnan, Shaz Qadeer
Publisher: Springer, 2011-07-05
Pages: 778
Language: en
ISBN_13:9783642221101
ISBN_10:3642221106
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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