Zum Inhalt springen

  1. Mozart, Wolfgang Amadeus [Verfasser:in] ; Siegert, Stefan [Sonstige Person, Familie und Körperschaft]; Richter, Ilja [Ausführende:r]; Prey, Hermann [Ausführende:r]; Berry, Walter [Ausführende:r]; Troyanos, Tatiana [Ausführende:r]; Steffek, Hanny [Ausführende:r]; Hirte, Klaus [Ausführende:r]; Vogel, Barbara [Ausführende:r]; Lagger, Peter [Ausführende:r]; Wohlfahrt, Erwin [Ausführende:r]; Dornow, Silke [Ausführende:r]; Böhm, Karl [Ausführende:r]; Leitner, Ferdinand [Ausführende:r]; Fischer-Dieskau, Dietrich [Ausführende:r]; Janowitz, Gundula [Ausführende:r]; Stader, Maria [Ausführende:r]; Mathis, Edith [Ausführende:r]; Streich, Rita [Ausführende:r] Deutsche Oper Berlin Orchester, Berliner Philharmoniker

    Figaros Hochzeit (1 CD)

    Audios
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Hamburg: Polygram, P 1991

    Erschienen in: Mozart, Wolfgang Amadeus: 5 Mozart-Opern für Kinder. ; figa

  3. Beer, Adrian [Verfasser:in]; Heidinger, Stephan [Verfasser:in]; Kühne, Uwe [Verfasser:in] ; Leitner-Fischer, Florian [Sonstige Person, Familie und Körperschaft]; Leue, Stefan [Sonstige Person, Familie und Körperschaft]

    Symbolic Causality Checking Using Bounded Model Checking

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Konstanz: Bibliothek der Universität Konstanz, 2015

  6. Leitner-Fischer, Florian [Verfasser:in]

    Evaluation of the Matlab Simulink Design Verifier versus the model checker SPIN

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Konstanz: Bibliothek der Universität Konstanz, 2008

    Erschienen in: Technical Report soft ; 08-05

  16. Leitner-Fischer, Florian [Verfasser:in]; Leue, Stefan [Verfasser:in]

    Causality checking for complex system models

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Konstanz: Bibliothek der Universität Konstanz, 2012

    Erschienen in: Technical Report soft ; 12-02