- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Interne Berichte ; 355
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (wann)
-
2006
- Urheber
- URN
-
urn:nbn:de:hbz:386-kluedo-14698
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:43 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Gawkowski, Marek Jerzy
- Blech, Jan Olaf
- Poetzsch-Heffter, Arnd
- Technische Universität Kaiserslautern, Fachbereich Informatik
Entstanden
- 2006
Ähnliche Objekte (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