1. Algebraic Complexity Theory
پدیدآورنده : by Peter Bürgisser, Michael Clausen, Mohammad Amin Shokrollahi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Combinatorics.,Computer software.,Geometry, Algebraic.,Group theory.,Mathematics.,Matrix theory.
2. Algorithms and Model Formulations in Mathematical Programming
پدیدآورنده : edited by Stein W. Wallace.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer software.,Numerical analysis.
رده :
T57
.
7
E358
1989
3. Algorithms for Continuous Optimization :
پدیدآورنده : edited by Emilio Spedicato.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing.,Information theory.,Mathematics.
رده :
QA402
.
5
E358
1994
4. Algorithms for Parallel Processing
پدیدآورنده : edited by Michael T. Heath, Abhiram Ranade, Robert S. Schreiber.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Combinatorics.,Computer software.,Mathematics.,Numerical analysis.
5. An Introduction to Linear and Nonlinear Finite Element Analysis
پدیدآورنده : by Prem K. Kythe, Dongming Wei.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Differential equations, Partial.,Engineering mathematics.,Engineering.,Mathematics.
6. An introduction to modern econometrics using Stata /
پدیدآورنده : Christopher F. Baum.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Stata.,Stata.,Econometrics-- Computer programs.,Mathematics [MESH],Mathematics.,Software [MESH],Software.,Dataprocessing.,Econometrics-- Computer programs.,Econometrie.,Econométrie.,Logiciels.,Software.,Traitement électronique des données.
رده :
HB141
.
B38
2006
7. Analysis for computer scientists :
پدیدآورنده : Michael Oberguggenberger, Alexander Ostermann ; translated in collaboration with Elisabeth Bradley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Computer science-- Mathematics.,Computers-- Data Processing.,Discrete mathematics.,Mathematics-- Applied.,Mathematics-- Counting & Numeration.,Maths for computer scientists.,Maths for engineers.,Numerical analysis.
رده :
QA76
.
9
.
M35
8. Applied integer programming
پدیدآورنده : / Der-San Chen, Robert G. Batson, Yu Dang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integer programming
رده :
T57
.
74
.
C454
2010
9. Bayesian Approach to Global Optimization :
پدیدآورنده : by Jonas Mockus.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Information theory.
رده :
QA402
.
5
B956
1989
10. Bioinformatics and phylogenetics :
پدیدآورنده : Tandy Warnow, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Bioinformatics.,Computational biology.,Phylogeny.,Bioinformatics.,Computational biology.,Phylogeny.
رده :
QH324
.
2
11. Building and solving mathematical programming models in engineering and science /
پدیدآورنده : Enrique Castillo [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Engineering models,Programming (Mathematics)
رده :
T57
.
7
.
B85
2001
12. Complex surveys :
پدیدآورنده : Thomas Lumley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Mathematical statistics-- Data processing.,R (Computer program language),Data Collection.,Statistics as Topic.,Datenanalyse,Mathematical statistics-- Data processing.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,R,R (Computer program language),Statistik
رده :
QA276
.
45
.
R3
L86
2010eb
13. Computational matter /
پدیدآورنده : Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
رده :
QA76
14. Computer Science and Statistics: Proceedings of the 13th Symposium on the Interface
پدیدآورنده : edited by William F. Eddy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Distribution (Probability theory).,Mathematics.,Statistics.
15. Convexification and Global Optimization in Continuous and Mixed-Integer Nonlinear Programming
پدیدآورنده : by Mohit Tawarmalani, Nikolaos V. Sahinidis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Chemistry.,Discrete groups.,Electronic data processing.,Mathematical optimization.,Mathematics.,Operations research.
16. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
17. Efficient solving of large arithmetic constraint systems with complex Boolean structure :
پدیدآورنده : Christian Herde ; With a foreword by Martin Fränzle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Automatic theorem proving.,Computer science-- Mathematics.,Constraints (Artificial intelligence),Informatique.
رده :
QA76
.
9
.
A96
H47
2011
18. First Leaves: A Tutorial Introduction to Maple V
پدیدآورنده : by Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet, Benton L. Leong, Michael B. Monagan, Stephen M. Watt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Mathematics.
19. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
20. Fuzzy relational calculus :
پدیدآورنده : Ketty Peeva, Yordan Kyosev.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fuzzy mathematics.,Fuzzy relational calculus.,Fuzzy mathematics.,Fuzzy relational calculus.,MATHEMATICS-- Set Theory.
رده :
QA248
.
P36
2004eb
