عنوان
پدید آورنده
موضوع
رده
QA267 .S56 1997
QA267
.
S56
1997
کتابخانه
محل استقرار
شابک
شابک
053494728X
شابک
9780534947286
شماره کتابشناسی ملی
شماره
b527782
عنوان و نام پديدآور
عنوان اصلي
Introduction to the theory of computation /
نام عام مواد
[Book]
نام نخستين پديدآور
Michael Sipser.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Boston :
نام ناشر، پخش کننده و غيره
PWS Pub. Co.,
تاریخ نشرو بخش و غیره
c1997.
مشخصات ظاهری
نام خاص و کميت اثر
xv, 396 p. :
ساير جزييات
ill. ;
ابعاد
25 cm.
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references (p. 381-385) and index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Automata and languages. Regular languages ; Context-free languages -- Computability theory. The Church-Turing thesis ; Decidability ; Reducibility ; Advanced topics in computability theory -- Complexity theory. Time complexity ; Space complexity ; Intractability ; Advanced topics in complexity theory.
بدون عنوان
0
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computational complexity.
موضوع مستند نشده
Machine theory.
رده بندی ديویی
شماره
511
.
3
ويراست
20
رده بندی کنگره
شماره رده
QA267
نشانه اثر
.
S56
1997
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Sipser, Michael.
مبدا اصلی
تاريخ عمليات
20090713074747.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
