221. Failure rate modelling for reliability and risk /
پدیدآورنده : Maxim Finkelstein.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Reliability (Engineering)-- Mathematical models.,System failures (Engineering),Ingénierie.,Reliability (Engineering)-- Mathematical models.,Reliability (Engineering)-- Mathematical models.,System failures (Engineering),System failures (Engineering),TECHNOLOGY & ENGINEERING-- Quality Control.
رده :
TA169
.
5
.
F56
2008eb
222. Feedback control theory for dynamic traffic assignment /
پدیدآورنده : Pushkin Kachroo, Kaan M.A. Özbay.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic traffic controls.,Feedback control systems.,Intelligent transportation systems.,Traffic engineering.,Transportation engineering.,Transportation-- Mathematical models.,Automatic control engineering.,Civil engineering, surveying & building.,Electronic traffic controls.,Feedback control systems.,Intelligent transportation systems.,Regional & area planning.,TECHNOLOGY & ENGINEERING-- Engineering (General),Traffic engineering.,Transportation engineering.,Transportation-- Mathematical models.
رده :
TE228
.
3
.
K23
2018eb
223. Financial optimization /
پدیدآورنده : edited by Stavros A. Zenios.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Finance-- Mathematical models, Congresses.,Mathematical optimization, Congresses.,Finances-- Modèles mathématiques, Congrès.,Optimisation mathématique, Congrès.,Finance-- Mathematical models, Congresses.,Finance-- Mathematical models.,Finances-- Modèles mathématiques-- Congrès.,Financiering.,Finanzierung,Investissements-- Modèles mathématiques.,Kapitalanlage,Kongress,Mathematical optimization, Congresses.,Mathematical optimization.,Mathematisches Modell,Optimaliseren.,Optimierung,Optimisation mathématique-- Congrès.,Portfolio Selection
رده :
HG174
.
F525
1993
224. Finite approximations in discrete-time stochastic control :
پدیدآورنده : Naci Saldi, Tamás Linder, Serdar Yüksel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Approximation theory.,Stochastic control theory.,Approximation theory.,Automatic control engineering.,Calculus of variations.,Cybernetics & systems theory.,Differential calculus & equations.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Probability & statistics.,Stochastic control theory.
رده :
QA402
.
37
225. Finite element analysis of composite materials using ANSYS /
پدیدآورنده : Ever J. Barbero
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : ANSYS (Computer system),Composite materials-- Mathematical models,Finite element method
رده :
TA418
.
9
.
C6
B368
2014
226. Fluctuation mechanism and control on system instantaneous availability
پدیدآورنده : Yi Yang, Yong-Li Yu, Li-Chao Wang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Maintainability (Engineering) -- Mathematical models.,Reliability (Engineering) -- Statistical methods.,Systems availability -- Mathematical models.
رده :
TA169
.
Y593
9999
227. Fluid-structure interaction :
پدیدآورنده : Jean-François Sigrist, DCNS Research, France
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Finite element method.,Fluid-structure interaction.
رده :
TA357
.
5
.
F58
228. Food process modeling and control :
پدیدآورنده : Mustafa Özilgen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Chemical engineering-- Mathematical models.,Food-- Analysis-- Mathematical models.,Food industry and trade-- Quality control-- Mathematical models.,Aliments-- Analyse-- Modèles mathématiques.,Chemical engineering-- Mathematical models.,Commande de processus chimiques-- Modèles mathématiques.,Industrie agro-alimentaire-- Modèles mathématiques.,Lebensmittelverarbeitung,Mathematisches Modell,TRANSPORT.
رده :
TX545
.
O95
1998
229. Forced migration, human rights and security /
پدیدآورنده : edited by Jane McAd
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
230. Formal methods in systems engineering
پدیدآورنده : ed. by Peter Ryan and Chris Sennett.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraische Spezifikation,Mathematische Methode,Systementwicklung
رده :
QA76
.
76
.
D47
E339
1993
231. Formal modeling :
پدیدآورنده : Gul Agha, Olivier Danvy, José Meseguer. (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification,Formal methods (Computer science),Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
رده :
QA76
.
9
.
F67
F67
2011
232. Foundations of software science and computation structures :
پدیدآورنده : FOSSACS 2013 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Frank Pfenning (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logics and Meanings of Programs.,Programming Languages, Compilers, Interpreters.,Software engineering.
233. Front-end vision and multi-scale image analysis :
پدیدآورنده : by Bart M. ter Haar Romeny
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biomedical engineering,Computer vision,Image analysis-- Mathematical models,Image processing-- Mathematical models
رده :
R856
.
H33
2003
234. Frontiers of assembly and manufacturing :
پدیدآورنده : Sukhan Lee, Raúl Suárez, and Byung-Wook Choi, [editors].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Assembly-line methods, Congresses.,Industrial engineering, Congresses.,Manufacturing processes-- Automation, Congresses.,Assembly-line methods.,Industrial engineering.,Ingénierie.,Manufacturing processes-- Automation.
رده :
TS178
.
4
.
I34
2010
235. Fundamentals of modeling and analyzing engineering systems
پدیدآورنده : Cha, Philip D.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Mathematical models,، System analysis
رده :
TA
342
.
C45
2000
236. Fundamentals of modeling and analyzing engineering systems
پدیدآورنده : Cha, Philip D.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematical models,، System analysis
رده :
TA
342
.
C45
2000
237. Fuzzy Sets in Information Retrieval and Cluster Analysis
پدیدآورنده : by Sadaaki Miyamoto.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
رده :
QA248
.
B973
1990
238. Fuzzy Systems
پدیدآورنده : edited by Hung T. Nguyen, Michio Sugeno.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
239. Gale encyclopedia of world history :
پدیدآورنده : editori
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
240. Game theory for next generation wireless and communication networks :
پدیدآورنده : Zhu Han, Dusit Niyato, Walid Saad, Tamer Başar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Game theory.,Wireless communication systems-- Mathematical models.,Game theory.
رده :
TK5102
.
83
.
H36
2019