عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3642316220
شابک
3642316239
شابک
9783642316227
شابک
9783642316234
شماره کتابشناسی ملی
شماره
b598174
عنوان و نام پديدآور
عنوان اصلي
Descriptional complexity of formal systems :
نام عام مواد
[Book]
ساير اطلاعات عنواني
14th international workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings
نام نخستين پديدآور
Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Heidelberg
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
©2012.
مشخصات ظاهری
نام خاص و کميت اثر
(x, 318 p.) : illustrations.
فروست
عنوان فروست
Lecture notes in computer science, 7386.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
DCFS 2012
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Formal languages -- Congresses.
موضوع مستند نشده
Formal methods (Computer science) -- Congresses.
موضوع مستند نشده
Machine theory -- Congresses.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Martin Kutrib, Nelma Moreira, Rogério Reis (eds.).
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Martin Kutrib
مستند نام اشخاص تاييد نشده
Nelma Moreira
مستند نام اشخاص تاييد نشده
Rogério Reis
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
