Katalog der Deutschen Nationalbibliothek

Expertensuche ?

eingeschränkt auf
- Kataloge/Sammlungen:	Teilbestand nach VGG

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

Dienstag, 17. Juni 2025: Die Deutsche Nationalbibliothek ist wegen eines Beschäftigtentreffens an beiden Standorten geschlossen. Die Ausstellungen des Deutschen Buch- und Schriftmuseums in Leipzig sind von 10 bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Exilarchivs 1933-1945 in Frankfurt sind geschlossen. // Tuesday, 17 June 2025: The German National Library will be closed at both locations due to a staff meeting. The exhibitions of the German Museum of Books and Writing in Leipzig will open from 10:00 to 18:00. The exhibitions of the German Exile Archive 1933-1945 in Frankfurt will be closed.

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

1 - 10 von 18

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