Skip to contents Stoyan, Herbert [Author] Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1984 Published in: Informatik-Fachberichte ; 91 Leroy, Xavier [Editor]; Ohori, Atsushi [Other] ; TIC 2 1998 Kyōto Types in compilation : second International Workshop, TIC '98, Kyoto, Japan, March 25 - 27, 1998; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1473 Eisenbiegler, Jörn [Author] Optimierung von SIMD-Programmen auf verteilten Systemen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Logos-Verl., 1999 Darte, Alain [Author]; Robert, Yves [Author]; Vivien, Frédéric [Author] Scheduling and automatic parallelization Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Berlin [u.a.]: Birkhäuser, 2000 Yang, Hongseok [Editor] ; APLAS 9 2011 Kending Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 7078 Leroy, Xavier [Author] ; Ohori, Atsushi [Other] Types in Compilation : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998 Published in: Lecture notes in computer science ; 1473 Yang, Hongseok [Author] Programming Languages and Systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 7078
Stoyan, Herbert [Author] Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1984 Published in: Informatik-Fachberichte ; 91
Leroy, Xavier [Editor]; Ohori, Atsushi [Other] ; TIC 2 1998 Kyōto Types in compilation : second International Workshop, TIC '98, Kyoto, Japan, March 25 - 27, 1998; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1473
Eisenbiegler, Jörn [Author] Optimierung von SIMD-Programmen auf verteilten Systemen Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin: Logos-Verl., 1999
Darte, Alain [Author]; Robert, Yves [Author]; Vivien, Frédéric [Author] Scheduling and automatic parallelization Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Boston; Berlin [u.a.]: Birkhäuser, 2000
Yang, Hongseok [Editor] ; APLAS 9 2011 Kending Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 7078
Leroy, Xavier [Author] ; Ohori, Atsushi [Other] Types in Compilation : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998 Published in: Lecture notes in computer science ; 1473
Yang, Hongseok [Author] Programming Languages and Systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings Books View online Schließen > Access ... to E-book via DOI Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Published in: Lecture notes in computer science ; 7078
> Availability Skip to next facet Stack Collection (3) Wert ausschließen Ask for availability (2) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (4) Wert ausschließen Central Library (1) Wert ausschließen Show more show less
> Language Skip to next facet English (5) Wert ausschließen German (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (6) Wert ausschließen Mathmatics (2) Wert ausschließen Show more show less
> Creator Skip to next facet Leroy, Xavier (2) Wert ausschließen Ohori, Atsushi (2) Wert ausschließen Yang, Hongseok (2) Wert ausschließen APLAS 9 2011 Kending (1) Wert ausschließen Darte, Alain (1) Wert ausschließen Eisenbiegler, Jörn (1) Wert ausschließen Robert, Yves (1) Wert ausschließen Stoyan, Herbert (1) Wert ausschließen TIC 2 1998 Kyōto (1) Wert ausschließen Vivien, Frédéric (1) Wert ausschließen Show more show less