عنوان
پدید آورنده
موضوع
رده
E-Book ,
E-Book
,
کتابخانه
محل استقرار
شابک
شابک
:9783642153488
شماره کتابشناسی ملی
شماره
30578
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
انگلیسی
عنوان و نام پديدآور
عنوان اصلي
Reachability Problems
نام عام مواد
[electronic resources]
ساير اطلاعات عنواني
: 4th InternationalWorkshop, RP 2010 Brno, Czech Republic, August 28-29, 2010: Proceedings
نام ساير پديدآوران
Antonin Kucera, Igor Potapov (eds.).
وضعیت نشر و پخش و غیره
تاریخ نشرو بخش و غیره
, Berlin : Springer, c2010.
مشخصات ظاهری
نام خاص و کميت اثر
x, 197p.
ساير جزييات
:ill
فروست
عنوان فروست
Lecture Notes in Computer Science 6227
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Bibliography
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer systems -- Verification -- Congresses
موضوع مستند نشده
Decidability (Mathematical logic) --Congresses
موضوع مستند نشده
Graph theory -- Data processing -- Congresses
موضوع مستند نشده
گراف‌ها -- داده‌پردازی -- کنگره‌ها
رده بندی کنگره
شماره رکورد غير از شماره رده بندي
E-Book
,
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Kucera, Antonin, 1971-
مستند نام اشخاص تاييد نشده
Potapov, Igor
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
RP (Workshop) (4th : 2010 : Brno, Czech Republic)
مبدا اصلی
کشور
ایران
تاريخ عمليات
20190503
دسترسی و محل الکترونیکی
تاريخ و ساعت مذاکره و دسترسي
9783642153488.pdf
اطلاعات رکورد کتابشناسی
نوع ماده
BL
کد کاربرگه
279177
پیشوند ISBD اعمال شده است
1
اطلاعات دسترسی رکورد
سطح دسترسي
a
تكميل شده
N
