Skip to contents Weber, Matthias [Author] Einführung und formale Beschreibung eines Kalküls zur Programmentwicklung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. St. Augustin u.a.: Gesellschaft für Mathematik u. Datenverarbeitung, 1988 Published in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 13300 Weber, Karl Matthias [Author] ; Weber, Karl Matthias [Other] A meta-calculus for formal system development Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1991 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 195 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 Giarrusso, Paolo G. [Author] ; Eberhard Karls Universität Tübingen Optimizing and incrementalizing higher-order collection queries by AST transformation Books View online Schließen > Access ... to E-book via Resolving system (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tübingen, 2018 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
Weber, Matthias [Author] Einführung und formale Beschreibung eines Kalküls zur Programmentwicklung Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. St. Augustin u.a.: Gesellschaft für Mathematik u. Datenverarbeitung, 1988 Published in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 13300
Weber, Karl Matthias [Author] ; Weber, Karl Matthias [Other] A meta-calculus for formal system development Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. München; Wien: Oldenbourg, 1991 Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 195
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
Giarrusso, Paolo G. [Author] ; Eberhard Karls Universität Tübingen Optimizing and incrementalizing higher-order collection queries by AST transformation Books View online Schließen > Access ... to E-book via Resolving system (Volltext ; freely accessible) Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Tübingen, 2018
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
> Availability Skip to next facet Open Shelves (1) Wert ausschließen Stack Collection (2) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (2) Wert ausschließen Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (1) Wert ausschließen Without Specification (1) Wert ausschließen Show more show less
> Language Skip to next facet English (4) Wert ausschließen German (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (4) 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 Eberhard Karls Universität Tübingen (1) Wert ausschließen Giarrusso, Paolo G. (1) Wert ausschließen TIC 2 1998 Kyōto (1) Wert ausschließen Weber, Karl Matthias (1) Wert ausschließen Weber, Matthias (1) Wert ausschließen Show more show less
> Collection Skip to next facet Verbunddaten SWB (5) Wert ausschließen Lizenzfreie Online-Ressourcen (1) Wert ausschließen Show more show less