Zum Inhalt springen

  1. Wimmer, Ralf [HerausgeberIn] ; Gesellschaft für Informatik, Informationstechnische Gesellschaft, Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik, MBMV 19. 2016 Freiburg im Breisgau

    MBMV 2016 : 19. GI/ITG/GMM-Workshop "Methoden und Beschreibungsprachen zur Modellierung und Verifikation von Schaltungen und Systemen" : Albert-Ludwigs-Universität Freiburg im Breisgau 1.–2. März 2016

    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.

    Freiburg im Breisgau: Albert-Ludwigs-Universität, 2016

  6. Mayer, Ralf [VerfasserIn] ; Thompson, Christiane [Sonstige Person, Familie und Körperschaft]; Wimmer, Michael [Sonstige Person, Familie und Körperschaft]

    Inszenierung und Optimierung des Selbst : Zur Analyse gegenwärtiger Selbsttechnologien

    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.

    Wiesbaden: Springer Fachmedien Wiesbaden, 2013

    Erschienen in: SpringerLink ; Bücher- Springer eBook Collection

  7. Angst, Gerhard [MitwirkendeR]; Wimmer, Ralf [MitwirkendeR] ; Concept Engineering GmbH

    Frühzeitige Validierung von Safety- und Security-Anforderungen in autonomen Fahrzeugen; Kurztitel: SATiSFy : Abschlussbericht : Förderbekanntmachung: IT-Sicherheit und Autonomoes Fahren : Forschungsprogramm: Selbstbestimmt und sicher in der digitalen Welt 2015-2020 : Projektlaufzeit: 01.05.2018-31.07.2021 (incl. 3 Monate kostenneutraler Verlängerung)

    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.

    Freiburg im Breisgau: Concept Engineering GmbH, [2021?]

  8. Wimmer, Julia [Sonstige Person, Familie und Körperschaft]; Vögele, Ralf Thomas [Sonstige Person, Familie und Körperschaft]

    Plasma as a postharvest treatment against Monilia spp. on plum

    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.

    2014

    Erschienen in: eco-fruit (16. : 2014 : Stuttgart-Hohenheim): Eco-Fruit ; (2014), Seite 256-257

  10. Butkova, Yuliya [VerfasserIn]; Wimmer, Ralf [VerfasserIn]; Hermanns, Holger [VerfasserIn]

    Markov Automata on Discount!

    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.

    University of Freiburg: FreiDok, 2018

    Erschienen in: Measurement, Modelling and Evaluation of Computing Systems. - Cham : German, Reinhard (Hrsg., u.a.), 2018. - 19-34, ISBN: 978-3-319-74946-4

  11. Supplie, Lotti Marianna [VerfasserIn] ; Nave, Klaus-Armin [AkademischeR BetreuerIn]; Wimmer, Ernst A. [Sonstige Person, Familie und Körperschaft]; Heinrich, Ralf [Sonstige Person, Familie und Körperschaft]; Ehrenreich, Hannelore [Sonstige Person, Familie und Körperschaft]

    Genetic Evidence For Neuron-Glia Metabolic Coupling In The CNS

    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.

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2016

  12. Grote, Michael [VerfasserIn] ; Lührmann, Reinhard [AkademischeR BetreuerIn]; Ficner, Ralf [AkademischeR BetreuerIn]; Wimmer, Ernst A. [AkademischeR BetreuerIn]; Pöggeler, Stefanie [AkademischeR BetreuerIn]

    ˜Theœ Molecular Architecture and Structure of the Human Prp19/CDC5L Complex and 35S U5 snRNP

    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.

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2011

  13. Li, Jianwei [VerfasserIn] ; Wimmer, Ernst [AkademischeR BetreuerIn]; Wimmer, Ernst [Sonstige Person, Familie und Körperschaft]; Bucher, Gregor [Sonstige Person, Familie und Körperschaft]; Schuh, Reinhard [Sonstige Person, Familie und Körperschaft]; Stumpner, Andreas [Sonstige Person, Familie und Körperschaft]; Heinrich, Ralf [Sonstige Person, Familie und Körperschaft]; Dosch, Roland [Sonstige Person, Familie und Körperschaft]

    Fundamental efforts to develop novel biotechnological approaches in pest management applications against Coleoptera : transcriptomic exploration of the chemical defense mechanism in the red flour beetle, Tribolium castaneum

    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.

    2013

  14. Supplie, Lotti Marianna [VerfasserIn] ; Nave, Klaus-Armin [AkademischeR BetreuerIn]; Wimmer, Ernst [Sonstige Person, Familie und Körperschaft]; Heinrich, Ralf [Sonstige Person, Familie und Körperschaft]; Ehrenreich, Hannelore [Sonstige Person, Familie und Körperschaft]

    Genetic evidence for neuron-glia metabolic coupling in the CNS

    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.

    2016

  15. Ahmed, Hassan Mutasim Mohammed [VerfasserIn] ; Wimmer, Ernst A. [AkademischeR BetreuerIn]; Wimmer, Ernst A. [Sonstige Person, Familie und Körperschaft]; Bucher, Gregor [Sonstige Person, Familie und Körperschaft]; Schuh, Reinhard [Sonstige Person, Familie und Körperschaft]; Heinrich, Ralf [Sonstige Person, Familie und Körperschaft]; Jackson, Daniel John [Sonstige Person, Familie und Körperschaft]; Dosch, Roland [Sonstige Person, Familie und Körperschaft]

    Development of Transgenic Sterile Insect Technique Strains for the Invasive Fruit Pest Drosophila suzukii

    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.

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2020

  16. Wimmer, Ralf [VerfasserIn]; Karrenbauer, Andreas [VerfasserIn]; Becker, Ruben [VerfasserIn]; Scholl, Christoph [VerfasserIn]; Becker, Bernd [VerfasserIn] ; Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen Workshop 21 2018 Tübingen

    From DQBF to QBF by dependency elimination : extended abstract

    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.

    Tübingen: Universitätsbibliothek Tübingen, [2018]

    Erschienen in: MBMV 2018

  17. Wimmer, Ralf [VerfasserIn]; Karrenbauer, Andreas [VerfasserIn]; Becker, Ruben [VerfasserIn]; Scholl, Christoph [VerfasserIn]; Becker, Bernd [VerfasserIn]

    From DQBF to QBF by sependency elimination

    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.

    University of Freiburg: FreiDok, 2017

    Erschienen in: Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference,. - Cham, Switzerland : Gaspers, Serge (Hrsg., u.a.), 2017. - 326-343, ISBN: 978-3-319-66262-6

  18. Khan, Niamat [VerfasserIn] ; Groß, Uwe [AkademischeR BetreuerIn]; Pöggeler, Stefanie [Sonstige Person, Familie und Körperschaft]; Asif, Abdul Rahman [Sonstige Person, Familie und Körperschaft]; Dressel, Ralf [Sonstige Person, Familie und Körperschaft]; Kramer, Wilfried [Sonstige Person, Familie und Körperschaft]; Rohlfs, Marko [Sonstige Person, Familie und Körperschaft]; Wimmer, Ernst A. [Sonstige Person, Familie und Körperschaft]

    Comparative DNA‐Protein Interaction and Epithelial Tight Junctions Modulation Potential of Immunosuppressive Regime

    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.

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2016

  19. Galinski, Sabrina [VerfasserIn] ; Rossner, Moritz [AkademischeR BetreuerIn]; Rossner, Moritz [Sonstige Person, Familie und Körperschaft]; Göpfert, Martin [Sonstige Person, Familie und Körperschaft]; Wimmer, Ernst A. [Sonstige Person, Familie und Körperschaft]; Sereda, Michael [Sonstige Person, Familie und Körperschaft]; Heinrich, Ralf [Sonstige Person, Familie und Körperschaft]; Willig, Katrin [Sonstige Person, Familie und Körperschaft]

    Multiplexed cell-based assays to profile GPCR activities and cellular signalling

    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.

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2016

  20. Li, Jianwei [VerfasserIn] ; Wimmer, Ernst A. [AkademischeR BetreuerIn]; Bucher, Gregor [AkademischeR BetreuerIn]; Schuh, Reinhard [AkademischeR BetreuerIn]; Stumpner, Andreas [AkademischeR BetreuerIn]; Heinrich, Ralf [AkademischeR BetreuerIn]; Dosch, Roland [AkademischeR BetreuerIn]

    Fundamental Efforts to Develop Novel Biotechnological Approaches in Pest Management Applications against Coleoptera: Transcriptomic Exploration of the Chemical Defense Mechanism in the Red Flour Beetle, Tribolium castaneum

    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.

    Göttingen: Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2013