عنوان
پدید آورنده
موضوع
رده
006 .3 P984A 2010
006
.
3
P984A
2010
کتابخانه
محل استقرار
شماره کتابشناسی ملی
شماره
276106
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Automata for branching and layered temporal structures: <an investigation into regularities of infinite transition systems>
نام عام مواد
[book]
نام نخستين پديدآور
/ Gabriele Puppis
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
، 2010
مشخصات ظاهری
نام خاص و کميت اثر
x, 206 p.
ساير جزييات
: ill
فروست
عنوان فروست
Lecture notes in artificial intelligence, LNAI
ساير اطلاعات عنواني
: 5955
يادداشت کلی
متن يادداشت
Based on a Ph.D. thesis Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer logic
عنصر شناسه ای
Branching processes
عنصر شناسه ای
Space and time
عنصر شناسه ای
Machine theory
رده بندی ديویی
شماره
006
.
3
P984A
2010
نام شخص - (مسئولیت معنوی برابر )
عنصر شناسه اي
Puppis, Gabriele
کد نقش
author
مبدا اصلی
کشور
ایران
شماره دستیابی
شماره بازیابی
006 .3 P984A 2010
وضعیت فهرست نویسی
وضعیت فهرست نویسی
Previous cataloging
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
تكميل شده
Y
