語系
Hoos, Holger H.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Engineering stochastic local search algorithms = designing, implementing and analyzing effective heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009 : proceedings /
by:
Stutzle, Thomas.; Birattari, Mauro.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Hoos, Holger H.
(書目-電子資源)
Theory and Applications of Satisfiability Testing = 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
by:
SpringerLink (Online service); Hoos, Holger H.; Mitchell, David G.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Stochastic local search = foundations and applications /
by:
Hoos, Holger H.; St�utzle, Thomas.
(書目-電子資源)
主題
Computer algorithms
Analyse combinatoire.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Decision making
Algebra, Boolean
Stochastic programming.
Data Storage Representation.
Electronic information resource searching
Data Structures.
Stochastic programming
Computer Science.
Algorithmes.
Programmation stochastique.
Combinatorial analysis.
Numeric Computing.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms.
Data Mining and Knowledge Discovery.
Artificial Intelligence (incl. Robotics)
Propositional calculus
Data Structures, Cryptology and Information Theory.
Heuristic programming
Search theory