181. Ordered Sets
پدیدآورنده : edited by Ivan Rival.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra.,Computational complexity.,Computer science.
182. Philosophy of logic /
پدیدآورنده : W.V. Quine.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic.,Philosophy.,Logique.,Philosophie.,Logic.,Logica.,PHILOSOPHY-- Logic.,Philosophy.
رده :
BC51
.
Q5
1986eb
183. Potential wadge classes
پدیدآورنده : Lecomte, Dominique, 4691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Borel sets,، Recursion theory
رده :
QA
3
.
A475
no
.
1038
184. Principles and practice of constraint programming--CP'97 :
پدیدآورنده : Gert Smolka (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constraint programming (Computer science),Constraint programming (Computer science) -- Congresses.,Programmatuurtechniek.
185. Progress in Electron Properties of Solids :
پدیدآورنده : edited by E. Doni, R. Girlanda, G. Pastori Parravicini, A. Quattropani.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Physical organic chemistry.,Physics.
186. Quantum field theory in a nutshell /
پدیدآورنده : A. Zee
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Quantum field theory
رده :
QC174
.
45
.
Z44
2010
187. Quantum theory and symmetries with lie theory and its applications in physics :
پدیدآورنده : Vladimir Dobrev, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Quantum theory, Congresses.,Symmetry (Physics), Congresses.,Quantum theory.,Symmetry (Physics)
رده :
QC173
.
96
.
I58
2017
188. Random Matrices and Iterated Random Function
پدیدآورنده : / edited by Gerold Alsmeyer, Matthias L?╢we
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Functional analysis,Distribution (Probability theory),Electronic books
رده :
E-BOOK
189. Real analysis and probability
پدیدآورنده : / R.M. Dudley
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematical analysis,Functions of real variables,Probabilities
رده :
E-BOOK
190. Recursion-Theoretic hierarchies
پدیدآورنده : Hinman, Peter G.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory -- Hierarchies
رده :
QA
9
.
62
.
H56
1978
191. Recursion - Theoretic hierarchies
پدیدآورنده : / Peter G. Hinman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Recursion theory - Hierarchies
رده :
511
.
3
H664
192. Recursion-theoretic hierarchies
پدیدآورنده : Hinman, Peter G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory-- Hierarchies
رده :
QA
9
.
62
.
H56
1978
193. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
9
.
6
.
N6
1980
194. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
1
.
L4
v
.
811
195. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
no
.
811
196. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursion theory,، Computable functions
رده :
QA
3
.
L28
no
.
811
197. Recursion on the countable functionals
پدیدآورنده : Normann, Day, 7491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
Vol
.
811
198. Recursion-theoretic hierarchies
پدیدآورنده : Hinman, Peter G
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion theory -- Hierarchies
رده :
QA
9
.
62
.
H56
199. Recursion-theoretic hierarchies
پدیدآورنده : Hinman, peter G.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursion theory,، Hierachies
رده :
QA
9
.
62
.
H56
200. Recursion theory
پدیدآورنده : Shoenfield, Joseph R.)Joseph Robert(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
S48
1993
