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

چاپ کتاب PDF,

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

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

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

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

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

Logic for Programming, Artificial Intelligence, and Reasoning

9th International Conference, LPAR 2002, Tbilisi, Georgia, O...

Logic for Programming, Artificial Intelligence, and Reasoning
By Matthias Baaz, Andrei Voronkov
Publisher: Springer, 2003-06-30
Pages: 476
Language: en
ISBN_13:9783540360780
ISBN_10:3540360786
Subject: Computers

Formal Methods and Software Engineering

8th International Conference on Formal Engineering Methods, ...

Formal Methods and Software Engineering

Formal Methods and Software Engineering

9th International Conference on Formal Engineering Methods, ...

Formal Methods and Software Engineering

Lectures on Formal Methods and Performance Analysis

First EEF/Euro Summer School on Trends in Computer Science B...

Lectures on Formal Methods and Performance Analysis
By Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
Publisher: Springer, 2003-06-29
Pages: 438
Language: en
ISBN_13:9783540446675
ISBN_10:3540446672
Subject: Computers

ZB 2003: Formal Specification and Development in Z and B

Third International Conference of B and Z Users, Turku, Finl...

ZB 2003: Formal Specification and Development in Z and B
By Didier Bert
Publisher: Springer Science & Business Media, 2003-05-20
Pages: 559
Language: en
ISBN_13:9783540402534
ISBN_10:3540402535
Subject: Computers

Automated Technology for Verification and Analysis

8th International Symposium, ATVA 2010, Singapore, September...

Automated Technology for Verification and Analysis

B'98: Recent Advances in the Development and Use of the B Method

Second International B Conference, Montpellier, France, Apri...

B'98: Recent Advances in the Development and Use of the B Method
By Bert Didier
Publisher: Springer Science & Business Media, 1998-04-08
Pages: 328
Language: en
ISBN_10:3540644059
ISBN_13:9783540644057
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

Automata, Languages and Programming

38th International Colloquium, ICALP 2011, Zurich, Switzerla...

Automata, Languages and Programming
By Luca Aceto, Monika Henzinger, Jiri Sgall
Publisher: Springer, 2011-06-21
Pages: 689
Language: en
ISBN_13:9783642220128
ISBN_10:3642220126
Subject: Computers

Relational and Algebraic Methods in Computer Science

12th International Conference, RAMICS 2011, Rotterdam, The N...

Relational and Algebraic Methods in Computer Science
By Harrie de Swart
Publisher: Springer, 2011-06-07
Pages: 370
Language: en
ISBN_13:9783642210709
ISBN_10:3642210708
Subject: Mathematics

Relational and Algebraic Methods in Computer Science

17th International Conference, RAMiCS 2018, Groningen, The N...

Relational and Algebraic Methods in Computer Science
By Jules Desharnais, Walter Guttmann, Stef Joosten
Publisher: Springer, 2018-10-22
Pages: 385
Language: en
ISBN_13:9783030021498
ISBN_10:3030021491
Subject: Mathematics

Formal Methods

24th International Symposium, FM 2021, Virtual Event, Novemb...

Formal Methods

Formal Techniques for Distributed Objects, Components, and Systems

37th IFIP WG 6.1 International Conference, FORTE 2017, Held ...

Formal Techniques for Distributed Objects, Components, and Systems
By Ahmed Bouajjani, Alexandra Silva
Publisher: Springer, 2017-06-06
Pages: 243
Language: en
ISBN_13:9783319602257
ISBN_10:331960225X
Subject: Computers

NASA Formal Methods

12th International Symposium, NFM 2020, Moffett Field, CA, U...

NASA Formal Methods

NASA Formal Methods

11th International Symposium, NFM 2019, Houston, TX, USA, Ma...

NASA Formal Methods
By Julia M. Badger, Kristin Yvonne Rozier
Publisher: Springer, 2019-05-28
Pages: 392
Language: en
ISBN_13:9783030206529
ISBN_10:3030206521
Subject: Computers

Quantitative Evaluation of Systems

10th International Conference, QEST 2013, Buenos Aires, Arge...

Quantitative Evaluation of Systems

Theories of Programming and Formal Methods

Essays Dedicated to Jifeng He on the Occasion of His 70th Bi...

Theories of Programming and Formal Methods
By Zhiming Liu, Jim Woodcock, Huibiao Zhu
Publisher: Springer, 2013-07-24
Pages: 413
Language: en
ISBN_13:9783642396984
ISBN_10:3642396984
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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