عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Automata for branching and layered temporal structures: <an investigation into regularities of infinite transition systems>
پدید آورنده
/ Gabriele Puppis
موضوع
Computer logic,Branching processes,Space and time,Machine theory
رده
006
.
3
P984A
2010
کتابخانه
المكتبة المركزية ومركز الأرشيف
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
22431916
-
021
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
1
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح