|
31 |
Least upper bounds on the sizes of symmetric variable order based binary decision diagrams Heinrich-Litan, Laura. - Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1996
|
|
|
32 |
New crossover methods for sequencing problems Aşveren, Tolga. - Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1996
|
|
|
33 |
On OTC routing with vertical floating pins Peters, Ines. - Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1996
|
|
|
34 |
Communication based multilevel synthesis for multi-output boolean functions Molitor, Paul. - Berlin : Professoren des Inst. für Informatik, [1994]
|
|
|
35 |
Einführung in den VLSI-Entwurf Kolla, Reiner. - Stuttgart : Teubner, 1989
|
|
|
36 |
Molitor, Paul 1959- / Informatiker
|
|