This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Formal methods for concurrency /
"
Clive Fencott.
Document Type
:
BL
Record Number
:
684885
Doc. No
:
b507074
Main Entry
:
Fencott, P. C.
Title & Author
:
Formal methods for concurrency /\ Clive Fencott.
Publication Statement
:
London :: International Thomson Computer Press,, 1996.
Page. NO
:
xiii, 290 p. ;; 24 cm.
ISBN
:
1850321736
Bibliographies/Indexes
:
Includes bibliographic references (p. 283-284) and index.
Subject
:
Computer multitasking.
Subject
:
Computer networks-- Mathematical models.
Subject
:
Database management.
Subject
:
Distributed databases.
Subject
:
Parallel processing (Electronic computers)
https://lib.clisel.com/site/catalogue/684885
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن