Skip to contents

  3. Gruber, Franz Xaver [Other]; Keller, Hermann [Other]; Schumann, Valentin [Other]; Luther, Martin [Other]; Praetorius, Michael [Other]; Böhm, Georg [Other]; Kritzinger, Friedrich Wilhelm [Other]; Reger, Max [Other]; Falk, Johann Daniel [Other]; Mohr, Joseph [Other]; Schreck, Gustav [Adapter]; Ebel, Eduard [Other]; Bach, Johann Sebastian [Other]; Buxtehude, Dietrich [Other]; Riedel, Carl [Adapter]; Ranke, Friedrich Heinrich [Adapter]; Zachow, Friedrich Wilhelm [Other]; Rotzsch, Hans-Joachim [Performer]; Schreier, Peter [Performer]; Burmeister, Annelies [Performer]; Flämig, Martin [Performer]; Probst, Dietrich W. [Performer]; Otto, Hans [Performer]; Kästner, Hannes [Performer]; [...] ; Thomanerchor Leipzig, Staatskapelle Dresden, Dresdner Philharmonie, Dresdner Kreuzchor

    Vom Himmel hoch da komm ich her : die schönsten Weihnachtsmelodien (1 CD)

    Sound Recordings
    Close

    Bookmarks

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

    [S.l.]: Edel classics, c 2003

  4. Händel, Georg Friedrich [Other]; Enslin, Karl [Other]; Becker, Jürgen [Other]; Bauersachs, Edwin [Other]; Meyer, Dietmar [Other]; Rochlich, Gustav [Other]; Merkel, Hellmuth [Other]; Retsch, Paul [Other]; Drechsler, Gertrud Liska [Other]; Sonntag, Manfred [Other]; Silcher, Friedrich [Other]; Kircheis, Friedrich [Other]; Pollmer, Karl Hans [Other]; Dietrich, Stephan [Other]; Naumilkat, Hans [Other]; Naumilkat, Ilse [Other]; Ebel, Eduard [Other]; Schmutzler, Mathias [Other]; Praetorius, Michael [Other]; Wolters, Gottfried [Other]; Stölzel, Gottfried Heinrich [Other]; Schröter, Leonhart [Other]; Riedel, Carl [Other]; Gruber, Franz Xaver [Other]; [...] ; Hasse-Consort, Concertino Dresden, Thomanerchor Leipzig, Philharmonischer Kinderchor Dresden, Semper Brass Dresden, Dresdner Kreuzchor, Bergbläser Geyer, Zschorlauer Nachtigallen, Sächsische Staatskapelle Dresden, Erzgebirgsgruppe Ehrenfriedersdorf

    Weihnachten in Sachsen : mit dem neuen Geläut der Dresdner Frauenkirche (1 CD)

    Sound Recordings
    Close

    Bookmarks

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

    Berlin: B.T.Music, P 2003

    Published in: Phonica

    Saxon Bibliography (Sächsische Bibliografie)
  5. Hildebrand, Falk [Author]; Moitinho-Silva, Lucas [Author]; Blasche, Sonja [Author]; Jahn, Martin T. [Author]; Gossmann, Toni Ingolf [Author]; Heuerta-Cepas, Jaime [Author]; Hercog, Rajna [Author]; Luetge, Mechthild [Author]; Bahram, Mohammad [Author]; Pryszlak, Anna [Author]; Alves, Renato J [Author]; Waszak, Sebastian M [Author]; Zhu, Ana [Author]; Ye, Lumeng [Author]; Costea, Paul Igor [Author]; Aalvink, Steven [Author]; Belzer, Clara [Author]; Forslund, Sofia K [Author]; Sunagawa, Shinichi [Author]; Hentschel, Ute [Author]; Merten, Christoph [Author]; Patil, Kiran Raosaheb [Author]; Benes, Vladimir [Author]; Bork, Peer [Author]

    Antibiotics-induced monodominance of a novel gut bacterial order

    Articles
    View online
    Schließen

    Access

    Close

    Bookmarks

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

    BMJ, 2019-10

  6. Beckes, M. [Contributor]; Bernau, H [Contributor]; Blum, H. [Contributor]; Bock, H. G [Contributor]; Bohmer, K [Contributor]; Bongees, A [Contributor]; Bühnen, K [Contributor]; Colgen, R [Contributor]; Crusius, K [Contributor]; Dbols, W [Contributor]; Deeken, G [Contributor]; D’Ambbogio, E. [Contributor]; El Naschie, M. S [Contributor]; Elsaesser, U [Contributor]; Elsner, L. [Contributor]; Engl, H. W. [Contributor]; Exneb, H [Contributor]; Falk, S. [Contributor]; Fobsteb, W [Contributor]; Frank, E [Contributor]; Förstes, K.-J [Contributor]; Gakay, B. M. [Contributor]; Glotz, G [Contributor]; Gustatson, S . - A [Contributor]; [...]

    Zeitschrift für Angewandte Mathematik und Mechanik : Band 61, Heft 5 - [Reprint 2022]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Berlin; Boston: De Gruyter, [2022]

    Published in: Zeitschrift für Angewandte Mathematik und Mechanik ; Band 61, Heft 5

  12. Merten, Maik; Howar, Falk; Steffen, Bernhard; Pellicione, Patrizio; Tivoli, Massimo

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: Automated Inference of Models for Black Box Systems Based on Interface Descriptions

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer Berlin Heidelberg, 2012

    Published in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

  13. Merten, Maik; Isberner, Malte; Howar, Falk; Steffen, Bernhard; Margaria, Tiziana

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: Automated Learning Setups in Automata Learning

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer Berlin Heidelberg, 2012

    Published in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

  14. Howar, Falk; Isberner, Malte; Merten, Maik; Steffen, Bernhard

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: LearnLib Tutorial: From Finite Automata to Register Interface Programs

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer Berlin Heidelberg, 2012

    Published in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

  15. Howar, Falk; Isberner, Malte; Merten, Maik; Steffen, Bernhard; Beyer, Dirk

    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer Berlin Heidelberg, 2012

    Published in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

  16. Merten, Maik; Howar, Falk; Steffen, Bernhard; Cassel, Sofia; Jonsson, Bengt

    Tools and Algorithms for the Construction and Analysis of Systems: Demonstrating Learning of Register Automata

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer Berlin Heidelberg, 2012

    Published in: Tools and Algorithms for the Construction and Analysis of Systems