|
1801 |
MIZAR verification of generic algebraic algorithms
Schwarzweller, Christoph, 1997
|
|
|
|
1802 |
Numerical methods, algorithms, and software for higher index nonlinear differential algebraic equations in MultiBody System SIMulation
Schwerin, Reinhold von, 1997
|
|
|
|
1803 |
Optimal algorithms for binomial ideals and commutative semigroups
Koppenhagen, Ulla. - Aachen : Shaker, 1997, Als Ms. gedr.
|
|
|
|
1804 |
Optimal algorithms for binomial ideals and commutative semigroups
Koppenhagen, Ulla, 1997
|
|
|
|
1805 |
Spectral estimates and convergence of genetic algorithms
Meise, Christian, 1997
|
|
|
|
1806 |
The statistical mechanics approach to genetic algorithms
Bornholdt, Stefan, 1997
|
|
|
|
1807 |
Deriving general schemes for classes of graph algorithms
Russling, Martin. - Augsburg : Wissner, 1996
|
|
|
|
1808 |
Efficient production planning and scheduling
Shiroma, Patricia Jay. - Wiesbaden : Dt. Univ.-Verl., 1996
|
|
|
|
1809 |
Evolutionary search and the job shop
Mattfeld, Dirk C.. - Heidelberg : Physica-Verl., 1996
|
|
|
|
1810 |
Hybrid genetic algorithms for solving constrained packing and placement problems
Schnecke, Volker, 1996
|
|
Administration
