201. Parallel algorithms for numerical linear algebra on a shared memory multiprocessor
پدیدآورنده: Kaya, Dogan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Applied mathematics
202. Parallel processing and applied mathematics :
پدیدآورنده: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
203. Parameterized algorithms /
پدیدآورنده: Marek Cygan, Fedor V. Fomin, Łukasz Kowalik, Daniel Lokshtanov, Dániel Marx, Marcin Pilipczuk, Michał Pilipczuk, Saket Saurabh
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer science-- Mathematics.,Parameter estimation.,Algorithms.,Computer Science.
رده :
QA276
.
8
.
P37
2015eb
204. Partial Differential Equations :
پدیدآورنده: by Richard Bellman, George Adomian.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Analysis.,Global analysis (Mathematics)
رده :
QA374
.
B975
1985
205. Physical Models and Equilibrium Methods in Programming and Economics
پدیدآورنده: by B.S. Razumikhin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematical models.,Mathematics.
206. Practical foundations for programming languages /
پدیدآورنده: Robert Harper, Carnegie Mellon University.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers),Programming languages (Electronic computers)
رده :
QA76
.
7
.
H377
2016
207. Probability via Expectation
پدیدآورنده: by Peter Whittle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Distribution (Probability theory).,Statistics.
208. Problem solving with C++ :
پدیدآورنده: Walter Savitch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: C++ (Computer program language),C++,C++ (Computer program language)
رده :
QA76
.
73
.
C153
S29
2003
209. Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012). Volume 5
پدیدآورنده: Yuhang Yang, Maode Ma, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer networks -- Congresses.,TECHNOLOGY & ENGINEERING -- Telecommunications.,Telecommunication systems -- Congresses.
210. Quantitative assessments of distributed systems :
پدیدآورنده: edited by Dario Bruneo and Salvatore Distefano
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer systems-- Evaluation-- Mathematics,Electronic data processing-- Distributed processing-- Mathematical models.,Quantitative research.,System analysis-- Mathematics.
رده :
QA76
.
9
.
E94
211. Quasiconvex Optimization and Location Theory
پدیدآورنده: by Jaoquim António Santos Gromicho.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Computer science-- Mathematics.,Econometrics.,Information theory.,Mathematical optimization.,Mathematics.
212. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
213. Recent Mathematical Methods in Dynamic Programming :
پدیدآورنده: Italo Capuzzo Dolcetta
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
214. Recent mathematical methods in dynamic programming
پدیدآورنده: / edited by I. Capuzzo Dolcetta, W.H. Fleming, and T. Zolezzi
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Dynamic programming -- Congresses,Control theory -- Congresses
رده :
T
57
.
83
.
R4
1984
215. Recent mathematical methods in dynamic programming : Proceedings of the Conference held in Rome, Italy, March 26-28, 1984
پدیدآورنده: edited by I. Capuzzo Dolcetta, W. H. Fleming, and T. Zolezzi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Dynamic programming,Congresses ، Control theory
رده :
QA
3
.
L28
Vol
.
1119
216. Recent mathematical methods in dynamic programming: proceedings of the conference held in Roma, Italy, March 26-28, 1984
پدیدآورنده: edited by I. Capuzzo Doicetta, W.H. Fleming and T. Zolezzi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Dynamic programming,Congresses ، Control theory
رده :
QA
3
.
L28
no
.
1119
217. Recent mathematical methods in dynamic programming : proceedings of the conference held in Rome, Italy, March 26-28, 1984
پدیدآورنده: edited by I. Capuzzo Dolcetta, W.H. Fleming, and T. Zolezzi
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Dynamic programming,Congresses ، Control theory
رده :
QA
1
.
L4
v
.
1119
218. Recent mathematical methods in dynamic programming. proceedings of the conference held in Rome, Italy, March 26-28, 1984
پدیدآورنده: Edited by I. Capuzzo Dolcetta, W.H. Fleming, and T. Zolezzi
کتابخانه: کتابخانه مرکزی و مرکز اسناد و اطلاع رسانی دانشگاه هرمزگان (هرمزگان)
موضوع: ، Dynamic programming, Congresses,، Control theory, Congresses
رده :
QA
3
.
R34
219. Risk Theory
پدیدآورنده: by Robert Eric Beard, Teivo Pentikäinen, Erkki Pesonen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Science (General).
