ULB Halle
Detailsuche | Home | Neuzugänge | Impressum | Login
Universitäts- und Landesbibliothek Sachsen-Anhalt

Elektronische Pflichtexemplare
Suchergebnis
Suche nach: Serie = Reports und Sammlung = Elektronische Pflichtexemplare
Acceptance of [omega]-languages by communicating deterministic turing machines
Freund, Rudolf ; Staiger, Ludwig
Halle : Univ., Fachber. Mathem. u. Inf., 1999 ;
Minimizing ROBDD sizes of incompletely specified Boolean functions by exploiting strong symmetries
Scholl, Christoph
Halle : Department of Mathematics and Computer Science, Martin Luther University Halle-Wittenberg, 1996 ;
New crossover methods for sequencing problems
Aşveren, Tolga ; Molitor, Paul
Halle : Martin-Luther-Universität Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1996 ;
On the positivity of low order explicit Runge-Kutta schemes applied in splitting methods
Gerisch, Alf ; Weiner, Rüdiger
Halle : Univ., Fachber. Mathem. u. Informatik, 1999 ;
Polynomial formal verification of multipliers
Keim, Martin
Halle : Department of Mathematics and Computer Science, Martin Luther University Halle-Wittenberg, 1997 ;
Rich w-words and monadic second-order arithmetic
Staiger, Ludwig
Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1998 ;
w-languages
Staiger, Ludwig
Halle (Saale) : Martin-Luther-Universität Halle-Wittenberg, Institut für Informatik, 1997 ;