Kontakt
A-Z
Träger / Förderer
Datenschutz
Impressum
Hilfe
Mein Konto
English
Katalog
Einfache Suche
Erweiterte Suche
Browsen (DDC)
Suchverlauf
Meine Auswahl
Hilfe
Datenshop
Mein Konto
Ablieferung von Netzpublikationen
Informationsvermittlung
Über die Deutsche
Nationalbibliothek
Katalog der Deutschen Nationalbibliothek
Gesamter Bestand
Musikarchiv
Exilsammlungen
Buchmuseum
Suchformular zurücksetzen
Expertensuche
?
eingeschränkt auf
- Kataloge/Sammlungen:
Teilbestand nach VGG
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
Ergebnis der Suche nach:
"11801109X"
im Bestand: Gesamter Bestand
1 - 10 von 21
Datum (neuestes zuerst)
Datum (ältestes zuerst)
Titel (A-Z)
Titel (Z-A)
Name (A-Z)
Name (Z-A)
Interne ID-Nr. aufsteigend
Interne ID-Nr. absteigend
1
Computer aided design and test
Saarbrücken : Geschäftsstelle Schloss Dagstuhl, Univ. des Saarlandes, 1995
2
Dynamic minimization of OKFDDs
Drechsler, Rolf. - Frankfurt/Main : Fachbereich Informatik, Univ., [1995]
3
GAFAP: a linear time scheduling approach for high-level-synthesis
Hennig, Susanne. - Frankfurt/Main : Fachbereich Informatik, Univ., 1995
4
A genetic algorithm for variable ordering of OBDDs
Drechsler, Rolf. - Frankfurt (Main) : Fachbereich Informatik, Univ., 1994
5
Genetic alogrithms in computer aided design of integrated circuits
Drechsler, Rolf. - Frankfurt/Main : Fachbereich Informatik, Univ., 1994
6
Minimization of 2-level AND, XOR expressions using ordered Kronecker functional decision diagrams
Becker, Bernd. - Frankfurt am Main : Fachbereich Informatik, Univ., 1994
7
On variable ordering and decomposition type choice in OKFDDs
Drechsler, Rolf. - Frankfurt am Main : Fachbereich Informatik, Univ., [1994]
8
Synthesis for testability
Becker, Bernd. - Frankfurt am Main : Fachbereich Informatik, Univ., [1994]
9
A BDD based algorithm for computation of exact fault detection probabilities
Krieger, Rolf. - Frankfurt [Main] : Fachbereich Informatik, Univ., [1993]
10
Computer aided design and test
Saarbrücken : Geschäftsstelle Schloss Dagstuhl, 1993
1 - 10 von 21
Alle Materialarten
Bücher (21)
Alle Kataloge/Sammlungen
>
Teilbestand nach VGG (21)
Alle Standorte
Frankfurt (21)
Leipzig (21)
Aktionen
In meine Auswahl übernehmen
Druckansicht
Versenden
News-Feed
Administration