1101. Lectures on discrete mathematics for computer science
پدیدآورنده: Khoussainov, Bakhadyr, 1691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Textbooks ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35K46
1102. lectures on numerical methods in bifurcation problems
پدیدآورنده: Keller, Herbert Bishop
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics,، Bifurcation theory
رده :
QA
3
.
T3
no
.
79
1103. Level Set and PDE Based Reconstruction Methods in Imagin
پدیدآورنده: / by Martin Burger, Andrea C.G. Mennucci, Stanley Osher, Martin Rumpf
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer vision,Differential equations, partial,Computer science, Mathematics,Electronic books
رده :
E-BOOK
1104. Linear Algebra
پدیدآورنده: by Harold M. Edwards.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Economics.,Engineering mathematics.,Mathematics.,Matrix theory.
1105. Linear Algebra and Analytic Geometry for Physical Sciences /
پدیدآورنده: Giovanni Landi, Alessandro Zampini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Computer science / Mathematics.,Geometry.,Linear and Multilinear Algebras, Matrix Theory.,Math Applications in Computer Science.,Mathematical and Computational Engineering.,Mathematical Applications in the Physical Sciences.,Mathematical Methods in Physics.,Mathematical physics.,Matrix theory.,Physics.
رده :
QC5
.
53
1106. Linear Algebra for Large Scale and Real-Time Applications
پدیدآورنده: edited by Marc S. Moonen, Gene H. Golub, Bart L. R. Moor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Mathematics.,Systems theory.
1107. Linear Difference Equations with Discrete Transform Methods
پدیدآورنده: by Abdul J. Jerri.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics.,Functional equations.,Integral transforms.,Mathematics.
1108. Linear algebra and probability for computer science applications /
پدیدآورنده: Ernest Davis
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebras, Linear,Computer science-- Mathematics,Probabilities
رده :
QA76
.
9
.
M35
D38
2012
1109. Linear algebra for computational sciences and engineering
پدیدآورنده: Neri, Ferrante
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، Algebras, Linear
رده :
QA
76
.
9
.
M35N47
1110. Linear algebra for computational sciences and engineering /
پدیدآورنده: Ferrante Neri.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebras, Linear.,Computer science-- Mathematics.,Engineering mathematics.,Matrix theory.,Algebras, Linear.,Computer science-- Mathematics.,Engineering mathematics.
رده :
QA76
.
9
.
M35
1111. Linear algebra, signal processing, and wavelets - a unified approach :
پدیدآورنده: by Øyvind Ryan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebras, Linear.,Engineering mathematics.,Fourier analysis.,Wavelets (Mathematics),Algebras, Linear.,Computer science.,Engineering mathematics.,Fourier analysis.
رده :
QA184
.
2
.
R83
2019
1112. Linear discrete parabolic problems
پدیدآورنده: Bakaev, Nikolai Yu
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Stability,، Runge-Kutta formulas,، Differential equations,، Computer science -- Mathematics
رده :
QA
871
.
B24L5
1113. Linear logic in computer science
پدیدآورنده: edited by Thomas Ehrhard ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
رده :
QA
9
.
54
.
L563
1114. Lineare Algebra:
پدیدآورنده: von Gerald Farin, Dianne Hansford.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer graphics.,Computer science.,Mathematics.
رده :
QA184
.
V664
2003
1115. Logic Colloquium' 96 :
پدیدآورنده: edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
1116. Logic Functions and Equations
پدیدآورنده: \ Bernd Steinbach , Christian Posthoff
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic.,Computer science -- Mathematics. ,Combinatory logic.,منطق کامپیوتری ,علوم کامپیوتر -- ریاضیات
رده :
E-Book
,
1117. Logic : a brief course
پدیدآورنده: Mundici, Daniele
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Mathematics,، Computer science,، Logic, Symbolic and mathematical
رده :
BC
71
.
L62
2012
1118. Logic: a brief course
پدیدآورنده: Mundici, Daniele
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
رده :
QA
9
.
M86
2012
1119. Logic : a brief course
پدیدآورنده: Mundici, Daniele, 6491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science
رده :
QA
9
.
M86L613
1120. Logic and algebra of specification
پدیدآورنده: edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
