Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00

Dienstag 9. Dezember 2025: Die Lesesäle der Deutschen Nationalbibliothek in Leipzig öffnen wegen einer Personalversammlung erst ab 13 Uhr. // Tuesday 9 December 2025: The reading rooms of the German National Library in Leipzig will open at 13:00 due to a staff assembly.

Ergebnis der Suche nach: "120699087"
im Bestand: Gesamter Bestand

21 - 30 von 34

	21	A coverage measure for bounded model checking Molitor, Paul. - Halle : Univ., Fachbereich Mathematik und Informatik, 2003
	22	Limits of Using Signatures for Permutation Independent Boolean Comparison Enthalten in Formal methods in system design Bd. 21, Nr. 2, date:9.2002: 167-191
	23	An efficient heuristic for state encoding minimizing the BDD representations of the transition relations of finite state machines Molitor, Paul. - Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1999
	24	Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen Molitor, Paul. - Stuttgart : Teubner, 1999
	25	Prove that a faulty multiplier is faulty!? Wefel, Sandro. - Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1999
	26	Using sifting for k-layer straightline crossing minimization Matuszewski, Christian. - Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1999
	27	Abschlußbericht des DFG-Forschungsprojektes Logische Synthese und Optimierung kleiner Schaltungen Molitor, Paul. - Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1997
	28	Establishing latch correspondence for sequential circuits using distinguishing signatures Mohnke, Janett. - Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1997
	29	Beiträge zur Informatik Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1996
	30	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