|
1801 |
Design of efficient and correct algorithms
Finkler, Ulrich, 1997
|
|
|
|
1802 |
Fast randomized and parallel algorithms for cycle problems on graphs
Dorgerloh, Carsten F., 1997
|
|
|
|
1803 |
Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming
Tsarchopoulos, Panagiotis, 1997
|
|
|
|
1804 |
MIZAR verification of generic algebraic algorithms
Schwarzweller, Christoph, 1997
|
|
|
|
1805 |
Numerical methods, algorithms, and software for higher index nonlinear differential algebraic equations in MultiBody System SIMulation
Schwerin, Reinhold von, 1997
|
|
|
|
1806 |
Optimal algorithms for binomial ideals and commutative semigroups
Koppenhagen, Ulla. - Aachen : Shaker, 1997, Als Ms. gedr.
|
|
|
|
1807 |
Optimal algorithms for binomial ideals and commutative semigroups
Koppenhagen, Ulla, 1997
|
|
|
|
1808 |
Spectral estimates and convergence of genetic algorithms
Meise, Christian, 1997
|
|
|
|
1809 |
The statistical mechanics approach to genetic algorithms
Bornholdt, Stefan, 1997
|
|
|
|
1810 |
Deriving general schemes for classes of graph algorithms
Russling, Martin. - Augsburg : Wissner, 1996
|
|
Administration
