121. Freyd's models for the independence of the axiom of choice /
پدیدآورنده : Andreas Blass and Andre Scedrov
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Axiom of choice,Forcing (Model theory),Toposes
رده :
QA248
.
A57
no
.
404
122. Fundamentals of mathematical logic /
پدیدآورنده : Peter G. Hinman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005
123. Fundamentals of stability theory
پدیدآورنده : Baldwin, John T.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory,، Stability
رده :
QA
9
.
7
.
B35
1988
124. Fundamentals of stability theory
پدیدآورنده : / John T. Baldwin
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Model theory,Stability
رده :
QA9
.
7
.
B35
2016
125. Fundamentals of stability theory
پدیدآورنده : Baldwin, John T.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory,، Stability
رده :
QA
9
.
7
.
B35
1988
126. Generative complexity in algebra
پدیدآورنده : Berman, Joel, 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Ordered algebraic structures,، Model theory,، Algebraic varieties -- Classification theory
رده :
QA
3
.
A475
no
.
828
127. Geometric stability theory /
پدیدآورنده : Anand Pillay
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Model theory
رده :
QA9
.
7
.
P54
1996
128. Geometric stability theory
پدیدآورنده : Pillay, Anand
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Model theory
رده :
QA
9
.
7
.
P54
129. Groups and model theory : in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011, Conference Center "Die Wolfsburg", Mulheim an der Ruhr, Germany
پدیدآورنده : Lutz Strungmann ... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Group theory,Congresses ، Model theory
رده :
QA
174
.
G775
130. Groups of finite Morley rank
پدیدآورنده : Borovik, Alexandre.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Model theory,، Finite groups
رده :
QA
9
.
7
.
B67
1994
131. Groups of finite Morley rank
پدیدآورنده : Alexandre Borovik and Ali Nesin,Title,Series
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Model theory,Finite groups
رده :
QA
.
B67
9
.
7
1994
132. Groups of finite Morley rank
پدیدآورنده : Borovik, Alexandre.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Model theory , Finite groups
رده :
QA
9
.
7
.
B67
1994
133. Groups of finite morley rank
پدیدآورنده : / Alexandre borovik, Ali Nesin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Model theory,Finite groups
رده :
QA9
.
7
.
B67
1994
134. Groups of finite morley rank
پدیدآورنده : Borovik, Alwxander
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Model theory,، Finite groups
رده :
QA
9
.
7
.
B67
135. Groups of finite Morley rank
پدیدآورنده : Borovik, Alexandre.
موضوع : ، Model theory,، Finite groups
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
136. Heavy-tail phenomena :
پدیدآورنده : / Sidney I. Resnick
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Extreme value theory , Mathematical models,Distribution (Probability theory) , Mathematical models,Finance , Mathematical models,Heavy tail analysis
رده :
E-BOOK
137. Heavy-tail phenomena :
پدیدآورنده : Sidney I. Resnick
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Distribution (Probability theory)-- Mathematical models,Extreme value theory-- Mathematical models,Finance-- Mathematical models
رده :
QA273
.
6
.
R47
2007
138. High Volatility,Thick tails and Extreme Value Theory in Value-at-Risk estimation
پدیدآورنده :
کتابخانه: کتابخانه پژوهشکده بیمه (تهران)
موضوع : Value at risk,Extreme value theory,GARCH model
139. High Volatility,Thick tails and Extreme Value Theory in Value-at-Risk estimation
پدیدآورنده : /زهرا ماجدی
کتابخانه: کتابخانه پژوهشکده بیمه (تهران)
موضوع : Value at risk,Extreme value theory,GARCH model
140. High energy phenomenology
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Particles )Nuclear physics(- Congresses,، Phenomenological theory )Physics(- Congresses,، Standard model )Nuclear physics(- Congresses,، Quantum chromodynamics- Congresses,، Hadrons- Congresses
رده :
QC
793
.
H5
1994