Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Aktuell erscheint zeitweise die Meldung „Too Many Requests“. Wir arbeiten daran, das Probleme zu beheben. Wir bitten Sie die Störung zu entschuldigen.

Die Deutsche Nationalbibliothek ist am Freitag, 1. Mai 2026 an beiden Standorten geschlossen. //
The German National Library will be closed on Friday 1 May 2026 at both locations.

Die Deutsche Nationalbibliothek ist am Donnerstag, 14. Mai 2026 an beiden Standorten geschlossen. // The German National Library will be closed on Thursday 14 May 2026 at both locations.

Ergebnis der Suche nach: "106035894"
im Bestand: Gesamter Bestand

1 - 10 von 33

	1	Festschrift "30 Jahre FZI" FZI Forschungszentrum Informatik. - Karlsruhe : FZI, 2015
	2	Manifest Strategische Bedeutung des Software Engineering in Deutschland [Wadern] : [Internat. Begegnungs- und Forschungszentrum für Informatik], [2006]
	3	Towards register allocation of SSA-form programs Hack, Sebastian. - Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005
	4	Verifix: Konstruktion und Architektur verifizierender Übersetzer (Verifix: Construction and Architecture of Verifying Compilers) Enthalten in Information technology Bd. 46, 2004, Nr. 5: 265-276
	5	Vorlesungen über Informatik Goos, Gerhard. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1997
	6	Sather-K Goos, Gerhard. - Karlsruhe : Univ., Fak. für Informatik, 1995, May 1995
	7	Programmiermethodik mit Ada Goos, Gerhard. - Berlin : Springer, 1987
	8	Programmiermethodik mit Ada Goos, Gerhard. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1987
	9	Requirements for a real time Ada runtime kernel and proposed kernel interface Sankt Augustin : GMD, 1986
	10	Compiler construction Waite, William M.. - New York : Springer, [1985], [corr. 2nd. print.]