101. Computational quantum chemistry: an interactive guide to basis set theory
پدیدآورنده : Quinn, Charles M.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Quantum chemistry- Data processing,، Gaussian basis sets )Quantum mechanics(
رده :
QD
462
.
6
.
D38
Q35
102. Computational quantum chemistry: an interactive guide to basis set theory
پدیدآورنده : Quinn, Charles M
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Quantum chemistry-- Data processing,، Gaussian basis sets )Quantum mechanics(
رده :
QD
462
.
6
.
D38
.
Q35
2002
103. Concepts in Set Theory
پدیدآورنده : / Mofidul Islam
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Set Theory,نظریه مجموعه ها
رده :
QA248
.
I8C6
2013
104. Connected Dominating Set: Theory and Application
پدیدآورنده : / by Ding-Zhu Du, Peng-Jun Wan
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Computer Communication Networks,Computer software,Combinatorics,Mathematical optimization,Electronic books
رده :
E-BOOK
105. Connected Dominating Set: Theory and Applications
پدیدآورنده : / Jun Wan-Zhu Du, Peng-Ding
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
106. Connected dominating set : theory and applications
پدیدآورنده : / Jun Wan -Dingzhu Du
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
107. Connected dominating set : theory and applications
پدیدآورنده : Du, Dingzhu, 8491-
کتابخانه: (طهران)
موضوع : ، Domination )Graph theory(,، Set theory
رده :
QA
166
.
D82C6
108. Defending the axioms : on the philosophical foundations of set theory
پدیدآورنده : Maddy, Penelope
کتابخانه: (طهران)
موضوع : ، Axiomatic set theory,Philosophy ، Axiomatic set theory
رده :
QA
248
.
M23D4
109. Descriptive set theoretic methods in automata theory : decidability and topological complexity
پدیدآورنده : Skrzypczak, Michal
کتابخانه: (طهران)
موضوع : ، Descriptive set theory,، Machine theory
رده :
QA
76
.
L28
Vol
.
9802
110. Descriptive set theory
پدیدآورنده : / [by] Yiannis N. Moschovakis
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
111. Descriptive set theory
پدیدآورنده : Moschovakis, Yiannis Nicholas, 8391-
کتابخانه: (طهران)
موضوع : ، Descriptive set theory
رده :
QA
248
.
M675D4
2009
112. Descriptive set theory /
پدیدآورنده : Yiannis N. Moschovakis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Descriptive set theory.,Ensembles, Théorie des.,Descriptive set theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Verzamelingen (wiskunde)
رده :
QA248
.
M66
1980eb
113. Descriptive set theory
پدیدآورنده : Moschovakis, Yiannis Nicholas, 8391-
کتابخانه: (طهران)
موضوع : ، Descriptive set theory
رده :
QA
248
.
M675D4
114. Descriptive set theory and definable forcing
پدیدآورنده : Zapletal, Jind'rich, 9691-
کتابخانه: (طهران)
موضوع : ، Descriptive set theory,، Forcing )Model theory(,، Continuum hypothesis,، Borel sets
رده :
QA
3
.
A475
no
.
793
115. Descriptive set theory and dynamical systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Differentiable dynamical systems,Congresses ، Set theory
رده :
QA
614
.
8
.
D47
2000
116. Descriptive set theory and dynamical systems
پدیدآورنده : edited by M. Foreman ... ]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Differentiable dynamical systems,Congresses ، Set theory
رده :
QA
614
.
8
.
D469
117. Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way
پدیدآورنده : Miller, Arnold W., 0591-
کتابخانه: (طهران)
موضوع : ، Set theory,، Forcing )Model theory(
رده :
QA
9
.
A1L44
Vol
.
4
118. Descriptive set theory and the structure of sets of uniqueness
پدیدآورنده : Kechris, Alexander S., 6491-
کتابخانه: (طهران)
موضوع : ، Descriptive set theory
رده :
QA
248
.
K43
1987
119. Differential inclusions : set-valued maps and viability theory
پدیدآورنده : Aubin, Jean Pierre.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Differential inclusions,، Set-valued maps,، Feedback control systems
رده :
QA
371
.
A93
1984
120. Differential inclusions: set-valued maps and viability theory
پدیدآورنده : Aubin, Jean-Pierre
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Differential inclusions,، Set-valued maps,، Feedback control systems
رده :
QA
371
.
A93
1984
