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

Models, Languages, and Tools for Concurrent and Distributed Programming

Essays Dedicated to Rocco De Nicola on the Occasion of His 6...

Models, Languages, and Tools for Concurrent and Distributed Programming

Languages, Methodologies and Development Tools for Multi-Agent Systems

First International Workshop, LADS 2007, Durham, UK, Septemb...

Languages, Methodologies and Development Tools for Multi-Agent Systems
By Mehdi Dastani
Publisher: Springer Science & Business Media, 2008-07-18
Pages: 288
Language: en
ISBN_13:9783540850571
ISBN_10:3540850570
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

29th International Conference, TACAS 2023, Held as Part of t...

Tools and Algorithms for the Construction and Analysis of Systems

Coordination Models and Languages

8th International Conference, COORDINATION 2006, Bologna, It...

Coordination Models and Languages

Coordination Languages and Models

First International Conference, COORDINATION '96, Cesena, It...

Coordination Languages and Models

Model Checking Software

27th International Symposium, SPIN 2021, Virtual Event, July...

Model Checking Software
By Alfons Laarman, Ana Sokolova
Publisher: Springer Nature, 2021-08-02
Pages: 199
Language: en
ISBN_13:9783030846299
ISBN_10:3030846296
Subject: Computers

From Data to Models and Back

10th International Symposium, DataMod 2021, Virtual Event, D...

From Data to Models and Back

Model Driven Engineering Languages and Systems

9th International Conference, MoDELS 2006, Genova, Italy, Oc...

Model Driven Engineering Languages and Systems

Entwurf und Betrieb verteilter Systeme

Fachtagung der Sonderforschungsbereiche 124 und 182, Dagstuh...

Entwurf und Betrieb verteilter Systeme

Formal Modeling: Actors; Open Systems, Biological Systems

Essays Dedicated to Carolyn Talcott on the Occasion of Her 7...

Formal Modeling: Actors; Open Systems, Biological Systems
By Gul Agha, Olivier Danvy, José Meseguer
Publisher: Springer, 2011-10-30
Pages: 465
Language: en
ISBN_13:9783642249334
ISBN_10:3642249337
Subject: Computers

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

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

9th International Symposium on Leveraging Applications of Fo...

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
By Tiziana Margaria, Bernhard Steffen
Publisher: Springer Nature, 2020-10-26
Pages: 556
Language: en
ISBN_13:9783030614706
ISBN_10:3030614700
Subject: Computers

Concurrent Programming in Java

Design Principles and Patterns

Concurrent Programming in Java
By Douglas Lea
Publisher: Addison-Wesley Professional, 2000
Pages: 426
Language: en
ISBN_10:0201310090
ISBN_13:9780201310092
Subject: Computers

Model Checking Software

30th International Symposium, SPIN 2024, Luxembourg City, Lu...

Model Checking Software
By Thomas Neele
Publisher: Springer Nature,
Pages: 274
Language: en
ISBN_13:9783031661495
ISBN_10:3031661494

The Unified Modeling Language. “UML”'98: Beyond the Notation

First International Workshop, Mulhouse, France, June 3-4, 19...

The Unified Modeling Language. “UML”'98: Beyond the Notation
By Jean Bezivin, Pierre-Alain Muller
Publisher: Springer, 2004-06-30
Pages: 452
Language: en
ISBN_13:9783540484806
ISBN_10:3540484809
Subject: Computers
Encyclopedia of Bioinformatics and Computational Biology
Publisher: Elsevier, 2018-08-21
Pages: 3421
Language: en
ISBN_13:9780128114322
ISBN_10:0128114320
Subject: Medical

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

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

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

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

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

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

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

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

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

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

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