Computer algorithms - Congresses.

Theory and applications of satisfiability testing :6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers / …で: (言語・文字資料 (印刷物))

Metaheuristics :progress as real problem solvers / …で: (言語・文字資料 (印刷物))

Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms. …で: (コンピュータ・メディア)

Proceedings of the sixth Workshop on Algorithm Engineering and Experiments and the first Workshop on Analytic Algorithmics and Combinatorics / …で: (コンピュータ・メディア)

Proceedings of the Sixteenth Annual ACM-SIAM Symposium on Discrete Algorithms. …で: (コンピュータ・メディア)

Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms. …で: (コンピュータ・メディア)

Proceedings of the eighth Workshop on Algorithm Engineering and Experiments and the third Workshop on Analytic Algorithmics and Combinatorics / …で: (コンピュータ・メディア)

Latest advances in symbolic algorithmsproceedings of the Waterloo Workshop in Computer Algebra, Ontario, Canada, 10-12 April, 2006, / …で: (コンピュータ・メディア)

Propositional calculus

Problem solving- Data processing

Software engineering

Computer algorithms

Algorithms

Decision making

Computer science- Mathematics

Computer programming

Discrete programmering.

Algoritmen.

Heuristic programming

Combinatorial analysis

Algebra- Data processing

Combinatorial optimization- Data processing