|
921 |
Vergleich unstetiger Funktionen
Mylatz, Uwe, 2006
|
|
|
|
922 |
A new algorithm for the quantified satisfiability problem, based on zero-suppressed binary decision diagrams and memoization
Ghasemzadeh, Mohammad, 2005
|
|
|
|
923 |
A non-deterministic call-by-need lambda calculus
Mann, Matthias, 2005
|
|
|
|
924 |
Advances in equational theorem proving
Löchner, Bernd, 2005
|
|
|
|
925 |
Aesthetics and automatic layout of UML class diagrams
Eichelberger, Holger, 2005
|
|
|
|
926 |
Algebraic closures in complexity theory
Böhler, Elmar, 2005
|
|
|
|
927 |
An improved bound on the cardinality of the minimal pairwise balanced designs on 18 points with maximum block size 4
Rostock : Univ., Inst. für Mathematik, 2005
|
|
|
|
928 |
Approximation properties of non-separable wavelet bases with isotropic scaling matrices and their relation to Besov spaces
Lindemann, Mathias. - Bremen : University Bremen, 2005
|
|
|
|
929 |
Attributed graph transformation with node type inheritance
Berlin : TU, Professoren der Fak. IV, 2005
|
|
|
|
930 |
Automated drawing of metro maps
Nöllenburg, Martin. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005
|
|
Administration
