عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 R58 2010
QA76
.
76
.
V47
R58
2010
کتابخانه
محل استقرار
شابک
شابک
3642153488
شابک
9783642153488
شماره کتابشناسی ملی
شماره
b713309
عنوان و نام پديدآور
عنوان اصلي
Reachability problems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
4th international workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010 : proceedings /
نام نخستين پديدآور
Antonín Kučera, Igor Potapov (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2010.
مشخصات ظاهری
نام خاص و کميت اثر
x, 197 pages :
ساير جزييات
illustrations ;
ابعاد
24 cm.
فروست
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary: SL 1-theoretical computer science and general issues
مشخصه جلد
6227
شاپا ي ISSN فروست
0302-9743 ;
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer systems-- Verification, Congresses.
موضوع مستند نشده
Configurations, Congresses.
موضوع مستند نشده
Decidability (Mathematical logic), Congresses.
موضوع مستند نشده
Computer systems-- Verification.
موضوع مستند نشده
Configurations.
موضوع مستند نشده
Decidability (Mathematical logic)
موضوع مستند نشده
Erreichbarkeit.
موضوع مستند نشده
Erreichbarkeitsmenge.
موضوع مستند نشده
Zustandsgraph.
نام جغرافیایی به منزله موضوع
موضوع مستند نشده
Brünn 2010
بدون عنوان
7
مقوله موضوعی
موضوع مستند نشده
QA
رده بندی ديویی
شماره
511
.
35
رده بندی کنگره
شماره رده
QA76
.
76
.
V47
نشانه اثر
R58
2010
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Kučera, A., (Antonín)
مستند نام اشخاص تاييد نشده
Potapov, Igor.
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
RP (Workshop)(4th :2010 :, Brno, Czech Republic)
مبدا اصلی
تاريخ عمليات
20201208034309.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
