Hochschulschrift
Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
30 cm
- Extent
-
178 S.
- Language
-
Deutsch
- Notes
-
graph. Darst.
Karlsruhe, Univ., Diss., 2005 (Nicht für den Austausch)
- Creator
-
Kapp, Kai
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.03.2025, 12:24 PM CET
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.
Object type
- Hochschulschrift
Associated
- Kapp, Kai
Other Objects (12)
Assemblersprachen, formale Beschreibung und automatisierte Implementierung
Automatisierte Synthese restklassenbasierter VLSI-Systeme
Ein Ansatz zur formalen Repräsentation und automatisierten Generierung graphischer Benutzeroberflächen
Eine formale algorithmische Synthese digitaler Schaltungen
Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen
Untersuchungen zur Totalsynthese von PPAPs: Formale Synthese von Nemoroson
Synthese anellierter Tropone und Tropolone : formale Totalsynthese von (-)-Colchicin
Automatisierte Analyse von NMR-Spektren - Synthesen für pentachlorphenylsubstituierte Phosphorverbindungen
Synthese eines Taxan-AB-Fragmentes über eine Cyclopropylcarbinyl-Umlagerung und formale Synthese von (+/-)-Clavukerin-A und (+/-)-Isoclavukerin
Synthese komplexer Bahnbewegungen mittels Spline-Funktionen für die automatisierte Montage
Formale Totalsynthese von Salvadion A und Synthese von Enamiden
Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung
Assemblersprachen, formale Beschreibung und automatisierte Implementierung
Automatisierte Synthese restklassenbasierter VLSI-Systeme
Ein Ansatz zur formalen Repräsentation und automatisierten Generierung graphischer Benutzeroberflächen
Eine formale algorithmische Synthese digitaler Schaltungen
Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen
Untersuchungen zur Totalsynthese von PPAPs: Formale Synthese von Nemoroson
Synthese anellierter Tropone und Tropolone : formale Totalsynthese von (-)-Colchicin
Automatisierte Analyse von NMR-Spektren - Synthesen für pentachlorphenylsubstituierte Phosphorverbindungen
Synthese eines Taxan-AB-Fragmentes über eine Cyclopropylcarbinyl-Umlagerung und formale Synthese von (+/-)-Clavukerin-A und (+/-)-Isoclavukerin
Synthese komplexer Bahnbewegungen mittels Spline-Funktionen für die automatisierte Montage
Formale Totalsynthese von Salvadion A und Synthese von Enamiden
Formale Beschreibung und automatisierte Verifikation von sequentiellem Hardwareverhalten auf der Basis von Logik höherer Ordnung
Assemblersprachen, formale Beschreibung und automatisierte Implementierung
Automatisierte Synthese restklassenbasierter VLSI-Systeme
Ein Ansatz zur formalen Repräsentation und automatisierten Generierung graphischer Benutzeroberflächen
Eine formale algorithmische Synthese digitaler Schaltungen
Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen
Untersuchungen zur Totalsynthese von PPAPs: Formale Synthese von Nemoroson
Synthese anellierter Tropone und Tropolone : formale Totalsynthese von (-)-Colchicin
Automatisierte Analyse von NMR-Spektren - Synthesen für pentachlorphenylsubstituierte Phosphorverbindungen
Synthese eines Taxan-AB-Fragmentes über eine Cyclopropylcarbinyl-Umlagerung und formale Synthese von (+/-)-Clavukerin-A und (+/-)-Isoclavukerin
Synthese komplexer Bahnbewegungen mittels Spline-Funktionen für die automatisierte Montage
Formale Totalsynthese von Salvadion A und Synthese von Enamiden