142. Language and automata theory and applications :
پدیدآورنده: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
رده :
QA267
.
L38
2018
143. 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
144. Languages and machines: an Introduction to the theory of computer science
پدیدآورنده: Sudkamp, Thomas A
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Formal languages ► Machine theory ► Computational complexity
رده :
511
S943l
145. Languages and machines: an Introduction to the theory of computer science
پدیدآورنده: Sudkamp, Thomas A
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Formal languages ► Machine theory ► Computational complexity
رده :
511
S943l
146. 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
147. Languages and machines : an introduction to the theory of computer science
پدیدآورنده: / Thomas A. Sudkamp
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Formal languages,Machine theory,Computational complexity
رده :
004
.
20
S943l
148. 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
149. 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
150. 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
151. Languages and machines : an introduction to the theory of computer science
پدیدآورنده: Sudkamp, Thomas A.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Formal languages ► Machine theory ► Computational complexity
رده :
511
S943l
152. 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
153. Languages & machines:an introduction to the theory of computer
پدیدآورنده: SUDKAMP,THOMAS A
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: FORMAL LANGUAGES , MACHINE THEORY , COMPUTATIONAL COMPLEXITY
رده :
QA
267
.
3
.
S83
154. Linear algebra and probability for computer science applications /
پدیدآورنده: Ernest Davis
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebras, Linear,Computer science-- Mathematics,Probabilities
رده :
QA76
.
9
.
M35
D38
2012
155. Linear and nonlinear programming /
پدیدآورنده: David G. Luenberger, Yinyu Ye.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Linear programming.,Nonlinear programming.,Business.,Decision making.,Engineering economics.,Engineering economy.,Management science.,Mathematical models.,Nonlinear programming, Mathematical optimization.,Operations research.,Programmation non linéaire, Optimisation mathématique.
رده :
T57
.
7
.
L84
2016
156. Linear and nonlinear programming /
پدیدآورنده: David G. Luenberger, Yinyu Ye.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Linear programming.,Nonlinear programming.,Linear programming.,Lineare Optimierung,Nichtlineare Optimierung,Nonlinear programming.,Optimierung
رده :
T57
.
7
.
L84
2016
157. 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
159. 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
160. Machine Learning:
پدیدآورنده: edited by Pavel B. Brazdil.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial Intelligence (incl. Robotics),Artificial intelligence.,Computer science.
رده :
Q325
.
5
E358
1993
