کتاب مقدمه ای بر نظریه محاسبات - جلد اول

کتاب «مقدمه‌ای بر نظریه محاسبات - جلد اول» نوشته مایکل سیپسر، که توسط محمدحسن شیرعلی شهرضا به زبان فارسی ترجمه شده و توسط دانشگاه یزد منتشر شده، یک منبع جامع و کاربردی در زمینه نظریه محاسبات است. این کتاب با معرفی زبان‌های منظم و زبان‌های مستقل از متن به طور عمیق به موضوعات مختلف این حوزه می‌پردازد. همچنین، نظریه‌های معتبری چون نظریه چرچ و تورینگ، که بنیان‌های محکمی در نظریه محاسبات ایجاد کرده اند، در این کتاب تشریح شده اند. بخش‌هایی مربوط به تصمیم‌پذیری و مفاهیم پیشرفته در نظریه محاسبه‌پذیری نیز جلوه‌های دیگری از این اثر برجسته هستند. این کتاب می‌تواند به عنوان یک منبع استاندارد برای دانشجویان و پژوهشگران حوزه نظریه محاسبات و علوم کامپیوتر مورد استفاده قرار گیرد.

• طراحی الگوریتم ها ~ریچارد نیپولیتان، عین الله جعفرنژادقمی (مترجم)
• مقدمه ای بر نظریه محاسبات ~مایکل سیپسر، جواد وحیدی (مترجم)، حسین رسولی (مترجم)، ابراهیم محسنی (ویراستار)
• نگرشی نو به نظریه زبان ها و ماشین ها ~فرشاد صفایی، عادل حسینی، عباس قبله
• مقدمه ای بر نظریه زبانها و ماشینها ~پیتر لینز، عبدالحسین صراف زاده (مترجم)
• هندسه محاسباتی: الگوریتم ها و کاربردها ~مارک دی برگ، اوتفرید چیونگ، مهدی ایمان پرست (مترجم)
• موارد بیشتر (56)

• مقدمه ای بر نظریه محاسبات ~مایکل سیپسر، جواد وحیدی (مترجم)، حسین رسولی (مترجم)، ابراهیم محسنی (ویراستار)

• مقدمه ای بر نظریه محاسبات - جلد اول ~مایکل سیپسر، محمدحسن شیرعلی شهرضا (مترجم)، سعید یونسی (ویراستار)
• حلاج و راز انا الحق ~عطاء الله تدین، سعید یونسی (ویراستار)
• خلاصه حالات آدم ابوالبشر و پیام آوران اولواالعزم: نوح - ابراهیم - موسی - عیسی و ... ~سیدجعفر قدس میرحیدری، سعید یونسی (ویراستار)