Zum Inhalt springen

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

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

    Audios
    Schließen

    Merkliste

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

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

  2. Händel, Georg Friedrich [Sonstige Person, Familie und Körperschaft]; Enslin, Karl [Sonstige Person, Familie und Körperschaft]; Becker, Jürgen [Sonstige Person, Familie und Körperschaft]; Bauersachs, Edwin [Sonstige Person, Familie und Körperschaft]; Meyer, Dietmar [Sonstige Person, Familie und Körperschaft]; Rochlich, Gustav [Sonstige Person, Familie und Körperschaft]; Merkel, Hellmuth [Sonstige Person, Familie und Körperschaft]; Retsch, Paul [Sonstige Person, Familie und Körperschaft]; Drechsler, Gertrud Liska [Sonstige Person, Familie und Körperschaft]; Sonntag, Manfred [Sonstige Person, Familie und Körperschaft]; Silcher, Friedrich [Sonstige Person, Familie und Körperschaft]; Kircheis, Friedrich [Sonstige Person, Familie und Körperschaft]; Pollmer, Karl Hans [Sonstige Person, Familie und Körperschaft]; Dietrich, Stephan [Sonstige Person, Familie und Körperschaft]; Naumilkat, Hans [Sonstige Person, Familie und Körperschaft]; Naumilkat, Ilse [Sonstige Person, Familie und Körperschaft]; Ebel, Eduard [Sonstige Person, Familie und Körperschaft]; Schmutzler, Mathias [Sonstige Person, Familie und Körperschaft]; Praetorius, Michael [Sonstige Person, Familie und Körperschaft]; Wolters, Gottfried [Sonstige Person, Familie und Körperschaft]; Stölzel, Gottfried Heinrich [Sonstige Person, Familie und Körperschaft]; Schröter, Leonhart [Sonstige Person, Familie und Körperschaft]; Riedel, Carl [Sonstige Person, Familie und Körperschaft]; Gruber, Franz Xaver [Sonstige Person, Familie und Körperschaft]; [...] ; 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)

    Audios
    Schließen

    Merkliste

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

    Berlin: B.T.Music, P 2003

    Erschienen in: Phonica

    Sächsische Bibliografie

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

    Antibiotics-induced monodominance of a novel gut bacterial order

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    BMJ, 2019-10

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

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

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin; Boston: De Gruyter, [2022]

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

  5. Steffen, Bernhard; Howar, Falk; Merten, Maik

    Formal Methods for Eternal Networked Software Systems: Introduction to Active Automata Learning from a Practical Perspective

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2011

    Erschienen in: Formal Methods for Eternal Networked Software Systems

  6. 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

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2012

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

  7. 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

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2012

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

  8. 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

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2012

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

  9. 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

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2012

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

  10. 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

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2012

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

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

    Automated Technology for Verification and Analysis: A Succinct Canonical Register Automaton Model

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2011

    Erschienen in: Automated Technology for Verification and Analysis

  12. Merten, Maik; Steffen, Bernhard; Howar, Falk; Margaria, Tiziana

    Tools and Algorithms for the Construction and Analysis of Systems: Next Generation LearnLib

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2011

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