Zum Inhalt springen

  6. Stentzel, Christian Gottfried [VerfasserIn]; Quenstedt, Johann Andreas [VerfasserIn]

    Rector academiae Vitembergensis Christianus Gottfried Stentzel artis salutaris ac philosophiae doctor facultatis medicae assessor chirurgiae ac pathologiae professor publicus ordinarius civibus academicis s. p. d : [Progr. de J. A. Quenstadt]

    Bücher
    Schließen

    Merkliste

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

    Vitembergae: Eichsfeld, [1744]

  7. Stenzel, Martin [VerfasserIn] ; Nimmerjahn, Falk [AkademischeR BetreuerIn]; Nimmerjahn, Falk [Sonstige Person, Familie und Körperschaft]; Krönke, Gerhard [Sonstige Person, Familie und Körperschaft]

    12/15-lipoxygenase and its role in anti-tumor immunity

    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.

    Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2023

  8. Stenzel, Martin [VerfasserIn] ; Nimmerjahn, Falk [AkademischeR BetreuerIn]; Nimmerjahn, Falk [Sonstige Person, Familie und Körperschaft]; Krönke, Gerhard [Sonstige Person, Familie und Körperschaft]

    12/15-lipoxygenase and its role in anti-tumor immunity

    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.

    Erlangen: Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2023

  9. Aue-Ben-David, Irene [HerausgeberIn]; Lauer, Gerhard [HerausgeberIn]; Stenzel, Jürgen [HerausgeberIn]

    Constantin Brunner im Kontext : Ein Intellektueller zwischen Kaiserreich und Exil

    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.

    Berlin; München; Boston: De Gruyter Oldenbourg, 2014 ; Jerusalem: Magnes, 2014

    Erschienen in: De Gruyter eBook-Paket Geschichte

  10. Fuchss, Thomas [VerfasserIn]; Reif, Wolfgang [VerfasserIn]; Schellhorn, Gerhard [VerfasserIn]; Stenzel, Kurt [VerfasserIn]

    Three selected case studies in verification

    Aufsätze
    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.

    KITopen (Karlsruhe Institute of Technologie), 2008-01-16

  11. Heckler, Andreas Ramses [Sonstige Person, Familie und Körperschaft]; Hettler, Rudolf [Sonstige Person, Familie und Körperschaft]; Hußmann, Heinrich [Sonstige Person, Familie und Körperschaft]; Loeckx, Jacques [Sonstige Person, Familie und Körperschaft]; Reif, Wolfgang [Sonstige Person, Familie und Körperschaft]; Schellhorn, Gerhard [Sonstige Person, Familie und Körperschaft]; Stenzel, Kurt [Sonstige Person, Familie und Körperschaft]

    LEX : a case study in development and validation of formal specifications

    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.

    Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2005

    Erschienen in: Technischer Bericht ; 1996,6

  12. Heckler, Andreas Ramses [VerfasserIn]; Hettler, Rudolf [VerfasserIn]; Hussmann, Heinrich [VerfasserIn]; Loeckx, Jacques [VerfasserIn]; Reif, Wolfgang [VerfasserIn]; Schellhorn, Gerhard [VerfasserIn]; Stenzel, Kurt [VerfasserIn]

    LEX : a case study in development and validation of formal specifications

    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.

    Scientific publications of the Saarland University (UdS), 2014-04-03

  13. Grandy, Holger [VerfasserIn]; Moebius, Nina [VerfasserIn]; Bischof, Markus [VerfasserIn]; Haneberg, Dominik [VerfasserIn]; Schellhorn, Gerhard [VerfasserIn]; Stenzel, Kurt [VerfasserIn]; Reif, Wolfgang [VerfasserIn]

    The Mondex case study: from specifications to code

    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.

    Augsburg University Publication Server (OPUS), 2006-12-22

  14. Josting, Petra [HerausgeberIn]; Fähnders, Walter [HerausgeberIn]; Asholt, Wolfgang [MitwirkendeR]; Bauer, Gerhard [MitwirkendeR]; Berg, Hubert van den [MitwirkendeR]; Büning, Eleonore [MitwirkendeR]; Dolle-Weinkauf, Bernd [MitwirkendeR]; Dreier, Ricarda [MitwirkendeR]; Hansen, Andeas [MitwirkendeR]; Jung, Werner [MitwirkendeR]; Kammler, Clemens [MitwirkendeR]; Ladenthin, Volker [MitwirkendeR]; Lethen, Helmut [MitwirkendeR]; Liebs, Elke [MitwirkendeR]; Lindemann, Susanne [MitwirkendeR]; Ludewig, Peter [MitwirkendeR]; Mierau, Fritz [MitwirkendeR]; Mierau, Sieglinde [MitwirkendeR]; Münz-Koenen, Inge [MitwirkendeR]; Oeste, Bettina [MitwirkendeR]; O'Sullivan, Emer [MitwirkendeR]; Reinhardt-Becker, Elke [MitwirkendeR]; Rohrwasser, Michael [MitwirkendeR]; Schulte, Christian [MitwirkendeR]; [...]

    "Laboratorium Vielseitigkeit". Zur Literatur der Weimarer Republik : Festschrift für Helga Karrenbrock zum 60. Geburtstag - [1st ed.]

    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.

    Bielefeld: Aisthesis Verlag, 2019

  15. Bochmann, Werner Komponist; Bruhne, Lothar Komponist; Buder, Ernst Erich Komponist; Doelle, Franz Komponist; Engel-Berger, Willy Komponist; Fenyes, Peter Komponist; Grothe, Franz Komponist; Huber, Bob Komponist; Jary, Michael Komponist; Kollo, Walter Komponist; Lecuona, Margarita Komponist; Raymond, Fred Komponist; Richartz, Willy Komponist; Schmidseder, Ludwig Komponist; Siegel, Ralph Maria Komponist; Stolz, Robert Komponist; Ulfig, Walter Komponist; Wehner, Heinz Komponist; Weiss, Heinz Komponist; Winkler, Gerhard Komponist ; Benny de Weille Orchestra, Bernhard Ette Orchestra, Erhard Bauschke Orchestra, Eugen Grossmann Dance Orchestra, Eugen Wolff Orchestra, Fud Candrix Orchestra, Hans Bund Orchestra, Hans Carste Orchestra, Heinz Wehner Orchestra, James Kok Chorus, James Kok Orchestra, Joe Bund Orchestra, Ludwig Ruth Orchestra, Metropol Vocalists, Michael Jary Orchestra, Oskar Joost Orchestra, Otto Stenzel Orchestra, Robert Gaden Orchestra, Schuricke Trio, Will Glahe Dance Orchestra, Will Glahe Orchestra

    GOLDEN ERA OF THE GERMAN DANCE ORCHESTRA (THE) - Berliner Nachte, Vol. 1

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

    Jube, 100115

    Erschienen in: Jube

  20. Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt

    TAPSOFT '97: Theory and Practice of Software Development: Proving system correctness with KIV

    Aufsätze
    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.

    Springer Berlin Heidelberg, 1997

    Erschienen in: TAPSOFT '97: Theory and Practice of Software Development