81. Handbook of sinc numerical methods
پدیدآورنده : / Frank Stenger
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Galerkin methods.,Differential equations--Numerical solutions
رده :
QA372
.
S8195
2011
82. Handbook of sinc numerical methods /
پدیدآورنده : Frank Stenger
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Differential equations-- Numerical solutions,Galerkin methods
رده :
QA372
.
S8195
2011
83. Introduction to Mathematica for physicists
پدیدآورنده : Grozin, A. G., Andrey Grozin
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Mathematica )Computer file(,Computer programs ، Mathematical physics,، Physics,، Numerical and Computational Physics,، Computer Applications in Chemistry,، Particle and Nuclear Physics,، Mathematical Applications in the Physical Sciences
رده :
QC20
.
7
.
E4
G76
2013
84. Introduction to Mathematica® for physicists /
پدیدآورنده : Andrey Grozin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematica (Computer file),Mathematica (Computer file),Mathematical physics-- Computer programs.,Astronomie.,Mathematical physics-- Computer programs.,Physique.
رده :
QC20
.
7
.
E4
G76
2013
85. Introduction to Mathematicaض for physicists
پدیدآورنده : / Andrey Grozin
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematical physics, Computer programs,Physics,Numerical and Computational Physics,Computer Applications in Chemistry,Particle and Nuclear Physics,Mathematical Applications in the Physical Sciences
رده :
E-BOOK
86. Introduction to time series and forecasting /
پدیدآورنده : Peter J. Brockwell, Richard A. Davis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Distribution (Probability theory),Mathematical statistics.,Time-series analysis.,Distribution (Probability theory),Mathematical statistics.,Time-series analysis.
رده :
QA280
87. Lindenmayer Systems :
پدیدآورنده : edited by Grzegorz Rozenberg, Arto Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.,Translators (Computer programs)
رده :
T385
.
E358
1992
88. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by V. Wiktor Marek, Anil Nerode, M. Truszczyński.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
89. Logic and Algebra of Specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Logic design.
رده :
QA76
.
9
.
M35
E358
1993
90. Logic of Programming and Calculi of Discrete Design :
پدیدآورنده : edited by Manfred Broy.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
9
.
L63
E358
1987
91. Logical foundations for cognitive agents :
پدیدآورنده : Hector J. Levesque, Fiora Pirri (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer logic.,Intelligent agents (Computer software)
رده :
QA76
.
9
.
L63
H438
1999
92. Logical foundations of computer science :
پدیدآورنده : eds.: Anil Nerode ...
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
93. Logics of Programs :
پدیدآورنده : by E. Clarke, D. Kozen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
94. Managing the unmanageable : systematic downloading of electronic resources by library users / Gayle Baker, Carol Tenopir -- Library/vendor relations : the APA experience / Linda Beebe -- Managing customer relationships : a book vendor point-of-
پدیدآورنده : Sam Brooks, David H. Carlson, editors.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
95. Maple V:
پدیدآورنده : Robert J. Lopez, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.
96. Maple V:
پدیدآورنده : Robert J. Lopez, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computerwiskunde.,Maple V.,Mathematics -- Congresses -- Data processing.
97. Math adventures with Python :
پدیدآورنده : Peter Farrell.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Computer-assisted instruction.,Python (Computer program language),COMPUTERS-- Programming Languages-- Python.,Mathematics-- Computer-assisted instruction.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Python (Computer program language)
رده :
QA20
.
C65
F37
2019
98. Mathematical Foundations of Computer Science 1977 :
پدیدآورنده : by J. Gruska.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.
رده :
QA267
.
B954
1977
99. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
100. Mathematical Foundations of Computer Science 1994 :
پدیدآورنده : edited by Igor Prívara, Branislav Rovan, Peter Ruzička.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computers.,Software engineering.
رده :
QA76
.
9
.
M35
E358
1994
