ثبت درخواست جستجو

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

A Decade of Concurrency

Reflections and Perspectives : REX School/symposium, Noordwi...

A Decade of Concurrency
جزئیات و درخواست
1994
Pages: 684
Language: en
ISBN_10:0387580433
ISBN_13:9780387580432
Subject: Artificial intelligence

A Decade of Concurrency: Reflections and Perspectives

Reflections and Perspectives. REX School/Symposium Noordwijk...

A Decade of Concurrency: Reflections and Perspectives
جزئیات و درخواست
By J. W.de Bakker, W.-P.de Roever, G. Rozenberg
1994
Pages: 692
Language: en
OTHER:OCLC:1127108066
Subject: Computer architecture

A Decade of Concurrency

Reflections and Perspectives. REX School/Symposium Noordwijk...

A Decade of Concurrency
جزئیات و درخواست
By J.W.de Bakker, W.-P.de Roever, G. Rozenberg
Publisher: Springer Science & Business Media, 1994-06-28
Pages: 700
Language: en
ISBN_10:3540580433
ISBN_13:9783540580430
Subject: Computers
Architectural Design of Multi-Agent Systems: Technologies and Techniques
جزئیات و درخواست
By Lin, Hong
Publisher: IGI Global, 2007-05-31
Pages: 440
Language: en
ISBN_13:9781599041100
ISBN_10:1599041103
Subject: Computers
Concurrent Object-Oriented Programming and Petri Nets
جزئیات و درخواست
By Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg
Publisher: Springer, 2003-06-29
Pages: 548
Language: en
ISBN_13:9783540453970
ISBN_10:3540453970
Subject: Computers

CONCUR 2003 - Concurrency Theory

14th International Conference, Marseille, France, September ...

CONCUR 2003 - Concurrency Theory
جزئیات و درخواست
By Roberto Amadio
Publisher: Springer Science & Business Media, 2003-08-21
Pages: 536
Language: en
ISBN_13:9783540407539
ISBN_10:3540407537
Subject: Computers

ML with Concurrency

Design, Analysis, Implementation, and Application

ML with Concurrency
جزئیات و درخواست
By Flemming Nielson
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 262
Language: en
ISBN_13:9781461222743
ISBN_10:1461222745
Subject: Computers
Handbook of Process Algebra
جزئیات و درخواست
By J.A. Bergstra, A. Ponse, S.A. Smolka
Publisher: Elsevier, 2001-03-16
Pages: 1357
Language: en
ISBN_13:9780080533674
ISBN_10:0080533671
Subject: Computers

Software Engineering - ESEC '95

5th European Software Engineering Conference, Sitges, Spain,...

Software Engineering - ESEC '95
جزئیات و درخواست
By Wilhelm Schäfer, Pere Botella
Publisher: Springer Science & Business Media, 1995-09-13
Pages: 540
Language: en
ISBN_10:3540604065
ISBN_13:9783540604068
Subject: Computers

Partial Order Methods in Verification

DIMACS Workshop, July 24-26, 1996

Partial Order Methods in Verification
جزئیات و درخواست
By Vaughan R. Pratt, Gerard J. Holzmann
Publisher: American Mathematical Soc., 1997
Pages: 421
Language: en
ISBN_13:9780821805794
ISBN_10:0821805797
Subject: Computers

CONCUR 2006 - Concurrency Theory

17th International Conference, CONCUR 2006, Bonn, Germany, A...

CONCUR 2006 - Concurrency Theory
جزئیات و درخواست
By Christel Baier
Publisher: Springer Science & Business Media, 2006-08-10
Pages: 536
Language: en
ISBN_13:9783540373766
ISBN_10:3540373764
Subject: Computers

Structured Object-Oriented Formal Language and Method

4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxe...

Structured Object-Oriented Formal Language and Method
جزئیات و درخواست
By Shaoying Liu, Zhenhua Duan
Publisher: Springer, 2015-04-16
Pages: 193
Language: en
ISBN_13:9783319174044
ISBN_10:3319174045
Subject: Computers

FM'99 - Formal Methods

World Congress on Formal Methods in the Development of Compu...

FM'99 - Formal Methods
جزئیات و درخواست
By Jeannette M. Wing, Jim Woodcook, Jim Davies
Publisher: Springer, 2003-07-31
Pages: 955
Language: en
ISBN_13:9783540481188
ISBN_10:3540481184
Subject: Computers

Static Analysis

5th International Symposium, SAS'98, Pisa, Italy, September ...

Static Analysis
جزئیات و درخواست
By Giorgio Levi
Publisher: Springer, 2003-06-29
Pages: 392
Language: en
ISBN_13:9783540497271
ISBN_10:3540497277
Subject: Computers

The SPIN Verification System

The Second Workshop on the SPIN Verification System : Procee...

The SPIN Verification System
جزئیات و درخواست
By Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled
Publisher: American Mathematical Soc., 1997
Pages: 217
Language: en
ISBN_13:9780821806807
ISBN_10:0821806807
Subject: Computers

Tools and Algorithms for the Construction and Analysis of Systems

4th International Conference, TACAS'98, Held as Part of the ...

Tools and Algorithms for the Construction and Analysis of Systems
جزئیات و درخواست
By Bernhard Steffen
Publisher: Springer Science & Business Media, 1998-03-18
Pages: 484
Language: en
ISBN_10:3540643567
ISBN_13:9783540643562
Subject: Computers
Proceedings of the 2012 International Conference on Information Technology and Software Engineering
جزئیات و درخواست
By Wei Lu, Guoqiang Cai, Weibin Liu, Weiwei Xing
Publisher: Springer Science & Business Media, 2012-11-06
Pages: 957
Language: en
ISBN_13:9783642345319
ISBN_10:364234531X
Subject: Computers

Fundamental Approaches to Software Engineering

4th International Conference, FASE 2001 Held as Part of the ...

Fundamental Approaches to Software Engineering
جزئیات و درخواست
By Heinrich Hussmann
Publisher: Springer, 2003-06-29
Pages: 361
Language: en
ISBN_13:9783540453147
ISBN_10:3540453148
Subject: Computers

Verification of Reactive Systems

Formal Methods and Algorithms

Verification of Reactive Systems
جزئیات و درخواست
By Klaus Schneider
Publisher: Springer Science & Business Media, 2013-03-09
Pages: 608
Language: en
ISBN_13:9783662107782
ISBN_10:3662107783
Subject: Computers

Formal Methods in Computer-Aided Design

Second International Conference, FMCAD '98, Palo Alto, CA, U...

Formal Methods in Computer-Aided Design
جزئیات و درخواست
By Ganesh Gopalakrishnan, Phillip Windley
Publisher: Springer, 2003-07-31
Pages: 537
Language: en
ISBN_13:9783540495192
ISBN_10:3540495193
Subject: Computers
«12345678910»

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

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

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

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

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

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

چاپ کتاب زبان اصلی

دانلود کتاب از آمازون

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

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

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

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

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

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

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

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

    پس از پرداخت به صورت کارت به کارت، 4 رقم آخر شماره کارت خود را برای ما ارسال کنید.
    X
    راهنما / بلاگ / قوانین / تماس باما / درباره ما
    YouTube social network LinkedIn social network Instagram social network Twitter social network Aparat social network Telegram social network

    logo-samandehi

    فایلسو: مرجع دانلود کتاب، مقاله، استاندارد و سایر منابع لاتین، خرید کتاب از آمازون و گوگل بوکز دانلود رایگان منابع دانشگاهی تخصصی | دانلود کتاب های آمازون، دانلود کتاب های گوگل بوکز .

    ارتباط مستقیم با مدیریت