Katalog der Deutschen Nationalbibliothek

Gesamter Bestand

Musikarchiv

Buchmuseum

Suchformular zurücksetzen

Expertensuche ?

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

2. bis 5. Oktober 2025: Der Kartenlesesaal in Leipzig ist geschlossen. // 2 to 5 October 2025: The map reading room in Leipzig is closed.

Ergebnis der Suche nach: "11801109X"
im Bestand: Gesamter Bestand

11 - 20 von 29

	11	A genetic algorithm for variable ordering of OBDDs Drechsler, Rolf. - Frankfurt (Main) : Fachbereich Informatik, Univ., 1994
	12	Genetic alogrithms in computer aided design of integrated circuits Drechsler, Rolf. - Frankfurt/Main : Fachbereich Informatik, Univ., 1994
	13	Minimization of 2-level AND, XOR expressions using ordered Kronecker functional decision diagrams Becker, Bernd. - Frankfurt am Main : Fachbereich Informatik, Univ., 1994
	14	On variable ordering and decomposition type choice in OKFDDs Drechsler, Rolf. - Frankfurt am Main : Fachbereich Informatik, Univ., [1994]
	15	Synthesis for testability Becker, Bernd. - Frankfurt am Main : Fachbereich Informatik, Univ., [1994]
	16	A BDD based algorithm for computation of exact fault detection probabilities Krieger, Rolf. - Frankfurt [Main] : Fachbereich Informatik, Univ., [1993]
	17	Computer aided design and test Saarbrücken : Geschäftsstelle Schloss Dagstuhl, 1993
	18	Fast FDD based minimization of generalized Reed-Muller forms Drechsler, Rolf. - Frankfurt am Main : Fachbereich Informatik, Univ., 1993
	19	Lgc++ Krieger, Rolf. - Frankfurt am Main : Fachbereich Informatik, Univ., 1993
	20	Local circuit transformations preserving robust path delay fault testability Becker, Bernd. - Frankfurt [Main] : Fachbereich Informatik, Univ., [1993]

11 - 20 von 29

Alle Materialarten > Bücher (29)

Alle Kataloge/Sammlungen

Alle Standorte

Aktionen