Zum Inhalt springen

  1. Reif, Wolfgang [VerfasserIn]; Stenzel, Kurt [VerfasserIn]

    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

  2. Olivieri, Dino [KomponistIn]; Siegel, Ralph Maria [TextdichterIn]; Huebner, Ernst [KomponistIn]; Daehn, Kurt [KomponistIn]; Rehs, Evelyn [TextdichterIn] ; Bernauer, Luigi [SängerIn]; Schuricke, Rudi [SängerIn]; Stenzel, Otto [DirigentIn] Otto Stenzel von der Scala Berlin mit Seinem Tanzorchester, Walter Raatzke mit seinem Orchester, Kurt Widmann und Sein Orchester

    Komm zurück : [Tornerai : Foxtrot-Melodie] (1 Schellackplatte)

    Audios
    Schließen

    Merkliste

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

    Berlin: Lied der Zeit GmbH, [1947?]

  3. Oesterle, Andreas [Sonstige Person, Familie und Körperschaft]; Mezger, Peter [Sonstige Person, Familie und Körperschaft]; Stenzel, Kurt [Sonstige Person, Familie und Körperschaft]; Faṛhāt-Nāṣir, Sumaiya H. [Sonstige Person, Familie und Körperschaft]; Shoval, Salman [Sonstige Person, Familie und Körperschaft]

    Es begann am 5. Juni : 30 Jahre 6-Tage-Krieg (1 Videokassette)

    Videos
    Schließen

    Merkliste

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

    [S.l.]: SDR [u.a.], 1997

  4. Enders, Werner [Sonstige Person, Familie und Körperschaft]; Krieger, Wilhelm [Sonstige Person, Familie und Körperschaft]; Osterloh, Hans [Sonstige Person, Familie und Körperschaft]; Schmidt, Kurt [Sonstige Person, Familie und Körperschaft]; Stenzel, Claus [Sonstige Person, Familie und Körperschaft]; Volck, Bernhard [Sonstige Person, Familie und Körperschaft]

    Möbelindustrie in USA : Eindrücke e. Studiengruppe von Fachleuten d. Berliner Möbelindustrie

    Bücher
    Schließen

    Merkliste

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

    München: Hanser, 1958

    Erschienen in: Rationalisierungs-Kuratorium der Deutschen Wirtschaft: RKW-Auslandsdienst ; 54

  5. Rambour, Emanuel [AusführendeR]; Engel, Kurt [AusführendeR] ; Arne Hülphers Und Sein Tanzorchester, Peter Igelhoff mit Seinem Ensemble, Bernhard Etté und Sein Orchester, Kapelle Siegfried Erhardt, Kurt Henneberg Und Sein Orchester, Joop Carlquist & seine Hawaiians, Kurt Wege und Seine Solisten, Hans Carste und Sein Orchester, Barnabas von Géczy und Sein Orchester, Otto Stenzel von der Scala Berlin mit Seinem Tanzorchester, Günter Herzog Und Sein Tanzorchester, Ernst van t'Hoff und Sein Orchester, Jean Omer und Sein Orchester, Tanzorchester Fud Candrix, Robert Gaden und Sein Orchester, Georges Boulanger mit Seinem Orchester, Will-Glahé-Big-Band, Pat Bonen Und Sein Tanzorchester

    CD 4 (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.]: Membran Music, 2004

    Erschienen in: Swing tanzen verboten ; 1: Swing tanzen verboten - Volume 1 ; 2004

  6. Liebeneiner, Wolfgang [Sonstige Person, Familie und Körperschaft]; Hachfeld, Eckart [Sonstige Person, Familie und Körperschaft]; Hašek, Jaroslav [Sonstige Person, Familie und Körperschaft]; Neumann, Götz [Sonstige Person, Familie und Körperschaft]; Muliar, Fritz [Sonstige Person, Familie und Körperschaft]; Jaggberg, Kurt [Sonstige Person, Familie und Körperschaft]; Schweiger, Heinrich [Sonstige Person, Familie und Körperschaft]

    Die Abenteuer des braven Soldaten Schwejk

    Videos
    Schließen

    Merkliste

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

    Gescher: Polar-Film, 20XX-

  7. Kurt Widmann und Sein Orchester, Erhard Bauschke und Sein Orchester, Robert Gaden und Sein Orchester, Bernhard Etté und Sein Orchester, Otto Stenzel von der Scala Berlin mit Seinem Tanzorchester, Benny de Weille mit Seinem Orchester, Albert Vossen mit Seinem Orchester, Hans Carste und Sein Orchester, Arne Hülphers und Sein Orchester, Eugen Grossmann und sein Orchester, Georg Grohrock-Ferrari und sein Orchester, Adalbert Lutter und Sein Tanzorchester, Eric Harden und sein Orchester, Tanzorchester Fud Candrix, Oscar Joost und Sein Orchester, Orchester Billy Bartholomew, Willy Berking und Sein Orchester, Lewis-Ruth-Band

    Berliner Nächte / 2 (1 CD)

    Audios
    Schließen

    Merkliste

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

    Erftstadt: JUBE, P 2006

    Erschienen in: Berliner Nächte ; 2

  8. Stephenson, Kurt [HerausgeberIn]; Haydn, Joseph [Sonstige Person, Familie und Körperschaft]; Mozart, Wolfgang Amadeus [Sonstige Person, Familie und Körperschaft]; Beethoven, Ludwig van [Sonstige Person, Familie und Körperschaft]; Fellerer, Karl Gustav [HerausgeberIn]; Scarlatti, Domenico [Sonstige Person, Familie und Körperschaft]; Sammartini, Giovanni Battista [Sonstige Person, Familie und Körperschaft]; Telemann, Georg Philipp [Sonstige Person, Familie und Körperschaft]; Quantz, Johann Joachim [Sonstige Person, Familie und Körperschaft]; Monn, Matthias Georg [Sonstige Person, Familie und Körperschaft]; Stamitz, Johann [Sonstige Person, Familie und Körperschaft]; Bach, Carl Philipp Emanuel [Sonstige Person, Familie und Körperschaft]

    Die musikalische Klassik - Partitur

    Noten
    Schließen

    Merkliste

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

    Köln: Volk, [1953]

    Erschienen in: Das Musikwerk ; 6

  9. Boccherini, Luigi [KomponistIn] ; Vivaldi, Antonio [Sonstige Person, Familie und Körperschaft]; Corelli, Arcangelo [Sonstige Person, Familie und Körperschaft]; Heinichen, Johann David [Sonstige Person, Familie und Körperschaft]; Molter, Johann Melchior [Sonstige Person, Familie und Körperschaft]; Händel, Georg Friedrich [Sonstige Person, Familie und Körperschaft]; Bach, Johann Sebastian [Sonstige Person, Familie und Körperschaft]; Telemann, Georg Philipp [Sonstige Person, Familie und Körperschaft]; Stamitz, Johann [Sonstige Person, Familie und Körperschaft]; Manfredini, Francesco [Sonstige Person, Familie und Körperschaft]; Locatelli, Pietro Antonio [Sonstige Person, Familie und Körperschaft]; Haenchen, Hartmut [AusführendeR] Kammerorchester Carl Philipp Emanuel Bach

    Christmas concertos : German and Italian Christmas music = Weihnachtskonzerte (2 CDs in Box)

    Audios
    Schließen

    Merkliste

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

    [S.l.]: Sony Classical, P 1993

  10. Murschhauser, Franz Xaver [KomponistIn]; Fischer, Johann Caspar Ferdinand [KomponistIn]; Muffat, Georg [KomponistIn]; Bach, Johann Sebastian [KomponistIn]; Stölzel, Gottfried Heinrich [KomponistIn]; Händel, Georg Friedrich [KomponistIn]; Telemann, Georg Philipp [KomponistIn]; Rathgeber, Valentin [KomponistIn]; Gluck, Christoph Willibald [KomponistIn]; Bach, Johann Christoph Friedrich [KomponistIn]; Praetorius, Michael [KomponistIn]; Schobert, Johann [KomponistIn]; Stamitz, Johann [KomponistIn]; Richter, Franz Xaver [KomponistIn]; Wagenseil, Georg Christoph [KomponistIn]; Beethoven, Ludwig van [KomponistIn]; Weber, Carl Maria von [KomponistIn]; Schubert, Franz [KomponistIn]; Schumann, Robert [KomponistIn]; Bizet, Georges [KomponistIn]; Grieg, Edvard [KomponistIn]; Lully, Jean-Baptiste [KomponistIn]; Ravel, Maurice [KomponistIn]; Saint-Luc, Jacques [KomponistIn]; [...] ; Martens, Heinrich [HerausgeberIn]

    Das Menuett

    Noten
    Schließen

    Merkliste

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

    Wolfenbüttel: Möseler, 1958

    Erschienen in: Musikalische Formen in historischen Reihen