161. Optimal control : calculus of variations, optimal control theory, and numerical methods
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Calculus of variations-- Congresses,، Control theory-- Congresses,، Mathematical optimization-- Congresses
رده :
QA
315
.
O68
1993
162. Optimal control: proceedings of the conference on optimal control and variational calculus Oberwolfach West - Germany, June 15-21, 1986
المؤلف: edited by R. Bulirsch... ]et al.[
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Mathematical optimization,Congresses ، Control theory
رده :
QA
402
.
5
.
O68
1987
163. Paraconsistency :
المؤلف: edited by Walter A. Carnielli, Marcelo E. Coniglio, Itala M.L. D'Ottaviano.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Inconsistency (Logic), Congresses.,Inconsistency (Logic),PHILOSOPHY-- Logic.
رده :
BC199
.
I45
W67
2002eb
164. Phase transformations and material instabilities in solids /
المؤلف: edited by Morton E. Gurtin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Phase transformations (Statistical physics), Congresses.,Solids-- Surfaces, Congresses.
رده :
QC176
.
8
.
P45
P43
1984
165. Proceedings of the International Conference on Stochastic Analysis and Applications, Hammamet, 2001
المؤلف: edited by Sergio Albeverio, Anne Boutet de Monvel, and Habib Ouerdiane.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Stochastic analysis -- Congresses.,Stochastic analysis.
رده :
QA274
.
2
E358
2004
166. Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012). Volume 5
المؤلف: Yuhang Yang, Maode Ma, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks -- Congresses.,TECHNOLOGY & ENGINEERING -- Telecommunications.,Telecommunication systems -- Congresses.
167. Programming languages and systems :
المؤلف: Amal Ahmed (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Computer programming.,Computer science.,Computers / Programming.,Programming languages (Electronic computers)
رده :
QA76
.
6
168. Progress in industrial mathematics at ECMI 2016 /
المؤلف: Peregrina Quintela, Patricia Barral, Dolores Gómez, Francisco J. Pena, Jerónimo Rodríguez, Pilar Salgado, Miguel E. Vázquez-Méndez, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Engineering mathematics, Congresses.,Industrial engineering-- Mathematics, Congresses.,Applied mathematics.,Calculus & mathematical analysis.,Engineering mathematics.,Industrial engineering-- Mathematics.,Numerical analysis.,Optimization.,Probability & statistics.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA329
169. Proof and computation
المؤلف: edited by Helmut Schwichtenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
170. Pseudo-differential operators :
المؤلف: Luigi Rodino, Man W. Wong, Hongmei Zhu, Editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Pseudodifferential operators, Congresses.,MATHEMATICS-- Functional Analysis.,Pseudodifferential operators.
رده :
QA329
.
7
.
P74
2011
171. Pseudo-differential operators and related topics /
المؤلف: Paolo Boggiatto [and others], editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Differential equations, Hyperbolic, Congresses.,Fourier analysis, Congresses.,Functional analysis, Congresses.,Geometry, Differential, Congresses.,Global analysis (Mathematics), Congresses.,Pseudodifferential operators, Congresses.,Spectral theory (Mathematics), Congresses.,Stochastic processes, Congresses.,Differential equations, Hyperbolic.,Differential equations, Hyperbolic.,Differential geometry.,Fourier analysis.,Fourier analysis.,Functional analysis.,Functional analysis.,Geometry, Differential.,Global analysis (Mathematics),Global analysis (Mathematics),MATHEMATICS-- Functional Analysis.,Pseudodifferential operators.,Pseudodifferential operators.,Spectral theory (Mathematics),Spectral theory (Mathematics),Stochastic processes.,Stochastic processes.
رده :
QA329
.
7
.
I58
2004
172. Quantum information and computing /
المؤلف: editors, L. Accardi, M. Ohya and N. Watanabe.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Quantum computers, Congresses.,Quantum theory, Congresses.,Quantum computers.,Quantum theory.
رده :
QA76
.
889
.
Q8484
2006eb
173. Recent advances in the study of dental calculus
المؤلف: Edited by J.M. ten Cate; organized by the Research Group on Surface and Colloid Phenomena in the Oral Cavity; under the auspices of the Council of Europe
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع: Dental Calculus -- Etiology,Dental Calculus -- Prevention & control,Dental Caries,Congresses
رده :
WU
174. Research and development in intelligent systems XVII :
المؤلف: Max Bramer, Alun Preece and Frans Coenen (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Expert systems (Computer science),Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
E95
M393
2001
175. Reversible computation :
المؤلف: Robert Glück, Tetsuo Yokoyama (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
176. Rewriting techniques and applications :
المؤلف: N. Dershowitz, ed.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
177. Satisfiability problem
المؤلف: / Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Propositional calculus- Congresses,Decision making- Congresses,Computer algorithms- Congresses,Computer science- Congresses
رده :
QA9
.
3
.
S38
1997
178. Satisfiability problem :
المؤلف: Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms, Congresses,Computer science, Congresses,Decision making, Congresses,Propositional calculus, Congresses
رده :
QA9
.
3
.
S38
1997
179. Scattering theory and biomedical engineering modelling and applications :
المؤلف: editors, G. Dassios [and others].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Biomedical engineering-- Mathematical models, Congresses.,Scattering (Mathematics), Congresses.,Biomedical Engineering, methods, Congresses.,Mathematics, Congresses.,Models, Theoretical, Congresses.,Biomedical engineering-- Mathematical models.,MEDICAL-- Allied Health Services-- Medical Technology.,MEDICAL-- Biotechnology.,MEDICAL-- Family & General Practice.,MEDICAL-- Lasers in Medicine.,Scattering (Mathematics),TECHNOLOGY & ENGINEERING-- Biomedical.
رده :
R853
.
M3
180. Schaum's Outline of Theory and Problems of Calculus of Finite Differences and Difference Equations
المؤلف: / by Murray R. Spiegel
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Difference equations -- Congresses
رده :
QA
431
.
S62
