Treffer 1 – 7 von 7 für Suche 'Schlichting, Richard D.', Suchdauer: 0,04s 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
    Fast reliable broadcasts

    Fast reliable broadcasts von Schneider, Fred B., Gries, David, Schlichting, Richard D.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Axiomatic verification to enhance software reliability

    Axiomatic verification to enhance software reliability von Schlichting, Richard D.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Axiomatic verification to enhance software reliability

    Axiomatic verification to enhance software reliability von Schlichting, Richard D.

    Veröffentlicht 1983
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Using message passing for distributed programming Proof rules and disciplines

    Using message passing for distributed programming Proof rules and disciplines von Schlichting, Richard D., Schneider, Fred B.

    Veröffentlicht 1982
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Towards fault-tolerant process control software

    Towards fault-tolerant process control software von Schneider, Fred B., Schlichting, Richard D.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    An approach to designing fault-tolerant computing systems

    An approach to designing fault-tolerant computing systems von Schlichting, Richard D., Schneider, Fred B.

    Veröffentlicht 1981
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Verification of fault tolerant software

    Verification of fault tolerant software von Schlichting, Richard D., Schneider, Fred B.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: