81. Genetic and Evolutionary Computation - GECCO 2003.
پدیدآورنده : Erick Cant-︢Paz
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Ebooks -- UML.
82. Global optimization and constraint satisfaction
پدیدآورنده : / Christophe Jermann, Arnold Neumaier, Djamila Sam (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Constraint programming (Computer science) Congresses,Mathematical optimization Congresses
رده :
QA76
.
612
.
C62
2003
83. Global optimization and constraint satisfaction
پدیدآورنده : / Christophe Jermann, Arnold Neumaier, Djamila Sam (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Constraint programming (Computer science) Congresses,Mathematical optimization Congresses
رده :
QA76
.
612
.
C62
2003
84. Global optimization and constraint satisfaction : Second International Workshop, COCOS 2003, Lausanne, Switzerland, November 18-21, 2003 : revised selected papers
پدیدآورنده : Christophe Jermann, Arnold Neumaier, Djamila Sam )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Mathematical optimization
رده :
QA
76
.
L28
Vol
.
3478
85. Global optimization and constraint satisfaction : first International Workshop Global Constraint Optimization and Constraint Satisfaction, COCOS 2002, Valbonne-Sophia Antipolis, France, October 2002 : revised selected papers
پدیدآورنده : Christian Bliek, Christophe Jermann, Arnold Neumaier )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Mathematical optimization
رده :
QA
76
.
L28
Vol
.
2861
86. Grammatical inference:
پدیدآورنده : Laurent Miclet, Colin de la Higuera (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : računalništvo -- umetna inteligenca -- algebrske metode -- algoritmi -- razpoznavanje vzorcev -- stohastični modeli -- slovnična sklepanja -- inkrementalne metode -- logično programiranje -- učenje slovničnih struktur -- zborniki
87. Handbook of Parallel Constraint Reasoning
پدیدآورنده : edited by Youssef Hamadi, Lakhdar Sais
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Artificial intelligence,، Computer science,، Computers,، Mathematical optimization
رده :
Q
335
.
S4668
2018
88. Handbook of constraint programming
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Constraint programming (Computer science) ;
89. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems :
پدیدآورنده : edited by Fevzi Belli, Franz Josef Radermacher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Business.,Computer science.,Management science.
رده :
Q334
.
E358
1992
90. Integrated Methods for Optimization
پدیدآورنده : / John N. Hooker
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematical optimization,Programming (Mathematics),Constraint programming (Computer science),Computer science, Mathematical models
رده :
T57
.
H66
2012
91. Integrated methods for optimization
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematical optimization. ; Programming (Mathematics) ; Constraint programming (Computer science) ; Computer science ; Mathematical models. ;
92. Integrated methods for optimization
پدیدآورنده : Hooker, John
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Mathematical optimization,، Programming )Mathematics(,، Constraint programming )Computer science(,Mathematical models ، Computer science
رده :
T
57
.
H6I5
2007
93. Integrated methods for optimization
پدیدآورنده : by John N. Hooker
موضوع : Mathematical optimization,Programming (Mathematics),Constraint programming (Computer science),Computer science, Mathematical models
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
94. Integration of AI and OR Techniques in Constraint Programming
پدیدآورنده : / Helmut Simonis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
95. Integration of AI and OR Techniques in Constraint Programming
پدیدآورنده : / Laurent Michel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
96. Integration of AI and OR Techniques in Constraint Programming...
پدیدآورنده : \ Roman Barták, Michela Milano (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Constraints (Artificial intelligence) -- Congresses.,Constraint programming (Computer science) -- Congresses.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها
رده :
E-Book
,
97. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
پدیدآورنده : / Andrea Lodi, Michela Milano, Paolo Toth
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
98. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
پدیدآورنده : / Tobias Achterberg, J. Christopher Beck
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
99. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
پدیدآورنده : / Carla Gomes, Meinolf Sellmann
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
100. Integration of AI and OR techniques in constraint programming for combinatorial optimization problems :
پدیدآورنده : Tobias Achterberg, J. Christopher Beck (Eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Combinatorial optimization, Congresses,Constraint programming (Computer science), Congresses,Operations research, Congresses
رده :
QA76
.
612
.
I58
2011
