CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings
ورود
  • سال انتشار: 2003
  • صفحات: 535
  • اندازه فایل: 3 Mb
  • زبان‌: English
  • انتشارات: Springer-Verlag Berlin Heidelberg
  • تعداد مشاهده: 15
  • امتیاز کاربران: 4.8
  • شابک/ISBN: 3540407537
    9783540407539

کلمات کلیدی:

تندتک
تندتک

در این کانال تلگرام، مسعود بیگی، تجربیات خود را از دنیای تکنولوژی، استارتاپ، کارآفرینی و مدیریت فنی با شما به اشتراک می گذارد

Learn More

CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003. Proceedings

4.8

بر اساس نظر کاربران

Unordered دسته بندی نشده English
شما میتونید سوالاتتون در باره کتاب رو از هوش مصنوعیش بعد از ورود بپرسید
هر دانلود یا پرسش از هوش مصنوعی 2 امتیاز لازم دارد، برای بدست آوردن امتیاز رایگان، به صفحه ی راهنمای امتیازات سر بزنید و یک سری کار ارزشمند انجام بدین
This book constitutes the refereed proceedings of the 14th International Conference on Concurrency Theory, CONCUR 2003, held in Marseille, France in September 2003.The 29 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 107 submissions. The papers are organized in topical sections on partial orders and asynchronous systems, process algebras, games, infinite systems, probabilistic automata, model checking, model checking and HMSC, security, mobility, compositional methods and real time, and probabilistic models.

دانلود رایگان مستقیم

برای دانلود رایگان این کتاب و هزاران کتاب دیگه همین حالا عضو بشین

برای خواندن این کتاب باید نرم افزار PDF Reader را دانلود کنید Foxit Reader

ثبت نام /ورود

نویسندگان:

Author's picture placeholder
Denis Lugiez (eds.)

نظرات:

4.8

بر اساس 0 نظر کاربران