کتاب نظریه های زبان ها و ماشین ها  نوشته مجتبی پور محقق توسط انتشارات پوران پژوهش مناسب دانشجویان و داوطلبان کنکور ارشد مهندسی کامپیوتر و علوم کامپیوتر و آزمون استخدامی بانکداری منتشر شده است

رویکرد کتاب آبی نظریه زبانها و ماشینها پوران پژوهش مبتنی بر “حل مسئله” است و در تهیه ی این کتاب، آمادگی برای آزمون کارشناسی ارشد یک هدف جدی بوده است. لذا در پایان هر فصل سوالات آزمون کارشناسی ارشد مربوط به آن مبحث به تفکیک رشته و نوع آزمون آورده شده و در پاسخ به آنها رویکرد آموزشی مدنظر قرار گرفته است.

فهرست مطالب

فصل اول: تعاریف، مفاهیم اولیه و بنیان های ریاضی مرتبط

فصل دوم: زبان های منظم، ماشین های متناهی و گرامرها

فصل سوم: زبان های مستقل از متن

فصل چهارم: ماشین های تورینگ

فصل پنجم: دسته بندی زبان های صوری و پیچیدگی محاسباتی

کتاب مهندسی نرم افزار(ویرایش نهم)نوشته  راجراس. پرسمن- بروس. آر. ماکسیم و ترجمه دکتر محمدمهدی سالخورده حقیقی توسط انتشارات خراسان منتشر شده است.

موضوع کتاب: مهندسی کامپیوتر، نرم افزار کامپیوتری، برنامه نویسی کامپیوتر، زبان برنامه نویسی

معرفی مباحث کتاب مهندسی نرم افزار

1. نرم ­افزار و مهندسی نرم­ افزار
2.  فرایند نرم ­افزار
3. مدل­های فرایند
4. توسعه­ی سریع
5. مدل­سازی
6.  اصول هدایت­ کننده­ ی تجربه
7. درک نیازها
8. مدل­سازی نیازها: سناریوها، اطلاعات، و کلاس­های تحلیل
9. مدل­سازی نیازها: جریان، رفتار، الگوها، و کاربردهای وب
10. مفاهیم طراحی
11.  طراحی معماری
12. طراحی در سطح مؤلفه
13. طراحی رابط کاربر
14. طراحی الگو محور
15. طراحی کاربردهای وب
16. مدیریت کیفیت
17. استراتژی­های آزمایش نرم­ افزار
18. کاربردهای متداول آزمایش
19. آزمایش کاربردهای شیی­گرا
20. آزمایش کاربردهای وب
21. مدیریت پروژه­ های نرم ­افزاری
22.  مفاهیم مدیریت پروژه
23. فرایندها و معیارهای پروژه
24. تخمین برای پروژه­ های نرم­ افزاری
25. زمانبندی پروژه
26. مدیریت ریسک
27. معیارهای محصول
28. مقدمه­ای بر UML