1. Elements of the theory of computation
پدیدآورنده: Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع:
رده :
QA
،
267
،.
L49
،
1981
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Elements of the theory of computation
پدیدآورنده: / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Elements of the theory of computation
پدیدآورنده: Lewis, Harry R
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Machine theory,Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Elements of the theory of computation
پدیدآورنده: / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Elements of the theory of computation
پدیدآورنده: Lewis, Harry R.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Machine theory , Formal languages , Computational complexity , Logic, Symbolic and mathematical
رده :
QA
267
.
L49
1998
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Elements of the theory of computation
پدیدآورنده: Lewis, Harry R.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Elements of the theory of computation
پدیدآورنده: / Harry R. Lewis, christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Computable functions
رده :
515
.
25
L674e
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Elements of the theory of computation
پدیدآورنده: Lewis, Harry R.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Elements of the theory of computation
پدیدآورنده: Lewis, Harry R
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
11. Elements of the theory of computation /
پدیدآورنده: Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Formal languages,Logic, Symbolic and mathematical,Machine theory
رده :
QA267
.
L49
1998
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. Elements of the theory of computation /Harry R. Lewis, Christos H. Papadimitriou.
پدیدآورنده:
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Machine theory.,Formal languages.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA
267
.
L49
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
13. مباني نظريه محاسبات
پدیدآورنده: / تاليف هري لويس، کريستوز پاپاديميترو,عنوان اصلي: Elements of the theory of compution, 2ed. ,c1998,لوئيس,Lewis
کتابخانه: كتابخانه آيت الله وزيری (آستان قدس رضوی ع) (یزد)
موضوع: نظريه ماشين,منطق رياضي,پيچيدگي محاسباتي
رده :
۵۱۱
/
۳
ل
۸۲۳
م
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. مباني نظريه محاسبات (نظريه زبانها و ماشينها)
پدیدآورنده : تاليف هري لويس, کريستوز پاپا ديميترو,ترجمه حسن تفضلي, فاطمه آقايي
موضوع : نظريه ماشين پيچيدگي محاسباتي منطق رياضي منطق رياضي
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. مبانی نظریه محاسبات ( نظریه زبانهاو ماشینها)
پدیدآورنده: / تالیف هری لویس، کریستوز پاپادیمیترو,Elements of the theory of compution, 2nd.ed ,c1998.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: نظریه ماشین,منطق جدید,پیچیدگی محاسباتی,aمنطق جدید
رده :
۵۱۱
/
۳
ل
۸۲۳
م
۲
ریو
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)