Treffer 1 – 10 von 10 für Suche 'Sanders, Beverly A.', Suchdauer: 0,08s 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
    Patterns for parallel programming

    Patterns for parallel programming von Mattson, Timothy G., Sanders, Beverly A., Massingill, Berna L.

    Veröffentlicht 2007
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Conjunctive predicate transformers for reasoning about concurrent computation

    Conjunctive predicate transformers for reasoning about concurrent computation von Chandy, K. M., Sanders, Beverly A.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Eliminating the substitution axiom from UNITY logic

    Eliminating the substitution axiom from UNITY logic von Sanders, Beverly A.

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Stepwise refinement of mixed specifications of concurrent programs

    Stepwise refinement of mixed specifications of concurrent programs von Sanders, Beverly A.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Patterns for parallel programming

    Patterns for parallel programming von Mattson, Timothy G., Sanders, Beverly A., Massingill, Berna L.

    Veröffentlicht 2010
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Patterns for parallel programming

    Patterns for parallel programming von Mattson, Timothy G., Sanders, Beverly A., Massingill, Berna L.

    Veröffentlicht 2009
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Patterns for parallel programming

    Patterns for parallel programming von Mattson, Timothy G., Sanders, Beverly A., Massingill, Berna L.

    Veröffentlicht 2005
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    A predicate transformer approach to knowledge and knowledge-based protocols

    A predicate transformer approach to knowledge and knowledge-based protocols von Sanders, Beverly A.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  9. 9
    Patterns for parallel programming

    Patterns for parallel programming von Mattson, Timothy G., Sanders, Beverly A., Massingill, Berna L.

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  10. 10
    Conjunctive predicate transformers for reasoning about concurrent computation

    Conjunctive predicate transformers for reasoning about concurrent computation von Chandy, K. Mani, Sanders, Beverly A.

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: