Zum Inhalt springen

  2. Humperdinck, Engelbert [VerfasserIn] ; Wette, Adelheid [Sonstige Person, Familie und Körperschaft]; Prey, Hermann [AusführendeR]; Gramatzki, Ilse [AusführendeR]; Hug, Eugen [AusführendeR]; Lindner, Brigitte [AusführendeR]; Moser, Edda [AusführendeR]; Roleff, Ursula [AusführendeR]; Fron, Thomas [AusführendeR]; Wallberg, Heinz [AusführendeR]; Frohn, Thomas [AusführendeR] Kölner Kinderchor, Gürzenich-Orchester Köln

    Hänsel und Gretel : Märchenspiel in drei Bildern (2 CDs)

    Audios
    Schließen

    Merkliste

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

    Köln: EMI-Electrola, c 1988

  3. Humperdinck, Engelbert [VerfasserIn] ; Wette, Adelheid [Sonstige Person, Familie und Körperschaft]; Prey, Hermann [AusführendeR]; Gramatzki, Ilse [AusführendeR]; Hug, Eugen [AusführendeR]; Lindner, Brigitte [AusführendeR]; Moser, Edda [AusführendeR]; Roleff, Ursula [AusführendeR]; Frohn, Thomas [AusführendeR]; Lenders, Hans-Günter [AusführendeR]; Wallberg, Heinz [AusführendeR] Kölner Kinderchor, Gürzenich-Orchester Köln

    Hänsel und Gretel : Märchenspiel in drei Bildern (2 CDs)

    Audios
    Schließen

    Merkliste

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

    [Köln]: Warner Music Group Germany Holding GmbH, c 2011

    Erschienen in: Cologne collection

  4. Frohn, Florian [VerfasserIn]; Giesl, Jürgen [VerfasserIn]; Hensel, Jera [VerfasserIn]; Aschermann, Cornelius [VerfasserIn]; Ströder, Thomas [VerfasserIn] ; Florian Frohn and Jürgen Giesl and Jera Hensel and Cornelius Aschermann and Thomas Ströder [MitwirkendeR]

    Inferring Lower Bounds for Runtime Complexity

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Schloss-Dagstuhl - Leibniz Zentrum für Informatik, 2015

  5. Schmitt, Tobias W [VerfasserIn]; Frohn, Benedikt [VerfasserIn]; Grützmacher, Detlev [VerfasserIn]; Schüffelgen, Peter [VerfasserIn]; Wittl, Wilhelm [VerfasserIn]; Jalil, Abdur R [VerfasserIn]; Schleenvoigt, Michael [VerfasserIn]; Zimmermann, Erik [VerfasserIn]; Schmidt, Anne [VerfasserIn]; Schäpers, Thomas [VerfasserIn]; Cuevas, Juan Carlos [VerfasserIn]; Brinkman, Alexander [VerfasserIn]

    Anomalous temperature dependence of multiple Andreev reflections in a topological insulator Josephson junction

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    IOP Publ., 2023

    Erschienen in: Superconductor science and technology 36(2), 024002 - (2023). doi:10.1088/1361-6668/aca4fe

  8. Hensel, Jera; Emrich, Frank; Frohn, Florian; Ströder, Thomas; Giesl, Jürgen

    Tools and Algorithms for the Construction and Analysis of Systems: AProVE: Proving and Disproving Termination of Memory-Manipulating C Programs : (Competition Contribution)

    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, 2017

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

  9. Hensel, Jera; Giesl, Jürgen; Frohn, Florian; Ströder, Thomas

    Software Engineering and Formal Methods: Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution

    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 International Publishing, 2016

    Erschienen in: Software Engineering and Formal Methods

  10. Ströder, Thomas; Aschermann, Cornelius; Frohn, Florian; Hensel, Jera; Giesl, Jürgen

    Tools and Algorithms for the Construction and Analysis of Systems: AProVE: Termination and Memory Safety of C Programs : (Competition Contribution)

    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, 2015

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

  13. Meischein, Michael; Garzón-Manjón, Alba; Frohn, Thomas; Meyer, Hajo; Salomon, Steffen; Scheu, Christina; Ludwig, Alfred

    Combinatorial Synthesis of Binary Nanoparticles in Ionic Liquids by Cosputtering and Mixing of Elemental Nanoparticles

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    American Chemical Society (ACS), 2019

    Erschienen in: ACS Combinatorial Science

  15. Ströder, Thomas; Giesl, Jürgen; Brockschmidt, Marc; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Schneider-Kamp, Peter

    Automated Reasoning: Proving Termination and Memory Safety for Programs with Pointer Arithmetic

    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 International Publishing, 2014

    Erschienen in: Automated Reasoning

  16. Ströder, Thomas; Giesl, Jürgen; Brockschmidt, Marc; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Schneider-Kamp, Peter; Aschermann, Cornelius

    Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Springer Science and Business Media LLC, 2017

    Erschienen in: Journal of Automated Reasoning

  17. Schmitt, Tobias W; Frohn, Benedikt; Wittl, Wilhelm; Jalil, Abdur R; Schleenvoigt, Michael; Zimmermann, Erik; Schmidt, Anne; Schäpers, Thomas; Cuevas, Juan Carlos; Brinkman, Alexander; Grützmacher, Detlev; Schüffelgen, Peter

    Anomalous temperature dependence of multiple Andreev reflections in a topological insulator Josephson junction

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    IOP Publishing, 2023

    Erschienen in: Superconductor Science and Technology

  18. Poulsen, Aslak H.; Sørensen, Mette; Hvidtfeldt, Ulla A.; Christensen, Jesper H.; Brandt, Jørgen; Frohn, Lise M.; Ketzel, Matthias; Andersen, Christopher; Jensen, Steen Solvang; Münzel, Thomas; Raaschou-Nielsen, Ole

    Concomitant exposure to air pollution, green space, and noise and risk of stroke: a cohort study from Denmark

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Elsevier BV, 2023

    Erschienen in: The Lancet Regional Health - Europe

  19. Sørensen, Mette; Poulsen, Aslak H.; Hvidtfeldt, Ulla A.; Brandt, Jørgen; Frohn, Lise M.; Ketzel, Matthias; Christensen, Jesper H.; Im, Ulas; Khan, Jibran; Münzel, Thomas; Raaschou-Nielsen, Ole

    Air pollution, road traffic noise and lack of greenness and risk of type 2 diabetes: A multi-exposure prospective study covering Denmark

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Elsevier BV, 2022

    Erschienen in: Environment International

  20. Mauri, Victor; Deuschl, Florian; Frohn, Thomas; Schofer, Niklas; Linder, Matthias; Kuhn, Elmar; Schaefer, Andreas; Rudolph, Volker; Madershahian, Navid; Conradi, Lenard; Rudolph, Tanja K.; Schäfer, Ulrich

    Predictors of paravalvular regurgitation and permanent pacemaker implantation after TAVR with a next-generation self-expanding device

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

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

    Springer Science and Business Media LLC, 2018

    Erschienen in: Clinical Research in Cardiology