کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:

جستجوی کتاب

Linear time, branching time, and partial order in logics and models for concurrency

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع: Parallel processing (Electronic computers)►Electronic data processing- Distributed processing

رده :
76
.
5
.
L523

Linear time, branching time, and partial order in logics and models for concurrency :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Electronic data processing-- Distributed processing.,Parallel processing (Electronic computers)

رده :
QA76
.
5
.
L523
1989

Linear time, branching time and partial order in logics and models for concurrency

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Linear time invariant systems ► Linear systems

رده :
003
L754

Linear time, branching time, and partial order in logics and models for concurrency : School

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Parallel processing )Electronic computers(,، Electronic data processing -- Distributed processing

رده :
QA
76
.
L28
Vol
.
354

Linear time, branching time, and partial order in logics and models for concurrency : School

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Parallel processing )Electronic computers(,، Electronic data processing-- Distributed processing

رده :
QA
76
.
5
.
L523
1989