1. .....................
پدیدآورنده: Engeler, Erwin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
2. .....................
پدیدآورنده: Yan, Song Y.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
Y36
1998
3. A Basic for theoretical computer science
پدیدآورنده: Michael A. Arbib, A.J. Kfoury, Robert N. Moll
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Formal languages
رده :
QA
267
.
A517
1981
4. A calculus of communicating systems
پدیدآورنده: / Robin Milner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory.,Formal languages.
رده :
QA
,
267
,.
M53
5. A concise introduction to languages and machines
پدیدآورنده: Parkes, Alan.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
P36
2008
6. A course in formal languages, automata and grops
پدیدآورنده: Ian M. Chishwell
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Formal languages,، Machine theory,، Group theory
رده :
QA
267
.
3
.
C48C6
7. A course in formal languages, automata and groups
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Formal languages. ; Machine theory. ; Group theory. ;
8. A course in formal languages, automata and groups
پدیدآورنده: / Ian M. Chiswell
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Formal languages,Machine theory,Group theory
رده :
E-BOOK
9. A course in formal languages, automata and groups
پدیدآورنده: / Ian Chiswell
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Formal languages.,Machine theory.,Group theory.
10. A course in formal languages, automata and groups
پدیدآورنده: Chiswell, Ian
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Formal languages,، Machine theory,، Group theory
رده :
QA
267
.
3
.
C45
2009
11. A second course in formal languages and automata theory
پدیدآورنده: Shallit, Jeffrey Outlaw.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
S53
12. A second course in formal languages and automata theory
پدیدآورنده: / Jeffrey Shallit
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Formal languages,Machine theory
رده :
E-BOOK
13. Abstract machines and grammars
پدیدآورنده: / Walter J. Savitch. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Formal languages.,Machine theory.
رده :
QA
,
267
,.
S29
,
1982
14. Algebraic theory of automata and languages
پدیدآورنده: / Masami Ito
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع: Formal languages,Machine theory
رده :
QA267
.
I8A5
2004
15. Algebraic theory of automata and languages
پدیدآورنده: Ito, Masami
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Formal languages,، Machine theory
رده :
QA
276
.
3
.
I88
2004
16. Algebraic theory of automata and languages
پدیدآورنده: Masami Ito
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
I86A4
17. Algorithms, languages, automata, and compilers
پدیدآورنده: / Maxim Mozgovoy
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: Machine theory.,Formal languages.,Algorithms.
رده :
QA
267
.
M69
2010
18. <An> introduction to formal languages and automata
پدیدآورنده : Peter Linz
موضوع : Formal languages,Machine theory
۶ نسخه از این کتاب در ۴ کتابخانه موجود است.
19. An introduction to computable Languages and abstract machines
پدیدآورنده: Parkes, Alan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computable functions , Formal Languages , Machine Theory
رده :
QA
267
.
3
.
P37
20. An introduction to computable languages and abstract machines
پدیدآورنده: Parkes, Alan.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
P37
1996
