عنوان
پدید آورنده
موضوع
رده
QA76.76.V47 R58 2009
QA76
.
76
.
V47
R58
2009
کتابخانه
محل استقرار
شابک
شابک
3642044204
شابک
9783642044205
شماره کتابشناسی ملی
شماره
b433905
عنوان و نام پديدآور
عنوان اصلي
Reachability problems
نام عام مواد
[Book]
ساير اطلاعات عنواني
third international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
نام نخستين پديدآور
Olivier Bournez, Igor Potapov, (eds.)
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2009
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (x, 232 p.) :
ساير جزييات
ill
فروست
عنوان فروست
Lecture notes in computer science ;
مشخصه جلد
5797
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and index
ویراست دیگر از اثر در قالب دیگر رسانه
عنوان
Reachability problems.
شماره استاندارد بين المللي کتاب و موسيقي
3642044190
قطعه
عنوان
SpringerLink
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
RP 2009
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer systems-- Verification, Congresses
موضوع مستند نشده
Configurations, Congresses
موضوع مستند نشده
Decidability (Mathematical logic), Congresses
رده بندی کنگره
شماره رده
QA76
.
76
.
V47
نشانه اثر
R58
2009
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Bournez, Olivier
مستند نام اشخاص تاييد نشده
Potapov, Igor
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
RP 2009(2009 :, Palaiseau, France)
مبدا اصلی
تاريخ عمليات
20120501034631.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
