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

Publisher: IOS Press,
Pages: 7289
Language: en

AI Verification

First International Symposium, SAIV 2024, Montreal, QC, Cana...

AI Verification
By Guy Avni
Publisher: Springer Nature,
Pages: 197
Language: en
ISBN_13:9783031651120
ISBN_10:303165112X

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

9th International Conference, TACAS 2003, Held as Part of th...

Tools and Algorithms for the Construction and Analysis of Systems
By Hubert Garavel, John Hatcliff
Publisher: Springer, 2003-07-01
Pages: 620
Language: en
ISBN_13:9783540365778
ISBN_10:354036577X
Subject: Computers

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

Guide to Software Verification with Frama-C

Euro-Par 2020: Parallel Processing

26th International Conference on Parallel and Distributed Co...

Euro-Par 2020: Parallel Processing
By Maciej Malawski, Krzysztof Rzadca
Publisher: Springer Nature, 2020-08-18
Pages: 669
Language: en
ISBN_13:9783030576752
ISBN_10:3030576752
Subject: Computers

Formal Aspects of Component Software

7th International Workshop, FACS 2010, Guimarães, Portugal, ...

Formal Aspects of Component Software
Practical JBoss Seam Projects
By James Farley
Publisher: Apress, 2007-10-18
Pages: 240
Language: en
ISBN_13:9781430202929
ISBN_10:1430202920
Subject: Computers

Cython

A Guide for Python Programmers

Cython
By Kurt W. Smith
Publisher: "O'Reilly Media, Inc.", 2015-01-21
Pages: 253
Language: en
ISBN_13:9781491901762
ISBN_10:1491901764
Subject: Computers

Petri Nets and Other Models of Concurrency - ICATPN 2006

27th International Conference on Applications and Theory of ...

Petri Nets and Other Models of Concurrency - ICATPN 2006
By Susanna Donatelli, P.S. Thiagarajan
Publisher: Springer, 2006-06-21
Pages: 451
Language: en
ISBN_13:9783540347002
ISBN_10:3540347003
Subject: Computers

Pipelined Processor Farms

Structured Design for Embedded Parallel Systems

Pipelined Processor Farms
By Martin Fleury, Andrew Downton
Publisher: John Wiley & Sons, 2004-04-05
Pages: 330
Language: en
ISBN_13:9780471464143
ISBN_10:0471464147
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

7th International Conference, TACAS 2001 Held as Part of the...

Tools and Algorithms for the Construction and Analysis of Systems
By Tiziana Margaria, Wang Yi
Publisher: Springer, 2003-06-29
Pages: 602
Language: en
ISBN_13:9783540453192
ISBN_10:3540453199
Subject: Computers

Formal Techniques for Networked and Distributed Systems - FORTE 2005

25th IFIP WG 6.1 International Conference, Taipei, Taiwan, O...

Formal Techniques for Networked and Distributed Systems - FORTE 2005
By Farn Wang
Publisher: Springer, 2005-10-20
Pages: 569
Language: en
ISBN_13:9783540320845
ISBN_10:3540320849
Subject: Computers

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

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

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

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

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

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

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

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

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

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

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