Pushdown and expectation transformer semantics of probabilistic recursive programs with nested conditioning
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
RWTH Aachen University, Masterarbeit, 2023
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Universitätsbibliothek der RWTH Aachen
- (wann)
-
2024
- Urheber
-
Lehmann, Johannes
Winkler, Tobias
- Beteiligte Personen und Organisationen
- DOI
-
10.18154/RWTH-2024-02603
- URN
-
urn:nbn:de:101:1-2024040401475371815343
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:46 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Lehmann, Johannes
- Winkler, Tobias
- Katoen, Joost-Pieter
- Noll, Thomas
- Universitätsbibliothek der RWTH Aachen
Entstanden
- 2024
Ähnliche Objekte (12)
Lehmann, Johannes
Untersuchungen über die Abhängigkeit des elektrischen Widerstandes hygroskopischer Faserstoffe von ihrem Wassergehalt
Beschwerden über Anspruch, Gewährung und Verweigerung der Realgemeinderechte und der Rechte von Aktivbürgern auf Gemeindenutzungen sowie über deren Einführung, Verteilung und Ablösung: Oberamt Calw
Computer
Die Liethenmühle
Lehmann, Johannes
Die Mühlen im Krippengrund
Mühlräder an der Pehna (Behnebach)
Drei Grenzmühlen
Über die Abhängigkeit der Enzymaktivitäten von der Vorbehandlungstemperatur im Rumpfmuskel der Goldorfe <Idus idus L.> und des Goldfisches <Carassius auratus L.>
Die Informationsabteilung des Lutherischen Weltbundes : Ein Beitr. zur internat. Nachrichtengebg
Lehmann, Johannes
Lehmann, Johannes
Untersuchungen über die Abhängigkeit des elektrischen Widerstandes hygroskopischer Faserstoffe von ihrem Wassergehalt
Beschwerden über Anspruch, Gewährung und Verweigerung der Realgemeinderechte und der Rechte von Aktivbürgern auf Gemeindenutzungen sowie über deren Einführung, Verteilung und Ablösung: Oberamt Calw
Computer
Die Liethenmühle
Lehmann, Johannes
Die Mühlen im Krippengrund
Mühlräder an der Pehna (Behnebach)
Drei Grenzmühlen
Über die Abhängigkeit der Enzymaktivitäten von der Vorbehandlungstemperatur im Rumpfmuskel der Goldorfe <Idus idus L.> und des Goldfisches <Carassius auratus L.>
Die Informationsabteilung des Lutherischen Weltbundes : Ein Beitr. zur internat. Nachrichtengebg
Lehmann, Johannes
Lehmann, Johannes
Untersuchungen über die Abhängigkeit des elektrischen Widerstandes hygroskopischer Faserstoffe von ihrem Wassergehalt
Beschwerden über Anspruch, Gewährung und Verweigerung der Realgemeinderechte und der Rechte von Aktivbürgern auf Gemeindenutzungen sowie über deren Einführung, Verteilung und Ablösung: Oberamt Calw
Computer
Die Liethenmühle
Lehmann, Johannes
Die Mühlen im Krippengrund
Mühlräder an der Pehna (Behnebach)
Drei Grenzmühlen
Über die Abhängigkeit der Enzymaktivitäten von der Vorbehandlungstemperatur im Rumpfmuskel der Goldorfe <Idus idus L.> und des Goldfisches <Carassius auratus L.>
Die Informationsabteilung des Lutherischen Weltbundes : Ein Beitr. zur internat. Nachrichtengebg