Hochschulschrift
Types with potential: polynomial resource bounds via automatic amortized analysis
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844215168
3844215166
- Dimensions
-
30 cm, 1119 g
- Extent
-
IX, 179 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: München, Univ., Diss., 2011
- Keyword
-
Funktionale Programmierung
Programmanalyse
Typsystem
Obere Schranke
Speicherbedarf
Programmlaufzeit
Energieverbrauch
Betriebsmittelverwaltung
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:27 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Hoffmann, Jan
- Epubli
Time of origin
- 2011
Other Objects (12)
Die verrückte Flöte und andere Geschichten von Musikinstrumenten aus dem Erzählwettbewerb des Tagesspiegels
Tanz mit mir : die besten Geschichten aus dem Erzählwettbewerb des Tagesspiegels
Das Kiddusch-Buch : [für Schabbat und Feiertag]
Types with potential : polynomial resource bounds via automatic amortized analysis
Seelenherbst : Gedichte zum Nachdenken, sich selber Wiederfinden, Weinen, Schmunzeln oder einfach zum Genießen
Reporter zwischen zwei Welten
Lebensprinzip Einheit oder Prinzipien stimmen überall oder gar nicht, Bd. 1.. Grundlagen
Kommunikative Schreibkompetenz in der Fremdsprache erfassen und beurteilen : eine empirische Studie im Kontext des EDK-Projekts HarmoS
Österreich - Philippinen 1521 - 1898 : Bezugspunkte, Beziehungen und Begegnungen ; österreichisch-philippinische Bezugspunkte, Beziehungen und Begegnungen während der Zeit der spanischen Herrschaft ; mit einem umfangreichen Kapitel zu k.(u.)k. Marine in Ostasien
Die Jahrhundertlüge
Liebesthesen & Aphorismen, 3.. Zur Liebe gehört Stille : 444 Liebesthesen, Aphorismen & Werkbetrachtungen
Colitis ulcerosa : Medikamente und Therapien bei der chronisch entzündlichen Darmerkrankung (CED) - mit einem Blick auf Neuentdeckungen und Alternativmedizin ; Informationssammlung für Betroffene
Die verrückte Flöte und andere Geschichten von Musikinstrumenten aus dem Erzählwettbewerb des Tagesspiegels
Tanz mit mir : die besten Geschichten aus dem Erzählwettbewerb des Tagesspiegels
Das Kiddusch-Buch : [für Schabbat und Feiertag]
Types with potential : polynomial resource bounds via automatic amortized analysis
Seelenherbst : Gedichte zum Nachdenken, sich selber Wiederfinden, Weinen, Schmunzeln oder einfach zum Genießen
Reporter zwischen zwei Welten
Lebensprinzip Einheit oder Prinzipien stimmen überall oder gar nicht, Bd. 1.. Grundlagen
Kommunikative Schreibkompetenz in der Fremdsprache erfassen und beurteilen : eine empirische Studie im Kontext des EDK-Projekts HarmoS
Österreich - Philippinen 1521 - 1898 : Bezugspunkte, Beziehungen und Begegnungen ; österreichisch-philippinische Bezugspunkte, Beziehungen und Begegnungen während der Zeit der spanischen Herrschaft ; mit einem umfangreichen Kapitel zu k.(u.)k. Marine in Ostasien
Die Jahrhundertlüge
Liebesthesen & Aphorismen, 3.. Zur Liebe gehört Stille : 444 Liebesthesen, Aphorismen & Werkbetrachtungen
Colitis ulcerosa : Medikamente und Therapien bei der chronisch entzündlichen Darmerkrankung (CED) - mit einem Blick auf Neuentdeckungen und Alternativmedizin ; Informationssammlung für Betroffene
Die verrückte Flöte und andere Geschichten von Musikinstrumenten aus dem Erzählwettbewerb des Tagesspiegels
Tanz mit mir : die besten Geschichten aus dem Erzählwettbewerb des Tagesspiegels
Das Kiddusch-Buch : [für Schabbat und Feiertag]
Types with potential : polynomial resource bounds via automatic amortized analysis
Seelenherbst : Gedichte zum Nachdenken, sich selber Wiederfinden, Weinen, Schmunzeln oder einfach zum Genießen
Reporter zwischen zwei Welten
Lebensprinzip Einheit oder Prinzipien stimmen überall oder gar nicht, Bd. 1.. Grundlagen
Kommunikative Schreibkompetenz in der Fremdsprache erfassen und beurteilen : eine empirische Studie im Kontext des EDK-Projekts HarmoS
Österreich - Philippinen 1521 - 1898 : Bezugspunkte, Beziehungen und Begegnungen ; österreichisch-philippinische Bezugspunkte, Beziehungen und Begegnungen während der Zeit der spanischen Herrschaft ; mit einem umfangreichen Kapitel zu k.(u.)k. Marine in Ostasien
Die Jahrhundertlüge
Liebesthesen & Aphorismen, 3.. Zur Liebe gehört Stille : 444 Liebesthesen, Aphorismen & Werkbetrachtungen