gefundene Verfasser HENZINGER, M. R

Bloem, Roderick
Clarke, Edmund M. 1945-2020
Henzinger, Monika R.
Henzinger, Thomas 1962-
Thorup, Mikkel 1973-
Alle anzeigen »
Veith, Helmut 1971-2016

Treffer 1 - 2 von 2 für Suche 'HENZINGER, M. R', Suchdauer: 0,22s Treffer weiter einschränken
  1. 1
    Improved sampling with applications to dynamic graph algorithms

    Improved sampling with applications to dynamic graph algorithms von Henzinger, Monika R., Thorup, Mikkel 1973-

    Veröffentlicht 1995
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Handbook of model checking

    Handbook of model checking

    Veröffentlicht 2018
    BTU01
    FCO01
    FHA01
    FHI01
    FHM01
    FHN01
    FHR01
    FKE01
    FLA01
    FRO01
    FUBA1
    FWS01
    FWS02
    HTW01
    TUM01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: