Zum Inhalt springen

  5. Hillebrand, Mark [VerfasserIn] ; Paul, Wolfgang J. [MitwirkendeR]

    Address spaces and virtual memory : specification, implementation, and correctness

    Hochschulschriften
    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), 2007-09-10

  8. Broeskamp, Bernd [VerfasserIn] ; Hillebrand, Mark [HerausgeberIn]; Krüger, Paula [HerausgeberIn]; Lilge, Andrea [HerausgeberIn]; Struve, Karen [HerausgeberIn]

    Glokalisierte Körper: Körperkünste und Kulturen in Zeiten der Globalisierung

    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.

    Bielefeld: transcript Verl., 2006

    Erschienen in: Willkürliche Grenzen: das Werk Pierre Bourdieus in interdisziplinärer Anwendung- Sozialtheorie

  9. Hillebrand, Mark [Sonstige Person, Familie und Körperschaft]; Krüger, Paula [Sonstige Person, Familie und Körperschaft]; Lilge, Andrea [Sonstige Person, Familie und Körperschaft]; Struve, Karen [Sonstige Person, Familie und Körperschaft]

    Willkürliche Grenzen : Das Werk Pierre Bourdieus in interdisziplinärer Anwendung

    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: transcript Verlag, 2006 ; 2006

    Erschienen in: Sozialtheorie

  14. Alkassar, Eyad; Hillebrand, Mark A.; Paul, Wolfgang; Petrova, Elena

    Verified Software: Theories, Tools, Experiments: Automated Verification of a Small Hypervisor

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

    Erschienen in: Verified Software: Theories, Tools, Experiments

  16. Allenby, Alexander; Cunningham, Mark R.; Hillebrand-Voiculescu, Alexandra; Comte, Jean-Christophe; Doherty, Rory; Kumaresan, Deepak

    Occurrence of methane-oxidizing bacteria and methanogenic archaea in earth’s cave systems—A metagenomic analysis

    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.

    Frontiers Media SA, 2022

    Erschienen in: Frontiers in Ecology and Evolution

  17. Alkassar, Eyad; Hillebrand, Mark A.; Leinenbach, Dirk C.; Schirmer, Norbert W.; Starostin, Artem; Tsyban, Alexandra

    Balancing the Load : Leveraging a Semantics Stack for Systems Verification : Leveraging a Semantics Stack for Systems Verification

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

    Erschienen in: Journal of Automated Reasoning

  18. Cohen, Ernie; Dahlweid, Markus; Hillebrand, Mark; Leinenbach, Dirk; Moskal, Michał; Santen, Thomas; Schulte, Wolfram; Tobies, Stephan

    Lecture Notes in Computer Science: VCC: A Practical System for Verifying Concurrent C

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

    Erschienen in: Lecture Notes in Computer Science

  20. Liuzzi, Lucrezia; Quinn, Andrew J.; O’Neill, George C.; Woolrich, Mark W.; Brookes, Matthew J.; Hillebrand, Arjan; Tewarie, Prejaas

    How Sensitive Are Conventional MEG Functional Connectivity Metrics With Sliding Windows to Detect Genuine Fluctuations in Dynamic Functional Connectivity?

    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.

    Frontiers Media SA, 2019

    Erschienen in: Frontiers in Neuroscience