Treffer 1 - 20 von 853 für Suche 'Kaiser, Oliver', Suchdauer: 0,83s Treffer weiter einschränken
  1. 1
    MoSeL: a general, extensible modal framework for interactive proofs in separation logic

    MoSeL: a general, extensible modal framework for interactive proofs in separation logic von Krebbers, Robbert, Jourdan, Jacques-Henri, Jung, Ralf, Tassarotti, Joseph, Kaiser, Jan-Oliver, Timany, Amin, Charguéraud, Arthur, Dreyer, Derek


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Mtac2: typed tactics for backward reasoning in Coq

    Mtac2: typed tactics for backward reasoning in Coq von Kaiser, Jan-Oliver, Ziliani, Beta, Krebbers, Robbert, Régis-Gianas, Yann, Dreyer, Derek


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    A Constructive Theory of Regular Languages in Coq

    A Constructive Theory of Regular Languages in Coq von Doczkal, Christian, Kaiser, Jan-Oliver, Smolka, Gert


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    RustBelt meets relaxed memory

    RustBelt meets relaxed memory von Dang, Hoang-Hai, Jourdan, Jacques-Henri, Kaiser, Jan-Oliver, Dreyer, Derek


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Ein Superkondensator für die Blutbahn

    Ein Superkondensator für die Blutbahn von Kaiser, Oliver S.

    Veröffentlicht in VDI Nachrichten

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Bewertung und Entwicklung urbaner Fließgewässer unter aktiver Einbeziehung der Öffentlichkeit: Das Projekt StadtGewässer

    Bewertung und Entwicklung urbaner Fließgewässer unter aktiver Einbeziehung der Öffentlichkeit: Das Projekt StadtGewässer von Kaiser, Oliver

    Veröffentlicht in Raumforschung und Raumordnung

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Bewertung und Entwicklung urbaner Fließgewässer unter aktiver Einbeziehung der Öffentlichkeit

    Bewertung und Entwicklung urbaner Fließgewässer unter aktiver Einbeziehung der Öffentlichkeit von Oliver Kaiser

    Veröffentlicht in Raumforschung und Raumordnung

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Bewertung und Entwicklung urbaner Fließgewässer unter aktiver Einbeziehung der Öffentlichkeit

    Bewertung und Entwicklung urbaner Fließgewässer unter aktiver Einbeziehung der Öffentlichkeit von Kaiser, Oliver

    Veröffentlicht in Raumforschung und Raumordnung

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Castellated assembly, rocker arm and actuator assembly thereof

    Castellated assembly, rocker arm and actuator assembly thereof von HUBNER ZACHARY, KAISER OLIVER

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Roller rocker arm assembly

    Roller rocker arm assembly von HUBNER ZACHARY, KAISER OLIVER

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Robust active control of a vibrating plate

    Robust active control of a vibrating plate von Prajna, Stephen, Kaiser, Oliver, Pietrzko, Stanislaw, Morari, Manfred


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Fault-tolerant computer cluster and a method for operating a cluster of this type

    Fault-tolerant computer cluster and a method for operating a cluster of this type von Kaiser, Oliver

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Fault-tolerant computer cluster and a method for operating a cluster of this type

    Fault-tolerant computer cluster and a method for operating a cluster of this type von KAISER OLIVER

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Vorrichtung zum induktiven Erwärmen eines metallischen Werkstücks

    Vorrichtung zum induktiven Erwärmen eines metallischen Werkstücks von Kaiser, Oliver, Langejürgen, Markus

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Fault-tolerant computer cluster and a method for operating a cluster of this type

    Fault-tolerant computer cluster and a method for operating a cluster of this type von OLIVER. KAISER

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Fault-tolerant computer cluster and a method for operating a cluster of this type

    Fault-tolerant computer cluster and a method for operating a cluster of this type von OLIVER KAISER

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Fault-tolerant computer cluster and a method for operating a cluster of this type

    Fault-tolerant computer cluster and a method for operating a cluster of this type von OLIVER KAISER

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  18. 18
    FEHLERTOLERANTE RECHNERANORDNUNG UND VERFAHREN ZUM BETRIEB EINER DERARTIGEN ANORDNUNG

    FEHLERTOLERANTE RECHNERANORDNUNG UND VERFAHREN ZUM BETRIEB EINER DERARTIGEN ANORDNUNG von KAISER, OLIVER

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Fault-tolerant computer cluster and a method for operating a cluster of this type

    Fault-tolerant computer cluster and a method for operating a cluster of this type von KAISER, OLIVER

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Fault-tolerant computer cluster and a method for operating a cluster of this type

    Fault-tolerant computer cluster and a method for operating a cluster of this type von Kaiser, Oliver

    Volltext bestellen
    Patent

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: