|
1801 |
ZRAM: a library of parallel search algorithms and its use in enumeration and combinatorial optimization
Marzetta, Ambros. - Konstanz : Hartung-Gorre, 1998, 1. Aufl.
|
|
|
|
1802 |
Convergence properties of evolutionary algorithms
Rudolph, Günter. - Hamburg : Kovač, 1997
|
|
|
|
1803 |
Design of efficient and correct algorithms
Finkler, Ulrich, 1997
|
|
|
|
1804 |
Fast randomized and parallel algorithms for cycle problems on graphs
Dorgerloh, Carsten F., 1997
|
|
|
|
1805 |
Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming
Tsarchopoulos, Panagiotis, 1997
|
|
|
|
1806 |
MIZAR verification of generic algebraic algorithms
Schwarzweller, Christoph, 1997
|
|
|
|
1807 |
Numerical methods, algorithms, and software for higher index nonlinear differential algebraic equations in MultiBody System SIMulation
Schwerin, Reinhold von, 1997
|
|
|
|
1808 |
Optimal algorithms for binomial ideals and commutative semigroups
Koppenhagen, Ulla. - Aachen : Shaker, 1997, Als Ms. gedr.
|
|
|
|
1809 |
Optimal algorithms for binomial ideals and commutative semigroups
Koppenhagen, Ulla, 1997
|
|
|
|
1810 |
Spectral estimates and convergence of genetic algorithms
Meise, Christian, 1997
|
|
Administration
