عنوان
پدید آورنده
موضوع
رده
QA76.9.D5 B996 2011
QA76
.
9
.
D5
B996
2011
کتابخانه
محل استقرار
شابک
شابک
364208303X
شابک
9783642083037
شماره کتابشناسی ملی
شماره
b540563
عنوان و نام پديدآور
عنوان اصلي
Elements of distributed algorithms :
نام عام مواد
[Book]
ساير اطلاعات عنواني
modeling and analysis with petri nets
نام نخستين پديدآور
by Wolfgang Reisig.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; London
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
2011
مشخصات ظاهری
نام خاص و کميت اثر
1 volume : illustrations ; 24 cm
یادداشتهای مربوط به مندرجات
متن يادداشت
I. Elementary Concepts.- II. Case Studies.- III. Advanced Concepts.- IV. Case Studies.- V. Case Studies Continued: Acknowledged Messages.- VI. Case Studies Continued: Network Algorithms.- VII. State Properties of Elementary System Nets.- VIII. Interleaved Progress of Elementary System Nets.- IX. Concurrent Progress of Elementary System Nets.- X. State Properties of System Nets.- XI. Interleaved Progress of System Nets.- XII. Concurrent Progress of System Nets.- XIII. Formal Analysis of Case Studies.- References.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer algorithms.
موضوع مستند نشده
Electronic data processing -- Distributed processing.
موضوع مستند نشده
Petri nets.
رده بندی کنگره
شماره رده
QA76
.
9
.
D5
نشانه اثر
B996
2011
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
by Wolfgang Reisig.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Wolfgang Reisig
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
