Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=1020143665
Link zu diesem Datensatz | https://d-nb.info/1020143665 |
Art des Inhalts | Hochschulschrift |
Titel | Types with potential : polynomial resource bounds via automatic amortized analysis / Jan Hoffmann. Betreuer: Martin Hofmann |
Person(en) |
Hoffmann, Jan (Verfasser) Hofmann, Martin (Akademischer Betreuer) |
Verlag | München : Universitätsbibliothek der Ludwig-Maximilians-Universität |
Zeitliche Einordnung | Erscheinungsdatum: 2011 |
Umfang/Format | Online-Ressource |
Hochschulschrift | München, Ludwig-Maximilians-Universität, Diss., 2011 |
Persistent Identifier | URN: urn:nbn:de:bvb:19-139552 |
URL | http://edoc.ub.uni-muenchen.de/13955/ (Verlag) (kostenfrei zugänglich) |
Sprache(n) | Englisch (eng) |
Sachgruppe(n) | 004 Informatik |
Online-Zugriff | Archivobjekt öffnen |