|
761 |
A Sandwich theorem for monotone additive functions Plappert, Peter. - Darmstadt : Techn. Hochsch., Fachbereich Mathematik, 1994
|
|
|
762 |
A satisfiability algorithm for a typed feature logic Kepser, Stephan. - Heidelberg : IBM Deutschland, Wiss. Zentrum, Inst. für Wissensbasierte Systeme, 1994
|
|
|
763 |
A scaling action on rectangular block Hankel matrices Manthey, Wilfried. - Bremen : Inst. für Dynamische Systeme, 1994
|
|
|
764 |
A scheme for edge based adaptive tetrahedron subdivision Ruprecht, Detlef. - Dortmund : Dekanat Informatik, Univ., 1994
|
|
|
765 |
A search for excited fermions in electron proton collisions at HERA Hamburg : DESY, 1994
|
|
|
766 |
A search for heavy leptons at HERA Hamburg : DESY, 1994
|
|
|
767 |
A search for leptoquarks and squarks at HERA Hamburg : DESY, 1994
|
|
|
768 |
A self-adaptive multilevel finite element method for the stationary Schrödinger equation in three space dimensions Ackermann, Jörg. - Berlin : ZIB, 1994
|
|
|
769 |
A self-consistent study of the phase transition in the scalar electroweak theory at finite temperature Kerres, Ute. - Hamburg : DESY, 1994
|
|
|
770 |
A semantic approach to order sorted rewriting Werner, Andreas. - Karlsruhe : Univ., Fak. für Informatik, 1994
|
|