Zum Inhalt springen

  2. Schmitt, Claudia [Herausgeber:in]; Solte-Gresser, Christiane [Herausgeber:in] ; Deutsche Gesellschaft für Allgemeine und Vergleichende Literaturwissenschaft Tagung 16. 2014 Saarbrücken, Deutsche Gesellschaft für Allgemeine und Vergleichende Literaturwissenschaft, Universität des Saarlandes, AISTHESIS Verlag GmbH & Co. KG

    Literatur und Ökologie : neue literatur- und kulturwissenschaftliche Perspektiven

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

  3. Mehnert, Hannes [Verfasser:in]

    Domain Name System: Hierarchical decentralized naming system used since 30 years

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

    [Erscheinungsort nicht ermittelbar]: Chaos Computer Club e.V, 2018

    Erschienen in: 35C3 Refreshing Memories ; (Jan. 2018)

  4. Mehnert, Hannes [Verfasser:in]

    Leaving legacy behind: Reducing carbon footprint of network services with MirageOS unikernels

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

    [Erscheinungsort nicht ermittelbar]: Chaos Computer Club e.V, 2019

    Erschienen in: 36C3: Resource Exhaustion ; (Jan. 2019)

  7. Mehnert, Hannes [Verfasser:in]; Bengtson, Jesper [Verfasser:in]

    Kopitiam - a unified IDE for developing formally verified Java programs

    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.

    Copenhagen, Denmark: IT University of Copenhagen, May 2013

    Erschienen in: IT University technical report series ; 167

  8. Rieger, Frank [Verfasser:in]; Gremme, Gordon [Verfasser:in]; Menk, Matthias [Verfasser:in]; Mehnert, Hannes [Verfasser:in]; Senior, Thomas Benjamin [Verfasser:in]; Welte, Harald [Verfasser:in]

    Software sprint (prototype fund) : Auswahlrunde September 2018 : konsolidierter Schlussbericht : Laufzeit der Einzelvorhaben: 01.03.2019-31.08.2019

    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]: [DLR Projektträger], 11.12.2019

  13. Bishop, Steve; Fairbairn, Matthew; Mehnert, Hannes; Norrish, Michael; Ridge, Tom; Sewell, Peter; Smith, Michael; Wansbrough, Keith

    Engineering with Logic : Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API : Rigorous Test-Oracle Specification and Validation for TCP/IP and the Sockets API

    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.

    Association for Computing Machinery (ACM), 2019

    Erschienen in: Journal of the ACM, 66 (2019) 1, Seite 1-77

  14. Mehnert, Edward; Damico, James; Frailey, Scott; Leetaru, Hannes; Lin, Yu-Feng; Okwen, Roland; Adams, Nathaniel; Storsved, Brynne; Valocchi, Albert

    Development of a Basin-scale Model for CO2 Sequestration in the Basal Sandstone Reservoir of the Illinois Basin-issues, Approach and Preliminary Results

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

    Erschienen in: Energy Procedia, 37 (2013), Seite 3850-3858

  15. Leetaru, Hannes E.; Frailey, Scott M.; Damico, James; Mehnert, Edward; Birkholzer, Jens; Zhou, Quanlin; Jordan, Preston D.

    Understanding CO2 Plume Behavior and Basin-Scale Pressure Changes during Sequestration Projects through the use of Reservoir Fluid Modeling

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

    Erschienen in: Energy Procedia, 1 (2009) 1, Seite 1799-1806

  16. Spittel, Hannes; Kubek, Florian; Kreskowski, Katharina; Ziegler, Monika; Klein, Elisabeth; Hamid, Ahmed B.; Kosyakova, Nadezda; Radhakrishnan, Gopakumar; Junge, Annelore; Kozlowski, Peter; Schulze, Berndt; Martin, Thomas; Huhle, Dagmar; Mehnert, Karl; Rodríguez, Laura; Ergun, Mehmet A.; Sarri, Catherine; Militaru, Mariela; Stipoljev, Fedora; Tittelbach, Hanne; Vasheghani, Faezeh; de Bello Cioffi, Marcelo; Hussein, Shaymaa S.; Fan, Xiaobo; [...]

    Mitotic Stability of Small Supernumerary Marker Chromosomes: A Study Based on 93 Immortalized Cell Lines

    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.

    S. Karger AG, 2014

    Erschienen in: Cytogenetic and Genome Research, 142 (2014) 3, Seite 151-160