Zum Inhalt springen Stoyan, Herbert [Verfasser:in] Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1984 Erschienen in: Informatik-Fachberichte ; 91 Leroy, Xavier [Herausgeber:in]; Ohori, Atsushi [Sonstige Person, Familie und Körperschaft] ; TIC 2 1998 Kyōto Types in compilation : second International Workshop, TIC '98, Kyoto, Japan, March 25 - 27, 1998; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1998 Erschienen in: Lecture notes in computer science ; 1473 Eisenbiegler, Jörn [Verfasser:in] Optimierung von SIMD-Programmen auf verteilten Systemen Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin: Logos-Verl., 1999 Darte, Alain [Verfasser:in]; Robert, Yves [Verfasser:in]; Vivien, Frédéric [Verfasser:in] Scheduling and automatic parallelization Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boston; Berlin [u.a.]: Birkhäuser, 2000 Yang, Hongseok [Herausgeber:in] ; APLAS 9 2011 Kending Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 ; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 7078 Leroy, Xavier [Verfasser:in] ; Ohori, Atsushi [Sonstige Person, Familie und Körperschaft] Types in Compilation : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998 Erschienen in: Lecture notes in computer science ; 1473 Yang, Hongseok [Verfasser:in] Programming Languages and Systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Erschienen in: Lecture notes in computer science ; 7078
Stoyan, Herbert [Verfasser:in] Maschinen-unabhängige Code-Erzeugung als semantikerhaltende beweisbare Programmtransformation Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1984 Erschienen in: Informatik-Fachberichte ; 91
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Leroy, Xavier [Herausgeber:in]; Ohori, Atsushi [Sonstige Person, Familie und Körperschaft] ; TIC 2 1998 Kyōto Types in compilation : second International Workshop, TIC '98, Kyoto, Japan, March 25 - 27, 1998; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 1998 Erschienen in: Lecture notes in computer science ; 1473
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Eisenbiegler, Jörn [Verfasser:in] Optimierung von SIMD-Programmen auf verteilten Systemen Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin: Logos-Verl., 1999
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Darte, Alain [Verfasser:in]; Robert, Yves [Verfasser:in]; Vivien, Frédéric [Verfasser:in] Scheduling and automatic parallelization Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Boston; Berlin [u.a.]: Birkhäuser, 2000
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Yang, Hongseok [Herausgeber:in] ; APLAS 9 2011 Kending Programming languages and systems : 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 ; proceedings Bücher Online ansehen Schließen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin; Heidelberg [u.a.]: Springer, 2011 Erschienen in: Lecture notes in computer science ; 7078
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Leroy, Xavier [Verfasser:in] ; Ohori, Atsushi [Sonstige Person, Familie und Körperschaft] Types in Compilation : Second International Workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998 Erschienen in: Lecture notes in computer science ; 1473
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Yang, Hongseok [Verfasser:in] Programming Languages and Systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011 Erschienen in: Lecture notes in computer science ; 7078
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Magazinbestellung (3) Wert ausschließen Verfügbarkeit vor Ort erfragen (2) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (4) Wert ausschließen Zentralbibliothek (1) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (5) Wert ausschließen Deutsch (2) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (7) Wert ausschließen Mathematik (3) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution 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 zeige weitere weniger zeigen