- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832264086
3832264086
- Dimensions
-
21 cm, 203 gr.
- Extent
-
VI, 125 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Literaturverz. S. 117 - 119
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Entwurfsautomation
Testmustergenerierung
Verifikation
Korrektheit
Erfüllbarkeitsproblem
Boolesche Funktion
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker
- (when)
-
2007
- Contributor
-
Große, Daniel
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:24 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Große, Daniel
- Shaker
Time of origin
- 2007
Other Objects (12)
Anwendungsorientierter Entwurf evolutionärer Algorithmen
Effiziente Algorithmen für Fluss- und Reihenfolgeplanungsprobleme
Erweiterung evolutionärer Algorithmen zur Designoptimierung
Fehlerkorrigierende Codes für Quantensysteme : Konstruktionen und Algorithmen
Entwicklung von Postprocessing-Algorithmen für automotive Radarsysteme
Skalare Lattice-Algorithmen für mehrkanalige adaptive Filter
Algorithmen und untere Schranken für verallgemeinerte OBDDs
Entwurfs- und Testverfahren für Implementierungen mehrstufiger Algorithmen
Ein deterministisch-stochastischer Algorithmus für die Mehrkriterienoptimierung
Eigenschaften einer Klasse kontinuierlicher stochastischer Algorithmen
Multi-Hypothesentracking-Verfahren mit datenfusionierenden Algorithmen
Entwicklung und systemtechnische Anwendung evolutionärer Algorithmen
Anwendungsorientierter Entwurf evolutionärer Algorithmen
Effiziente Algorithmen für Fluss- und Reihenfolgeplanungsprobleme
Erweiterung evolutionärer Algorithmen zur Designoptimierung
Fehlerkorrigierende Codes für Quantensysteme : Konstruktionen und Algorithmen
Entwicklung von Postprocessing-Algorithmen für automotive Radarsysteme
Skalare Lattice-Algorithmen für mehrkanalige adaptive Filter
Algorithmen und untere Schranken für verallgemeinerte OBDDs
Entwurfs- und Testverfahren für Implementierungen mehrstufiger Algorithmen
Ein deterministisch-stochastischer Algorithmus für die Mehrkriterienoptimierung
Eigenschaften einer Klasse kontinuierlicher stochastischer Algorithmen
Multi-Hypothesentracking-Verfahren mit datenfusionierenden Algorithmen
Entwicklung und systemtechnische Anwendung evolutionärer Algorithmen
Anwendungsorientierter Entwurf evolutionärer Algorithmen
Effiziente Algorithmen für Fluss- und Reihenfolgeplanungsprobleme
Erweiterung evolutionärer Algorithmen zur Designoptimierung
Fehlerkorrigierende Codes für Quantensysteme : Konstruktionen und Algorithmen
Entwicklung von Postprocessing-Algorithmen für automotive Radarsysteme
Skalare Lattice-Algorithmen für mehrkanalige adaptive Filter
Algorithmen und untere Schranken für verallgemeinerte OBDDs
Entwurfs- und Testverfahren für Implementierungen mehrstufiger Algorithmen
Ein deterministisch-stochastischer Algorithmus für die Mehrkriterienoptimierung
Eigenschaften einer Klasse kontinuierlicher stochastischer Algorithmen
Multi-Hypothesentracking-Verfahren mit datenfusionierenden Algorithmen