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

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

Compositionality, Concurrency, and Partial Correctness

Proof Theories for Networks of Processes, and Their Relation...

Compositionality, Concurrency, and Partial Correctness
جزئیات و درخواست
By Job Zwiers
Publisher: Springer Science & Business Media, 1989-02-22
Pages: 284
Language: en
ISBN_10:3540508457
ISBN_13:9783540508458
Subject: Computers

Compositionality: The Significant Difference

International Symposium, COMPOS’97 Bad Malente, Germany, Sep...

Compositionality: The Significant Difference
جزئیات و درخواست
By Willem-Paul de Roever, Hans Langmaack, Amir Pnueli
Publisher: Springer, 2003-05-20
Pages: 655
Language: en
ISBN_13:9783540492139
ISBN_10:3540492135
Subject: Computers

Semantics for Concurrency

Proceedings of the International BCS-FACS Workshop, Sponsore...

Semantics for Concurrency
جزئیات و درخواست
By Marta Z. Kwiatkowska, Michael W. Shields, Richard M. Thomas
Publisher: Springer Science & Business Media, 2013-03-14
Pages: 353
Language: en
ISBN_13:9781447138600
ISBN_10:1447138600
Subject: Computers

Programmverifikation

Sequentielle, parallele und verteilte Programme

Programmverifikation
جزئیات و درخواست
By Krzysztof R. Apt, Ernst-Rüdiger Olderog
Publisher: Springer-Verlag, 2013-03-07
Pages: 268
Language: de
ISBN_13:9783642579479
ISBN_10:3642579477
Subject: Computers
Verification of Sequential and Concurrent Programs
جزئیات و درخواست
By Krzysztof Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Publisher: Springer Science & Business Media, 2010-10-14
Pages: 512
Language: en
ISBN_13:9781848827448
ISBN_10:184882744X
Subject: Computers
Specification and Compositional Verification of Real-Time Systems
جزئیات و درخواست
By Jozef Hooman
Publisher: Springer Science & Business Media, 1991-11-27
Pages: 254
Language: en
ISBN_10:3540549471
ISBN_13:9783540549475
Subject: Computers
Verification of Sequential and Concurrent Programs
جزئیات و درخواست
By Krzysztof R. Apt, Ernst-Rüdiger Olderog
Publisher: Springer Science & Business Media, 2013-03-09
Pages: 371
Language: en
ISBN_13:9781475727142
ISBN_10:1475727143
Subject: Computers

4th Refinement Workshop

Proceedings of the 4th Refinement Workshop, organised by BCS...

4th Refinement Workshop
جزئیات و درخواست
By Joseph M. Morris, Roger C. Shaw
Publisher: Springer Science & Business Media, 2013-03-14
Pages: 488
Language: en
ISBN_13:9781447137566
ISBN_10:1447137566
Subject: Mathematics

Distributed Computer Systems

Theory and Practice

Distributed Computer Systems
جزئیات و درخواست
By H. S. M. Zedan
Publisher: Butterworth-Heinemann, 2014-05-12
Pages: 320
Language: en
ISBN_13:9781483192321
ISBN_10:1483192326
Subject: Computers
TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989
جزئیات و درخواست
By Josep Diaz, Fernando Orejas
Publisher: Springer Science & Business Media, 1989-02-27
Pages: 402
Language: en
ISBN_10:3540509402
ISBN_13:9783540509400
Subject: Computers
Formal Models and Semantics
جزئیات و درخواست
By Bozzano G Luisa
Publisher: Elsevier, 2014-06-28
Pages: 1288
Language: en
ISBN_13:9780080933924
ISBN_10:0080933920
Subject: Mathematics

Current Trends in Concurrency

Overviews and Tutorials

Current Trends in Concurrency
جزئیات و درخواست
By Jacobus W. De Bakker, Willem Paul Roever (Jr.), Grzegorz Rozenberg
Publisher: Springer Science & Business Media, 1986-06
Pages: 736
Language: en
ISBN_10:354016488X
ISBN_13:9783540164883
Subject: Computers

Foundations of Software Technology and Theoretical Computer Science

15th Conference; Bangalore, India, December 1995. Proceeding...

Foundations of Software Technology and Theoretical Computer Science
جزئیات و درخواست
By P.S. Thiagarajan
Publisher: Springer Science & Business Media, 1995-12-04
Pages: 952
Language: en
ISBN_10:3540606920
ISBN_13:9783540606925
Subject: Computers

Programming Concepts and Methods PROCOMET ’98

IFIP TC2 / WG2.2, 2.3 International Conference on Programmin...

Programming Concepts and Methods PROCOMET ’98
جزئیات و درخواست
By David Gries, Willem-Paul de Roever
Publisher: Springer, 2013-04-17
Pages: 488
Language: en
ISBN_13:9780387353586
ISBN_10:0387353585
Subject: Computers

Concurrency Verification

Introduction to Compositional and Non-compositional Methods

Concurrency Verification
جزئیات و درخواست
By W.-P. de Roever
Publisher: Cambridge University Press, 2001-11-26
Pages: 26
Language: en
ISBN_10:0521806089
ISBN_13:9780521806084
Subject: Computers

Mathematical Foundations of Computer Science 1994

19th International Symposium, MFCS'94, Kosice, Slovakia, Aug...

Mathematical Foundations of Computer Science 1994
جزئیات و درخواست
By Igor Privara, Branislav Rovan
Publisher: Springer Science & Business Media, 1994-08-03
Pages: 644
Language: en
ISBN_10:3540583386
ISBN_13:9783540583387
Subject: Computers

CONCUR '92

Third International Conference on Concurrency Theory, Stony ...

CONCUR '92
جزئیات و درخواست
By Walter R. Cleaveland
Publisher: Springer Science & Business Media, 1992-08-12
Pages: 596
Language: en
ISBN_10:3540558225
ISBN_13:9783540558224
Subject: Mathematics
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

Programming and Mathematical Method

International Summer School

Programming and Mathematical Method
جزئیات و درخواست
By Manfred Broy
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 410
Language: en
ISBN_13:9783642775727
ISBN_10:3642775721
Subject: Computers

Foundations of Software Technology and Theoretical Computer Science

17th Conference, Kharagpur, India, December 18-20, 1997. Pro...

Foundations of Software Technology and Theoretical Computer Science
جزئیات و درخواست
By S. Ramesh
Publisher: Springer Science & Business Media, 1997-11-28
Pages: 364
Language: en
ISBN_10:3540638768
ISBN_13:9783540638766
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

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

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