101. Introduction to the theory of computation
پدیدآورنده: Sipser, Michael.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Machine theory , Computational complexity
رده :
QA
267
.
S56
1996
102. Introduction to the theory of computation
پدیدآورنده: Sipser, Michael
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، Computational complexity
رده :
QA
267
.
S56
103. Languages and machines :
پدیدآورنده: Thomas A. Sudkamp
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Formal languages,Machine theory,automate fini,Complejidad computacional,décidabilité,grammaire formelle,langage formel,langage programmation,Lenguaje formal,machine Turing,Teoría de las máquinas,théorie complexité
رده :
QA267
.
3
.
S83
1997
104. Languages and machines: an Introduction to the theory of computer science
پدیدآورنده: Sudkamp, Thomas A
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Formal languages ► Machine theory ► Computational complexity
رده :
511
S943l
105. Languages and machines: an Introduction to the theory of computer science
پدیدآورنده: Sudkamp, Thomas A
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Formal languages ► Machine theory ► Computational complexity
رده :
511
S943l
106. Languages and machines: an introduction to the theory of computer science
پدیدآورنده: Sudkamp, Thomas A.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S83
1997
107. Languages and machines : an introduction to the theory of computer science
پدیدآورنده: / Thomas A. Sudkamp
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Formal languages,Machine theory,Computational complexity
رده :
004
.
20
S943l
108. Languages and machines : an introduction to the theory of computer science
پدیدآورنده: Sudkamp, Thomas A.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Formal languages , Machine theory , Computational complexity
رده :
QA
267
.
3
.
S83
1997
109. Languages and machines : an introduction to the theory of computer science
پدیدآورنده: Thomas A. Sudkamp
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S93L2
2006
110. Languages and machines: an introduction to the theory of computer science
پدیدآورنده: Sudkamp, Thomas A.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S83
1997
111. Languages and machines : an introduction to the theory of computer science
پدیدآورنده: Sudkamp, Thomas A.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Formal languages ► Machine theory ► Computational complexity
رده :
511
S943l
112. Languages and machines; an introduction to the theory of computer science
پدیدآورنده: Tomas A. Sudkamp
کتابخانه: کتابخانه مرکزی و مرکز نشر دانشگاه بیرجند (دکتر محمد حسن گنجی) (خراسان جنوبی)
موضوع: ، Formal languages,، Machine theory,، Computational complexity
رده :
QA
267
.
3
.
S83
1988
113. Languages & machines:an introduction to the theory of computer
پدیدآورنده: SUDKAMP,THOMAS A
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: FORMAL LANGUAGES , MACHINE THEORY , COMPUTATIONAL COMPLEXITY
رده :
QA
267
.
3
.
S83
114. Logic and automata
پدیدآورنده: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
رده :
QA
,
267
,.
L624
,
2008
116. Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frundlagenforschung der Universitat Munster/Westfalen
پدیدآورنده: Symposium "Rekursive Kombinatorik")3891:Institut fur Mathematische Logik und Grundlagenforschung der Universitat Munster/Westfalen(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory--Congresses,، Computational complexity--Congresses,، Decision-making--Congresses
رده :
QA
267
.
S98
1983
117. Mathematical foundations of computer science 1986 : Proceedings of the 12th Symposium, Bratislava, Czchoslovakia, August 25-29, 1986
پدیدآورنده: edited by J. Gruska, B. Rovan and J. Wiedermann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
233
118. Mathematical foundations of computer science 1981 : proceedings, 10th Symposium, Strbske Pleso, Czechoslovakia, August 31-September 4, 1981
پدیدآورنده: edited by J. Gruska and M. Chytil
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
118
119. Mathematical foundations of computer science 1981: proceedings, 10 th symposium Strbke Pleso, Czechosllovakia, August 31-September 4, 1981
پدیدآورنده :
موضوع : ، Machine theory-- Congresses,، Formal languages-- Congresses,، Computational complexity-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
120. Meta math!
پدیدآورنده: / Gregory Chaitin
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه علوم کشاورزی و منابع طبیعی خوزستان (خوزستان)
موضوع: Machine theory,Computational complexity,Stochastic processes
رده :
QA276
.
C435
2005
