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

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

Die Lesesäle für Geisteswissenschaften, Naturwissenschaften, der Alte Lesesaal Technik und der Anne-Frank-Shoah-Lesesaal in Leipzig schließen am 04.02.2026 wegen einer Veranstaltung bereits um 15 Uhr. Die weiteren Lesesäle sowie die Servicetheke sind zu den regulären Zeiten geöffnet. //
The humanities reading room, the natural science reading room, the old technology reading room and the reading room of the Anne-Frank-Shoah-Library will close at 15:00 on 4 February 2026 due to an event. The other reading rooms and the service desk will be open during regular hours.

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

21 - 30 von 36

	21	A coverage measure for bounded model checking Molitor, Paul. - Halle : Univ., Fachbereich Mathematik und Informatik, 2003
	22	Polynomial Formal Verification of Multipliers Enthalten in Formal methods in system design Bd. 22, Nr. 1, date:1.2003: 39-58
	23	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
	24	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
	25	Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen Molitor, Paul. - Stuttgart : Teubner, 1999
	26	Prove that a faulty multiplier is faulty!? Wefel, Sandro. - Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1999
	27	Using sifting for k-layer straightline crossing minimization Matuszewski, Christian. - Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1999
	28	Abschlußbericht des DFG-Forschungsprojektes Logische Synthese und Optimierung kleiner Schaltungen Molitor, Paul. - Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1997
	29	Establishing latch correspondence for sequential circuits using distinguishing signatures Mohnke, Janett. - Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1997
	30	Beiträge zur Informatik Halle : Martin-Luther-Univ. Halle-Wittenberg, Fachbereich Mathematik und Informatik, 1996