161. <An> introduction to Gödel's Theorems
پدیدآورنده: \ Peter Smith
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
162. An introduction to Ramsey theory :
پدیدآورنده: Matthew Katz, Jan Reimann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial analysis.,Ramsey theory.,Combinatorial analysis.,Combinatorics -- Extremal combinatorics -- Ramsey theory.,Mathematical logic and foundations -- Computability and recursion theory -- Recursive functions and relations, subrecursive hierarchies.,Mathematical logic and foundations -- General logic -- Classical first-order logic.,Mathematical logic and foundations -- General logic -- Decidability of theories and sets of sentences.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.).,Mathematical logic and foundations -- Nonstandard models -- Nonstandard models of arithmetic.,Mathematical logic and foundations -- Set theory -- Ordinal and cardinal numbers.,Ramsey theory.
رده :
QA165
.
K38
2018
163. An introduction to SAGE programming
پدیدآورنده: \ Razvan A. Mezei, Lenoir-Rhyne University, Donald & Helen Schort School of Mathematics and Computing Sciences, Hickory, NC, USA.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics-- Data processing.,Numerical analysis-- Data processing.,Computer programming.,ریاضیات -- داده‌پردازی
رده :
QA76
.
95
.
M486
2016
E-Book
,
164. An introduction to SAGE programming :
پدیدآورنده: Razvan A. Mezei
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: SageMath.,Computer programming.,Mathematics-- Data processing.,Numerical analysis-- Data processing.
رده :
QA76
.
95
165. An introduction to functional programming through Lambda calculus /
پدیدآورنده: Greg Michaelson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Functional programming (Computer science),Lambda calculus.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Functional programming (Computer science),Lambda calculus.,MATHEMATICS-- General.
رده :
QA76
.
6
.
M4854
2011eb
166. An introduction to mathematical reasoning :
پدیدآورنده: Peter J. Eccles
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Proof theory
رده :
QA9
.
54
.
E23
1997
167. An introduction to modern mathematics
پدیدآورنده: SLOAN,ROBERT WESLEY
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ARITHMETIC-FOUNDATIONS , ALGEBRA
رده :
QA
248
.
S58
168. An introduction to ultrametric summability theory
پدیدآورنده: Natarajan, P. N., P.N. Natarajan
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Summability theory,، Mathematics,، Sequences, Series, Summability,، Analysis
رده :
QA295
169. An invitation to arithmetic geometry
پدیدآورنده: Lorenzini, Dino, 2691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Arithmetical algebraic geometry
رده :
QA
242
.
5
.
L6
170. An irregular mind
پدیدآورنده: / Imre Baaraany, Jaozsef Solymosi (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Szemeraedi, E., Bibliography,Combinatorial analysis,Number theory,Graph theory
رده :
QA164
.
I774
2010
171. An open door to number theory /
پدیدآورنده: Duff Campbell.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Number theory, Textbooks.,MATHEMATICS-- Algebra-- Intermediate.,Number theory-- Elementary number theory-- Congruences; primitive roots; residue systems.,Number theory-- Elementary number theory-- Continued fractions.,Number theory-- Elementary number theory-- Factorization; primality.,Number theory-- Elementary number theory-- Multiplicative structure; Euclidean algorithm; greatest common divisors.,Number theory-- Elementary number theory-- Power residues, reciprocity.,Number theory-- Elementary number theory-- Primes.,Number theory-- Instructional exposition (textbooks, tutorial papers, etc.),Number theory.
رده :
QA241
172. Analysis and delign of parallel algorithms: arithmetic and matrix problems
پدیدآورنده: Lakshmivarahan, S.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Parallel programming )Computer science(,، Computer algorithms,Programming ، Supercomputers
رده :
QA
76
.
642
.
L35
1990
173. Analysis and design of parallel algorithms : arithmetic and matrix problems
پدیدآورنده: Lakshmivarahan, S.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Parallel programming )Computer science(,، Computer algorithms,، Supercomputers- Programming
رده :
QA
76
.
642
.
L35
1990
174. Analysis and design of parallel algorithms : arithmetic and matrix problems
پدیدآورنده: Lakshmivarahan, S
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Parallel programming )Computer science(,، Computer algorithms,Programming ، Supercomputers
رده :
QA
76
.
642
.
L35
1990
175. Analysis and design of parallel algorithms : arithmetic and matrix problems
پدیدآورنده: Lakshmivarahan, S.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Parallel programming )Computer science( , Computer algorithms , Supercomputers - Programming
رده :
QA
76
.
642
.
L35
1990
176. Analysis of arithmetic for mathematics teaching /
پدیدآورنده: edited by Gaea Leinhardt, Ralph Putnam, Rosemary A. Hattrup
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Arithmetic-- Study and teaching
رده :
QA135
.
5
.
A54
1992
177. Analytic arithmetic in algebraic number fields
پدیدآورنده: Moroz, B.Z.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، 7 01/1
رده :
QA
3
.
L28
no
.
1205
178. Analytic arithmetic in algebraic number fields
پدیدآورنده: Moroz, B. Z.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Algebraic number theory
رده :
QA
3
.
L28
Vol
.
1205
179. Analytic arithmetic in algebraic number fields
پدیدآورنده: Moroz, B. Z.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Algebraic number theory
رده :
QA
3
.
L28
no
.
1205
180. Analytic arithmetic in algebraic number fields
پدیدآورنده: Moroz, B. Z.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Algebraic number theory
رده :
QA
247
.
M6
1986
