عنوان
پدید آورنده
موضوع
رده
QA،26،.P87،2010
QA
،
26
،.
P87
،
2010
کتابخانه
محل استقرار
شابک
شابک
9783642118807 (softcover : alk. paper)
اطلاعات محلی رکورد
نوع مدرک
English Book
عنوان و نام پديدآور
عنوان اصلي
Automata for branching and layered temporal structures
ساير اطلاعات عنواني
an investigation into regularities of infinite transition systems
نام نخستين پديدآور
Gabriele Puppis
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
c2010
مشخصات ظاهری
نام خاص و کميت اثر
x, 206 p. , ill. , 24 cm.
يادداشت کلی
متن يادداشت
Title
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliobraphical references and index.
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Machine theory
رده بندی کنگره
شماره رده
QA
نشانه اثر
26
شماره رکورد رده بندي
.
P87
شماره رکورد غير از شماره رده بندي
2010
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Puppis, Gabriele.
