201. Rule technologies : research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
پدیدآورنده : Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Rule-based programming -- Congresses,، Semantic Web -- Congresses
رده :
QA
76
.
76
.
R95
2016
202. SOFSEM '95:
پدیدآورنده : edited by Miroslav Bartosek, Jan Staudek, Jirí Wiedermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Database management.,Software engineering.
203. Search Methodologies :
پدیدآورنده : edited by Edmund K. Burke, Graham Kendall.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Economics.,Electronic data processing.,Operations research.,Economics.,Electronic data processing.,Operations research.
رده :
HD30
.
23
204. Search methodologies :
پدیدآورنده : Edmund K. Burke, Graham Kendall, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Economia.,Informàtica.,Investigació operativa.
205. Search methodologies :
پدیدآورنده : edited by Edmund K. Burke, Graham Kendall.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Decision support systems.,Mathematical optimization.,Search theory.,Décision, Théorie de la.,Optimisation mathématique.,Systèmes d'aide à la décision.,Decision support systems.,Mathematical optimization.,Otimização matemática.,Search theory.,Sistemas de apoio à decisão.
رده :
T58
.
62
206. Second-order sensitivity analysis in mathematical programming
پدیدآورنده : C. Nahum
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Applied sciences,Computer science,Mathematics,Mathematics,Pure sciences
207. Self-adaptive heuristics for evolutionary computation
پدیدآورنده : Kramer, Oliver.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع : ، Evolutionary computation,، Heuristic programming,، Automatic programming )Computer science(,، Computational intelligence
رده :
QA
76
.
618
.
K73
208. Semirings for soft constraint solving and programming
پدیدآورنده : Bistarelli, Stefano, 8691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2962
209. Service-oriented computing :
پدیدآورنده : Eleanna Kafeza, Boualem Benatallah, Fabio Martinelli, Hakim Hacid, Athman Bouguettaya, Hamid Motahari (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Application software.,Computer networks.,Database management.,Operating systems (Computers),Service-oriented architecture (Computer science), Congresses.,Software engineering.,Application software.,Computer networks.,Database management.,Operating systems (Computers),Software engineering.
رده :
TK5105
.
5828
210. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
پدیدآورنده : Gi-Chul Yang [and others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
رده :
TA5
.
G534
2013
211. Stochastic local search :
پدیدآورنده : Holger H. Hoos, Thomas Stützle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Combinatorial analysis.,Stochastic programming.,Algorithmes.,Analyse combinatoire.,Programmation stochastique.,Algorithms.,Combinatória.,Combinatorial analysis.,Heurística.,Inteligência artificial.,MATHEMATICS-- Optimization.,Otimização combinatória.,Stochastic programming.
رده :
T57
.
79
.
H66
2005eb
212. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
پدیدآورنده : edited by Linda C. van der Gaag.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
2013
213. System analysis and modeling :
پدیدآورنده : Ferhat Khendek, Reinhard Gotzhein (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : System analysis, Congresses.,Business & Economics-- Information Management.,Computer hardware.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Software Development & Engineering-- General.,Information architecture.,Software Engineering.,System analysis.
رده :
QA402
.
S26
2018
214. The Art of Modelling Computational Systems :
پدیدآورنده : Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
215. The NURBS Book
پدیدآورنده : by Les Piegl, Wayne Tiller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Computer-aided design.,Spline theory -- Data processing.
رده :
QA224
.
B954
1995
216. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده : Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
217. Theoretical aspects of evolutionary computing
پدیدآورنده : Leila Kallel, Bart Naudts, Alex Rogers (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Biology -- Data processing.,Evolutionary programming (Computer science)
218. Theory and practice of natural computing :
پدیدآورنده : David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
رده :
QA76
.
9
.
A43
219. Trends in constraint programming /
پدیدآورنده : edited by Frederic Benhamou, Narendra Jussien, Barry O'Sullivan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Constraint programming (Computer science)
رده :
QA76
.
612
.
T74
2007
220. Trends in constraint programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Constraint programming (Computer science) ;
