181. Schubert calculus and its applications in combinatorics and representation theory :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Geometry, Algebraic ; Congresses. ;
182. Semantics of data types :
المؤلف: edited by G. Kahn, D.B. MacQueen, and G. Plotkin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.
183. Seminar on Stochastic Analysis, Random Fields and Applications VI
المؤلف: / Robert C. Dalang, Marco Dozzi, Francesco Russo, editors
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Stochastic analysis, Congresses,Random fields, Congresses,Mathematics, Congresses,Distribution (Probability theory), Congresses
رده :
E-BOOK
184. Service life and durability of reinforced concrete structures :
المؤلف: editors, Carmen Andrade, Joost Gulikers, Elisabeth Marie-Victoire.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Reinforced concrete construction-- Maintenance and repair, Congresses.,Reinforced concrete-- Corrosion, Congresses.,Building construction & materials.,Materials science.,Materials.,Mechanics of solids.,Mechanics, Applied.,Technology & Engineering-- Civil-- General.,Technology & Engineering-- Material Science.,Technology & Engineering-- Mechanical.
رده :
TA683
.
2
.
I58
2016
185. Singularities in PDE and the calculus of variations
المؤلف: Stanley Alama, Lia Bronsard, Peter J. Sternberg, editors
المکتبة: (طهران)
موضوع: Congresses ، Singularities )Mathematics(,Congresses ، Differential equations, Partial,Congresses ، Calculus of variations
رده :
QC
20
.
7
.
S54S56
186. Smart computing and communication :
المؤلف: Meikang Qiu (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Cloud computing, Congresses.,Computer networks, Congresses.,Computer security, Congresses.,Cloud computing.,Computer networks.,Computer security.
رده :
QA76
.
585
187. Sparse grids and applications :
المؤلف: Jochen Garcke, Dirk Pflüger, Clayton G. Webster, Guannan Zhang, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Numerical analysis, Congresses.,Numerical grid generation (Numerical analysis), Congresses.,Sparse matrices, Congresses.,Computer modelling & simulation.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Differential calculus & equations.,Mathematical theory of computation.,Numerical analysis.,Numerical analysis.,Numerical grid generation (Numerical analysis),Sparse matrices.
رده :
QA188
188. Stochastic calculus in applications : Proceedings of the Cambridge Symposium, 1987
المؤلف: J. R. Norris )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Stochastic analysis
رده :
QA
274
.
2
.
S76
1988
189. Stochastic partial differential equations and related fields :
المؤلف: Andreas Eberle, Martin Grothaus, Walter Hoh, Moritz Kassmann, Wilhelm Stannat, Gerald Trutnau, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Stochastic partial differential equations, Congresses.,Mathematical Applications in the Physical Sciences.,Differential calculus & equations.,Mathematical modelling.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Probability & statistics.,Stochastic partial differential equations.
رده :
QA274
.
25
190. Superstrings'87: proceedings of the Trieste Spring School, 1-11 April 1987
المؤلف: edited by L. Alvarez-Gaume...]et al.[
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، String models- Congresses,، Superstring theories- Congresses
رده :
QC
794
.
6
.
S85
S868
191. Surface reactive peptides and polymers :
المؤلف: C. Steven Sikes, editor, A.P. Wheeler, editor
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Biomineralization, Congresses,Peptides-- Surfaces, Congresses,Phosphoproteins-- Surfaces, Congresses,Proteins-- Surfaces, Congresses,Surface chemistry, Congresses
رده :
QP551
.
S915
1991
192. Symmetries, differential equations and applications :
المؤلف: Victor G. Kac, Peter J. Olver, Pavel Winternitz, Teoman Özer, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Lie groups, Congresses.,Computational Mathematics and Numerical Analysis.,Difference and Functional Equations.,Dynamical Systems and Ergodic Theory.,Ordinary Differential Equations.,Theoretical, Mathematical and Computational Physics.,Topological Groups, Lie Groups.,Differential calculus & equations.,Groups & group theory.,Lie groups.,Mathematical physics.,MATHEMATICS-- Algebra-- Intermediate.,Nonlinear science.,Numerical analysis.
رده :
QA387
193. The Chinese calculus of deterrence: India and Indochina
المؤلف: [by] Allen S. Whiting
المکتبة: كتابخانه دانشكده حقوق و علوم سیاسی دانشگاه تهران (طهران)
موضوع: China-- Military policy,Deterrence (strategy)-- Congresses
رده :
UA835
.
W45
194. Theoretical aspects of computing -- ICTAC 2018 :
المؤلف: Bernd Fischer, Tarmo Uustalu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
195. Theoretical aspects of computing -- ICTAC 2013 :
المؤلف: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
196. Theoretical computer science :
المؤلف: edited by Peter Deussen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science -- Congresses.,Computer science.
197. Theory and applications of satisfiability testing -- SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
المؤلف: Armin Biere, Carla P. Gomes )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
4121
198. Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
المؤلف: Fahiem Bacchus, Toby Walsh )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
3569
199. Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
المؤلف: Holger H. Hoos, David G. Mitchell )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Propositional calculus,Congresses ، Computer algorithms,Congresses ، Decision making
رده :
QA
76
.
L28
Vol
.
3542
200. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
المؤلف: Enrico Giunchiglia, Armando Tacchella )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2919
