- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Language
-
Englisch
- Notes
-
Kaiserslautern, Techn. Univ., Diss., 2009
- Keyword
-
Optimierender Compiler ; Validierung ; Formaler Beweis ; Übersetzung ; Maschinelle Übersetzung ; Generierung ; Optimierung
- Creator
- URN
-
urn:nbn:de:hbz:386-kluedo-24643
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:29 AM 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.
Object type
- Hochschulschrift
Associated
Other Objects (12)
A general proof framework for recent AES distinguishers
PhyDSLK: a model-driven framework for generating exergames
Generating interactive documents for domain-specific validation of formal models
Formal and Natural Proof : a phenomenological approach
Framework for generating representative volume elements of random ligament networks
A Framework for Generating Query Language Code from OCL Invariants
A novel proof of concept approach towards generating reference microplastic particles
A framework for generating large-scale microphone array data for machine learning
A framework for generating large-scale microphone array data for machine learning
Generating user interfaces from formal specifications of the application
Isabelle, Isar - a versatile environment for human readable formal proof documents
Isabelle, Isar - a versatile environment for human readable formal proof documents
A general proof framework for recent AES distinguishers
PhyDSLK: a model-driven framework for generating exergames
Generating interactive documents for domain-specific validation of formal models
Formal and Natural Proof : a phenomenological approach
Framework for generating representative volume elements of random ligament networks
A Framework for Generating Query Language Code from OCL Invariants
A novel proof of concept approach towards generating reference microplastic particles
A framework for generating large-scale microphone array data for machine learning
A framework for generating large-scale microphone array data for machine learning
Generating user interfaces from formal specifications of the application
Isabelle, Isar - a versatile environment for human readable formal proof documents
Isabelle, Isar - a versatile environment for human readable formal proof documents
A general proof framework for recent AES distinguishers
PhyDSLK: a model-driven framework for generating exergames
Generating interactive documents for domain-specific validation of formal models
Formal and Natural Proof : a phenomenological approach
Framework for generating representative volume elements of random ligament networks
A Framework for Generating Query Language Code from OCL Invariants
A novel proof of concept approach towards generating reference microplastic particles
A framework for generating large-scale microphone array data for machine learning
A framework for generating large-scale microphone array data for machine learning
Generating user interfaces from formal specifications of the application
Isabelle, Isar - a versatile environment for human readable formal proof documents