-
1
A formalization of typed aspects for the sigma-calculus in Isabelle/HOL
Veröffentlicht 2007kostenfrei
Volltext
Volltext
Volltext
Elektronisch E-Book -
2
-
3
A formalization of typed aspects for the s-calculus [sigma-calculus] in Isabelle, HOL
Veröffentlicht 2007kostenfrei
Buch -
4
-
5
The voyage an opera in three acts, prologue and epilogue for orchestra, chorus and soloists ; (1992)
Veröffentlicht 2006CD Audio -
6
-
7
Typografie zwischen Ulm und Amsterdam Dokumentation 23. Forum Typografie in Bremen
Veröffentlicht 2009Medienkombination Buch -
8
-
9
-
10
Qualitätsentwicklung Theorie und Praxis für die Ganztagsschule
Veröffentlicht 2017Weitere Verfasser: “… Burgmaier, Florian …”
Buch -
11
Jesus liebt mich nach einem Roman von David Safier
Veröffentlicht 2013Weitere Verfasser: “… Fitz, Florian David …”
Video Software -
12
Die Gänsemagd nach einem Märchen der Gebrüder Grimm
Veröffentlicht 2009Weitere Verfasser:Video Software -
13
Plaisir d'amour Fleeting love
Veröffentlicht 1941Weitere Verfasser: DE-12
URL des Erstveröffentlichers
Elektronisch Partitur Buch