- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Interne Berichte ; 355
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
2006
- Creator
- URN
-
urn:nbn:de:hbz:386-kluedo-14698
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:43 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.
Associated
- Gawkowski, Marek Jerzy
- Blech, Jan Olaf
- Poetzsch-Heffter, Arnd
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 2006
Other Objects (12)
Assemblers, compilers, and program translation
Untersuchungen zur formalen Beschreibung der Codegenerierung am Beispiel des COBOL-1630-Compilers [COBOL-Compilers]
Formal contracts, relational contracts, and the holdup problem
Formal contracts, relational contracts, and the threat-point effect
Verification of optimizing compilers
Principles of compilers : a new approach to compilers including the algebraic method
Nutzung des ESER-SIMULA-Compilers
Relational Contracts, the Cost of Enforcing Formal Contracts, and Capital Structure Choice - Theory and Evidence
Relational contracts, the cost of enforcing formal contracts, and capital structure choice: Theory and evidence
Group contracts for index-based insurance
Compiler compilers : third international workshop ; proceedings
A. Entstehung des Compilers FORTRAN X8
Assemblers, compilers, and program translation
Untersuchungen zur formalen Beschreibung der Codegenerierung am Beispiel des COBOL-1630-Compilers [COBOL-Compilers]
Formal contracts, relational contracts, and the holdup problem
Formal contracts, relational contracts, and the threat-point effect
Verification of optimizing compilers
Principles of compilers : a new approach to compilers including the algebraic method
Nutzung des ESER-SIMULA-Compilers
Relational Contracts, the Cost of Enforcing Formal Contracts, and Capital Structure Choice - Theory and Evidence
Relational contracts, the cost of enforcing formal contracts, and capital structure choice: Theory and evidence
Group contracts for index-based insurance
Compiler compilers : third international workshop ; proceedings
A. Entstehung des Compilers FORTRAN X8
Assemblers, compilers, and program translation
Untersuchungen zur formalen Beschreibung der Codegenerierung am Beispiel des COBOL-1630-Compilers [COBOL-Compilers]
Formal contracts, relational contracts, and the holdup problem
Formal contracts, relational contracts, and the threat-point effect
Verification of optimizing compilers
Principles of compilers : a new approach to compilers including the algebraic method
Nutzung des ESER-SIMULA-Compilers
Relational Contracts, the Cost of Enforcing Formal Contracts, and Capital Structure Choice - Theory and Evidence
Relational contracts, the cost of enforcing formal contracts, and capital structure choice: Theory and evidence
Group contracts for index-based insurance
Compiler compilers : third international workshop ; proceedings