Treffer 1 - 8 von 8 für Suche 'Nitzke, Lars', Suchdauer: 0,32s Treffer weiter einschränken
  1. 1
    Petrification: Software Model Checking for Programs with Dynamic Thread Management

    Petrification: Software Model Checking for Programs with Dynamic Thread Management von Heizmann, Matthias, Klumpp, Dominik, Nitzke, Lars, Schüssele, Frank


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version)

    Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version) von Heizmann, Matthias, Klumpp, Dominik, Schüssele, Frank, Nitzke, Lars

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version)

    Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version) von Heizmann, Matthias, Klumpp, Dominik, Schüssele, Frank, Nitzke, Lars

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Prekäre Heimat. Programmatik und Scheitern eines Entstörungsversuchs

    Prekäre Heimat. Programmatik und Scheitern eines Entstörungsversuchs von Nitzke, Solvejg, Koch, Lars


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    CHERNOBYL« UND DIE HALBWERTSZEITEN DER ANGST

    CHERNOBYL« UND DIE HALBWERTSZEITEN DER ANGST von Koch, Lars, Nitzke, Solvejg

    Veröffentlicht in Pop (Bielefeld.)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Kontaktszenen. Narrative gestörter Wissenskommunikation

    Kontaktszenen. Narrative gestörter Wissenskommunikation von Koch, Lars, Nitzke, Solvejg


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Prekäre Heimat. Programmatik und Scheitern eines Entstörungsversuchs

    Prekäre Heimat. Programmatik und Scheitern eines Entstörungsversuchs von Nitzke, Solvejg, Koch, Lars


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Prekäre Heimat. Programmatik und Scheitern eines Entstörungsversuchs

    Prekäre Heimat. Programmatik und Scheitern eines Entstörungsversuchs von Nitzke, Solvejg, Koch, Lars


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: