Treffer 1 – 6 von 6 für Suche 'Völzer, Hagen 1971-', Suchdauer: 0,03s
Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
-
1
Verifying fault tolerance of distributed algorithms formally a case study von Völzer, Hagen 1971-
Veröffentlicht 1997Signatur: Wird geladen …
Standort: Wird geladen … -
2
Fairneß, Randomisierung und Konspiration in verteilten Algorithmen von Völzer, Hagen 1971-
Veröffentlicht 2000Signatur: Wird geladen …
Standort: Wird geladen … -
3
Verifying intuition ILF checks DAWN proofs von Baar, Thomas, Kindler, Ekkart, Völzer, Hagen 1971-
Veröffentlicht 1999Signatur: Wird geladen …
Standort: Wird geladen … -
4
Flexibility in algebraic nets von Kindler, Ekkart, Völzer, Hagen 1971-
Veröffentlicht 1997Signatur: Wird geladen …
Standort: Wird geladen … -
5
Verifikation verteilter Algorithmen mit algebraischen Netzen von Völzer, Hagen 1971-
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen … -
6
Fairneß, Randomisierung und Konspiration in verteilten Algorithmen von Völzer, Hagen 1971-
Veröffentlicht 2000Signatur: Wird geladen …
Standort: Wird geladen …