Treffer 1 – 2 von 2 für Suche 'Welch, Jennifer L.', Suchdauer: 0,02s 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.
  1. 1
    A lattice-structured proof technique applied to a minimum spanning tree algorithm

    A lattice-structured proof technique applied to a minimum spanning tree algorithm von Welch, Jennifer L., Lamport, Leslie 1941-, Lynch, Nancy A. 1948-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Sequential consistency versus linearizability

    Sequential consistency versus linearizability von Attiya, Hagit, Welch, Jennifer L.

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: