نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Finite representations of CCS and TCSP programs by automata and Petri nets
پدید آورنده
Taubner, Dirk
موضوع
Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
رده
QA
76
.
9
.
D5
.
T39
1989
کتابخانه
كتابخانه مركزی دانشگاه صنعتي شريف
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
66005817
-
021
شناسگر استاندارد دیگر
شماره استاندارد
89638
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
آخر۲۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)20(
نام نخستين پديدآور
Taubner, Dirk
عنوان اصلي به قلم نويسنده ديگر
9591-
عنوان اصلي
Finite representations of CCS and TCSP programs by automata and Petri nets
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin; New York
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1989
مشخصات ظاهری
نام خاص و کميت اثر
x, 168 p.: ill.; 25 cm
فروست
عنوان فروست
Lecture notes in computer science
شاپا ي ISSN فروست
369
يادداشت کلی
متن يادداشت
Includes bibliographical references
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Distributed processing ، Electronic data processing
عنصر شناسه ای
، Petri nets
عنصر شناسه ای
، Programming languages )Electronic computers(
رده بندی کنگره
شماره رده
QA
76
.
9
.
D5
.
T39
1989
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Dirk Taubner
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
02
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد