201. Model theory with applications to algebra and analysis
پدیدآورنده : Zoe Chatzidakis ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M638
2008
202. Model theory with applications to algebra and analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
M638
2008
203. Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry :
پدیدآورنده : Raf Cluckers, Johannes Nicaise, Julien Sebag (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Espacios analíticos.,Modelos, Teoría de.
204. Motivic integration and its interactions with model theory and non-Archimedean geometry
پدیدآورنده : edited by Raf Cluckers, Johannes Nicaise, Julien Sebag
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Valued fields,، Analytic spaces,، Geometry, Algebraic
رده :
QA
9
.
7
.
M68
205. Multi-parametric model-based control: theory and applications
پدیدآورنده : edited by Efstratios N. Pistikopoulos, Michael C. Georgiadis and Vivek Dua
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Systems engineering - Computer programs,، Predictive control,، Multiparadigm programming )Computer science(
رده :
QA
76
.
612
.
M852
2007
206. Multi-parametric model-based control: theory and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Systems engineering-- Computer programs,، Predictive control,، Multiparadigm programming )Computer science(
رده :
QA
76
.
612
.
M852
2007
207. Non-Classical logics, model theory, and compuability : proceedings of the third Latin-American Symposium on mathematical logic, campinas, Brazil, July 11-17, 1976
پدیدآورنده : edited by A.I. Arruda, N.C.A. da Costa )and( R. Chuaqui
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Model theory,، Recursive functions
رده :
QA
9
.
L38
208. #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
209. Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
پدیدآورنده : 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
210. Nonlinear Model Predictive Control : Theory and Algorithms
پدیدآورنده : by Lars Grune, Jurgen Pannek
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Automotive engineering,، Chemical engineering,، Control engineering,، Engineering
رده :
TJ
217
.
6
.
N66
2017
211. Nonlinear model predictive control: theory and algorithms
پدیدآورنده : Lars Grune and Jurgen Pannek
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Predictive control,Nonlinear control theory,Control theory
212. On the theory and application of the general linear model
پدیدآورنده : Koerts, J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Econometrics,، Regression analysis
رده :
HB
74
.
M3
.
K57
213. Polaron theory: model problems
پدیدآورنده : Bogolubov, Nikolai Nikolaevich
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Polarons
رده :
QC
176
.
8
.
P62
B64
2000
214. 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
215. Quantum Field Theory and the Standard Model
پدیدآورنده : / Schwartz M.D.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
216. Quantum field theory and the standard model
پدیدآورنده : / Matthew D. Schwartz, Harvard University
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Quantum field theory--Textbooks,Particles (Nuclear physics)--Textbooks
رده :
QC174
.
45
.
S329
2014
217. Quantum field theory and the standard model
پدیدآورنده : Schwartz, Matthew Dean
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Textbooks ، Quantum field theory,Textbooks ، Particles )Nuclear physics(
رده :
QC
174
.
45
.
S32
2014
218. Quantum field theory and the standard model /
پدیدآورنده : Matthew D. Schwartz, Harvard University
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Particles (Nuclear physics), Textbooks,Quantum field theory, Textbooks
رده :
QC174
.
45
.
S329
2014
219. Quantum field theory and the standard model
پدیدآورنده : Schwartz, Matthew Dean, 6791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Textbooks ، Quantum field theory,Textbooks ، Particles )Nuclear physics(
رده :
QC
174
.
45
.
S39Q3
220. Recent directions in particle theory : from superstrings and black holes to the Standard model : proceedings of the 1992 Theoretical Advanced Study Institute in Elementary Particle Physics, Boulder, Colorado, 1-26 June 1992
پدیدآورنده : 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
