شابک
شابک
9783642118814
شماره کتابشناسی ملی
کد کشور
IR
شماره
E-4807
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
کشور محل نشر یا تولید
کشور محل نشر
IR
عنوان و نام پديدآور
عنوان اصلي
Automata for branching and layered temporal structures
نام عام مواد
[Book]
ساير اطلاعات عنواني
:an investigation into regularities of infinite transition systems
نام نخستين پديدآور
/ Gabriele Puppis
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ;New York
نام ناشر، پخش کننده و غيره
: Springer
تاریخ نشرو بخش و غیره
, 2010.
مشخصات ظاهری
نام خاص و کميت اثر
x, 206 p., ill.
فروست
عنوان فروست
(Lecture notes in computer science,0302-9743
عنوان فروست
(LNCS sublibrary
ساير اطلاعات عنواني
: SL 7 - Artificial intelligence.)
مشخصه جلد
; 5955.Lecture notes in artificial intelligence.FoLLI publications on logic, language and information.)
یادداشتهای مربوط به نشر، بخش و غیره
متن يادداشت
Print
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
فروست (داده ارتباطی)
عنوان
Lecture notes in computer science
عنوان
Lecture notes in computer science.Lecture notes in artificial intelligence
عنوان
Lecture notes in computer science.Lecture notes in artificial intelligence.FoLLI publications on logic, language and information
عنوان
LNCS sublibrary.SL 7,Artificial intelligence
شماره جلد
5955
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Machine theory
رده بندی کنگره
شماره رده
QA267
نشانه اثر
.
P87
2010
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Puppis, Gabriele.
مبدا اصلی
کشور
ایران
وضعیت فهرست نویسی
وضعیت فهرست نویسی
old catalog
وضعیت انتشار
فرمت انتشار
p
اطلاعات رکورد کتابشناسی
نوع ماده
BL
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
Y
