Skip to contents

  1. Etscheit, Ulrich [Editor]; Metzger, Julian [Editor] ; Comedian Harmonists Musikgruppe : Berlin

    Comedian Harmonists - das Original

    Notated Music
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Kassel: Bosse, 19XX-

  2. Schefer, Leopold [Author] ; Metzger, Julian [Performer]; Kienbaum, Marianne [Performer]; Weber, Katharine Hannah [Performer]; Ernst, Frank [Performer]; Schuck, Markus [Performer]; Schnoor, Hans-Jürgen [Performer]; Veselka, Stefan [Performer]; Bertók, Liana [Performer] Freundeskreis Lausitzer Musiksommer

    Tagebuch einer großen Liebe : 22 Lieder von Leopold Schefer; (1784 - 1862); zum 222. Geburtstag - [Limitierte Jubiläumsausg.] (1 CD)

    Sound Recordings
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Bautzen: Konsonanz, P 2006

  3. Froitzheim, Manuel [Author]; Bergner, Nadine [Author]; Schroeder, Ulrik [Author]; Hurtienne, Dominik [Author]; Spannagel, Christian [Author]; Roderus, Simon [Author]; Wienkop, Uwe [Author]; Leonhardt, Thiemo [Author]; Kwiecien, Alexandra [Author]; Schmetz, Arno [Author]; Bellgardt, Martin [Author]; Naumann, Uwe [Author]; Weßels, Doris [Author]; Metzger, Christiane [Author]; Längrich, Matthias [Author]; Schulze, Jörg [Author]; Jakoblew, Marcel [Author]; Keil, Reinhard [Author]; Winkelnkemper, Felix [Author]; Engbring, Dieter [Author]; Klar, Tilman-Mathies [Author]; Kujath, Bertold [Author]; Schütze, Christopher [Author]; Fietkau, Julian [Author]; [...]

    HDI 2014 – Gestalten von Übergängen

    Conference Proceedings
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    University of Potsdam: publish.UP, 2015

  4. Coenen, Norine; Finkbeiner, Bernd; Frenkel, Hadar; Hahn, Christopher; Metzger, Niklas; Siber, Julian

    Automated Technology for Verification and Analysis: Temporal Causality in Reactive Systems

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Springer International Publishing, 2022

    Published in: Automated Technology for Verification and Analysis

  5. Horak, Tom; Coenen, Norine; Metzger, Niklas; Hahn, Christopher; Flemisch, Tamara; Mendez, Julian; Dimov, Dennis; Finkbeiner, Bernd; Dachselt, Raimund

    Visual Analysis of Hyperproperties for Understanding Model Checking Results

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Institute of Electrical and Electronics Engineers (IEEE), 2022

    Published in: IEEE Transactions on Visualization and Computer Graphics