|
411 |
Scaled Runge-Kutta algorithms for handling dense output
Horn, Mary Kathleen. - Köln : Wiss. Berichtswesen d. DFVLR, 1981
|
|
|
|
412 |
VLSI-implemented algorithms for fundamental searching and sorting problems
Halaas, Arne. - Kaiserslautern : Univ., Fachbereich Informatik, 1981
|
|
|
|
413 |
A KWIC-index for the algebraic algorithms of the SAC-2 [SAC two] and ALDES system
Loos, Rüdiger. - Karlsruhe : Univ., Fak. für Informatik, 1980
|
|
|
|
414 |
Deriving different unification algorithms from a specification in logic
Winterstein, Georg. - Karlsruhe : Univ., Fakultät für Informatik, 1980
|
|
|
|
415 |
Design aspects of a mathematical programming system for solving large scale integer programs
Suhl, Uwe H.. - Berlin : Inst. für Unternehmungsführung im Fachbereich Wirtschaftswiss. d. Freien Univ., 1980
|
|
|
|
416 |
Discrete structures and algorithms
München : Hanser, 1980
|
|
|
|
417 |
Implementing an algorithm: performance considerations and a case study
Suhl, Uwe H.. - Berlin : Inst. für Unternehmungsführung im Fachbereich Wirtschaftswiss. d. Freien Univ., 1980
|
|
|
|
418 |
Nonlinear optimization
Boston : Birkhäuser, 1980
|
|
|
|
419 |
On accelerating pl continuation algorithms by predictor corrector methods
Saupe, Dietmar. - Bremen : Forschungsschwerpunkt Dynam. Systeme, 1980
|
|
|
|
420 |
Polynomial algorithms for problems in free groups based on Nielsen type arguments
Avenhaus, Jürgen. - Kaiserslautern : Fachbereich Informatik, Univ., 1980
|
|
Administration
