Zum Inhalt springen

  12. Reif, Wolfgang [Verfasser:in]; Stenzel, Kurt [Verfasser:in]

    Reuse of proofs in software verification : [preliminary version]

    Bücher
    Schließen

    Merkliste

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

    Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, 1992

    Erschienen in: Universität Karlsruhe (TH): Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 92,26

  16. Thurm, Joachim [Verfasser:in] ; Kretzschmar, Ingeburg [Sonstige Person, Familie und Körperschaft]; Hawemann, Horst [Sonstige Person, Familie und Körperschaft]; Schurbaum, Werner [Sonstige Person, Familie und Körperschaft]; Rockstedt, Karl Hans [Sonstige Person, Familie und Körperschaft]; Ludwig, Rolf [Ausführende:r]; Piontek, Klaus [Ausführende:r]; Greese, Wolfgang [Ausführende:r]; Antoni, Carmen-Maja [Ausführende:r]; Reif, Karin [Ausführende:r]; Koren, Helga [Ausführende:r]; Lendrich, Walter [Ausführende:r]; Herbig, Günther [Ausführende:r] Berliner Sinfonie-Orchester

    Vom Hühnchen, das goldene Eier legte : Ukrainisches Märchen (1 Schallpl)

    Audios
    Schließen

    Merkliste

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

    Berlin DDR: Deutsche Schallplatten, [19]75

    Erschienen in: Litera

  17. Walentowski, Helge [Verfasser:in]; Bergmeier, Erwin [Verfasser:in]; Evers, Jan [Verfasser:in]; Hetsch, Wolfgang [Verfasser:in]; Indreica, Adrian [Verfasser:in]; Kroiher, Franz [Verfasser:in]; Reif, Albert [Verfasser:in]; Simon, Alois [Verfasser:in]; Teodosiu, Marius [Verfasser:in] ; Bouriaud, Olivier [Mitwirkende:r]; Marin, Gheorghe [Mitwirkende:r]; Sutcliffe, Laura [Übersetzer:in] Arbeitsgemeinschaft Forstliche Standorts- und Vegetationskunde

    Vegetation und Standorte in Waldlandschaften Rumäniens : Exkursionsführer zur AFSV-Jahrestagung 2015, Tagung vom 20. - 27. Juni in Sibiu (Rumänien) = Plants and habitats of Wooded Landscapes in Romania ; Excursion guide for the AFSV 2015 Annual Meeting in Sibiu (Romania)

    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.

    Remagen-Oberwinter: Verlag Dr. Kessel, 2015

  18. Andersen, Hans Christian [Sonstige Person, Familie und Körperschaft]; Grube-Deister, Elsa [Sonstige Person, Familie und Körperschaft]; Schaale, Gerald [Sonstige Person, Familie und Körperschaft]; Geffke, Helmut [Sonstige Person, Familie und Körperschaft]; Schaarschmidt, Dieter [Sonstige Person, Familie und Körperschaft]; Gärtner, Holm [Sonstige Person, Familie und Körperschaft]; Dechant, Lutz [Sonstige Person, Familie und Körperschaft]; Oldenbürger, Hans [Sonstige Person, Familie und Körperschaft]; Bielenstein, Monika [Sonstige Person, Familie und Körperschaft]; Struck, Manfred [Sonstige Person, Familie und Körperschaft]; Müller-Dhein, Wolfgang [Sonstige Person, Familie und Körperschaft]; Hawemann, Horst [Sonstige Person, Familie und Körperschaft]; Reif, Karin [Sonstige Person, Familie und Körperschaft]; Brosch, Elke [Sonstige Person, Familie und Körperschaft]; Möbius, Heiner [Sonstige Person, Familie und Körperschaft]; Aust, Konrad [Sonstige Person, Familie und Körperschaft]; Ludwig, Rolf [Sonstige Person, Familie und Körperschaft]; Korén, Juliane [Sonstige Person, Familie und Körperschaft]; Wickenhauser, Walter [Sonstige Person, Familie und Körperschaft]; Antoni, Carmen-Maja [Sonstige Person, Familie und Körperschaft]; Ritter, Gudrun [Sonstige Person, Familie und Körperschaft]

    Der standhafte Zinnsoldat : nach dem Märchen von Hans Christian Andersen (1 Schallpl)

    Audios
    Schließen

    Merkliste

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

    Berlin, DDR: Deutsche Schallplatten, 1981

    Erschienen in: Litera

  19. Andersen, Hans Christian [Sonstige Person, Familie und Körperschaft]; Grube-Deister, Elsa [Sonstige Person, Familie und Körperschaft]; Schaale, Gerald [Sonstige Person, Familie und Körperschaft]; Geffke, Helmut [Sonstige Person, Familie und Körperschaft]; Schaarschmidt, Dieter [Sonstige Person, Familie und Körperschaft]; Gärtner, Holm [Sonstige Person, Familie und Körperschaft]; Dechant, Lutz [Sonstige Person, Familie und Körperschaft]; Oldenbürger, Hans [Sonstige Person, Familie und Körperschaft]; Bielenstein, Monika [Sonstige Person, Familie und Körperschaft]; Struck, Manfred [Sonstige Person, Familie und Körperschaft]; Müller-Dhein, Wolfgang [Sonstige Person, Familie und Körperschaft]; Hawemann, Horst [Sonstige Person, Familie und Körperschaft]; Reif, Karin [Sonstige Person, Familie und Körperschaft]; Brosch, Elke [Sonstige Person, Familie und Körperschaft]; Möbius, Heiner [Sonstige Person, Familie und Körperschaft]; Aust, Konrad [Sonstige Person, Familie und Körperschaft]; Ludwig, Rolf [Sonstige Person, Familie und Körperschaft]; Korén, Juliane [Sonstige Person, Familie und Körperschaft]; Wickenhauser, Walter [Sonstige Person, Familie und Körperschaft]; Antoni, Carmen-Maja [Sonstige Person, Familie und Körperschaft]; Ritter, Gudrun [Sonstige Person, Familie und Körperschaft]

    Der standhafte Zinnsoldat : nach dem Märchen von Hans Christian Andersen : für die Schallplatte neu geschrieben von Horst Hawemann. Musik: Konrad Aust. Regie: Heiner Möbius (1 Tonkassette)

    Audios
    Schließen

    Merkliste

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

    Berlin, DDR: Deutsche Schallplatten, 1981

    Erschienen in: Litera

  20. Luther, Martin [Verfasser:in] ; Buddeus, Johann Franz [Herausgeber:in]; Agricola, Johannes [Adressat:in]; Melanchthon, Philipp [Adressat:in]; Probst, Jakob [Adressat:in]; Didymus, Gabriel [Adressat:in]; Brenz, Johannes [Adressat:in]; Johann Friedrich I. Sachsen, Kurfürst [Adressat:in]; Brück, Gregor [Adressat:in]; Weller, Hieronymus [Adressat:in]; Spengler, Lazarus [Adressat:in]; Senfl, Ludwig [Adressat:in]; Spalatin, Georg [Adressat:in]; Ernst Braunschweig-Lüneburg-Celle, Herzog [Adressat:in]; Löner, Kaspar [Adressat:in]; Medler, Nicolaus [Adressat:in]; Reiff, Leonhard [Adressat:in]; Gerbel, Nikolaus [Adressat:in]; Ebert, Andreas [Adressat:in]; Böcklin, David Ulrich [Illustrator:in]; Böcklin, David Ulrich [Sonstige Person, Familie und Körperschaft]; Stifel, Michael [Adressat:in]; Hausmann, Nikolaus [Adressat:in]; Cordatus, Konrad [Adressat:in]; Jonas, Justus [Adressat:in]; [...] Franckesche Stiftungen zu Halle Waisenhaus

    Collectio Nova Epistolarum Martini Lutheri, Occasione Iubilaei Evangelici In Lucem Data

    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.

    Halae Magdeburgicae: Typis Et Impensis Orphanotrophii, 1717

    Sächsische Bibliografie