221. Relativistic theory of reactions )model independent methods(
پدیدآورنده : Werle, J
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Nuclear reactions
رده :
QC
794
.
W47
222. Relativistic theory of reactions )model independent methods(
پدیدآورنده : Werle, J.)Jozef(
موضوع : ، Nuclear reactions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
223. Satfurated model theory
پدیدآورنده : Sacks, Gernald E
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Model Theory
رده :
QA
9
.
S313
224. Saturated model theory
پدیدآورنده : Sacks, Gerald E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory
رده :
QA
9
.
S313
225. Saturated model theory
پدیدآورنده : [by] Gerald E. Sacks.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Model theory.,Modèles, Théorie des.,31.02 philosophy and theory of mathematics.,Model theory.,Model theory.,Modèles, Théorie des.,Modelltheorie
رده :
QA9
.
S313
226. Semantics of programming languages and model theory
پدیدآورنده : / edited by Manfred droste and yuri gurevich
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Programming languages (Electronic Computers)-- Semantics
رده :
005
.
131
S471
227. Semantics of programming languages and model theory
پدیدآورنده : edited by Manfred Droste and Yuri Gurevich
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
7
.
S4
228. Semantics of programming languages and model theory
پدیدآورنده :
موضوع : ، Programming languages )Electronic computers(-- Semantics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
229. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده : edited by R. B. Jensen and A. Prestel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Set theory,Congresses ، Model theory
رده :
QA
3
.
L28
Vol
.
872
230. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده : edited by R.B. Jensen and A. Prestel
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Set theory - Congresses,Model theory - Congresses
رده :
QA
.
L28
,
no
3
.
872
231. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده : edited by R.B. Jensen and A. Prestel
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Set theory,Congresses ، Model theory
رده :
QA
248
.
S4
1979
232. Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Set theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
872
233. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده : edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Set theory,Congresses ، Model theory
رده :
QA
1
.
L4
v
.
872
234. Set theory and model thoery: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده : edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Set theory,Model thoery - Congresses
رده :
QA
3
.
L28
no
.
872
235. Signalling theory embedded in the throughput model to exaine the influence of culture upon external auditors' reliance on the internal audit function
پدیدآورنده : Albawwat, Ibrahim Emair
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Business
236. Signs, mind, and reality: a theory of language as the folk model of the world
پدیدآورنده : Shaumyan, Sebastian.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Semiotics,Philosophy ، Language and languages,، Structural linguistics,، Linguistic analysis )Linguistics(
رده :
P
99
.
S462
2006
237. Srinivasan model /-Solow-Turnpike theory for the Robinson
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Turnpike theory (Economics) ;
238. Studies in model theory
پدیدآورنده : Morley, Michael Darwin, 0391-
موضوع : ، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
239. Studies in model theory
پدیدآورنده : Morley, Michael Darwin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Model theory
رده :
QA
9
.
7
.
M67
240. Studies in model theory
پدیدآورنده : MORLEY,MICHAEL DARWIN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MODEL THEORY
رده :
QA
9
.
7
.
S78
