|
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.]
|
|