221. #Non-classical logics, model theory, and computability
پدیدآورنده: #edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Nonclassical mathematical logic -- Congresses ،Model theory -- Congresses ،Computable functions -- Congresses
رده :
#
QA
،#.
L37
،#
1976
222. Non-classical logics, model theory, and computability
پدیدآورنده: / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. -
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Nonclassical mathematical logic--Congresses,Model theory--Congresses,Computable functions--Congresses
رده :
QA
,
9
.
4
,.
L37
,
1976
QA
,
9
.
4
,
L37
,
1976
223. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American
پدیدآورنده: edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Nonclassical mathematical logic,Congresses ، Model theory,Congresses ، Computable functions
رده :
QA
9
.
7
.
L3
224. Nonlinear Model Predictive Control : Theory and Algorithms
پدیدآورنده: by Lars Grune, Jurgen Pannek
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Automotive engineering,، Chemical engineering,، Control engineering,، Engineering
رده :
TJ
217
.
6
.
N66
2017
225. On the theory and application of the general linear model
پدیدآورنده: Koerts, J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Econometrics,، Regression analysis
رده :
HB
74
.
M3
.
K57
226. Polaron theory: model problems
پدیدآورنده: Bogolubov, Nikolai Nikolaevich
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Polarons
رده :
QC
176
.
8
.
P62
B64
2000
227. 28, 2011. Proceedings-Theory and Practice of Model Transformations: 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27
پدیدآورنده: / Alexander Egyed, Andreas Demuth (auth.), Jordi Cabot, Eelco Visser (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
228. Quantum Field Theory and the Standard Model
پدیدآورنده: / Schwartz M.D.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
229. Quantum field theory and the standard model
پدیدآورنده: / Matthew D. Schwartz, Harvard University
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Quantum field theory--Textbooks,Particles (Nuclear physics)--Textbooks
رده :
QC174
.
45
.
S329
2014
230. Quantum field theory and the standard model /
پدیدآورنده: Schwartz, Matthew Dean
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Textbooks ، Quantum field theory,Textbooks ، Particles )Nuclear physics(
رده :
QC
174
.
45
.
S32
2014
231. Quantum field theory and the standard model /
پدیدآورنده: Matthew D. Schwartz, Harvard University
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Particles (Nuclear physics), Textbooks,Quantum field theory, Textbooks
رده :
QC174
.
45
.
S329
2014
232. Quantum field theory and the standard model
پدیدآورنده: Schwartz, Matthew Dean, 6791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Textbooks ، Quantum field theory,Textbooks ، Particles )Nuclear physics(
رده :
QC
174
.
45
.
S39Q3
233. Recent directions in particle theory : from superstrings and black holes to the Standard model
پدیدآورنده: editors Jeffrey Harvey, Joseph Polchinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Particles )Nuclear physics(,Congresses ، String models,Congresses ، Standard model )Nuclear physics(,Congresses ، Field theory )Physics(,Congresses ، Astrophysics
رده :
QC
793
.
T43
1992
234. Relativistic theory of reactions )model independent methods(
پدیدآورنده: Werle, J
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Nuclear reactions
رده :
QC
794
.
W47
235. #Relativistic theory of reactions )model independent methods(
پدیدآورنده : Werle, J.)Jozef(
موضوع : ، Nuclear reactions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
236. Satfurated model theory
پدیدآورنده: Sacks, Gernald E
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Model Theory
رده :
QA
9
.
S313
237. Saturated model theory
پدیدآورنده: Sacks, Gerald E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Model theory
رده :
QA
9
.
S313
238. Saturated model theory
پدیدآورنده: [by] Gerald E. Sacks.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Model theory.,Modèles, Théorie des.,31.02 philosophy and theory of mathematics.,Model theory.,Model theory.,Modèles, Théorie des.,Modelltheorie
رده :
QA9
.
S313
239. Semantics of programming languages and model theory
پدیدآورنده: / edited by Manfred droste and yuri gurevich
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Programming languages (Electronic Computers)-- Semantics
رده :
005
.
131
S471
240. Semantics of programming languages and model theory
پدیدآورنده: edited by Manfred Droste and Yuri Gurevich
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
S4
