Treffer 1 – 7 von 7 für Suche 'Levin, Gary', Suchdauer: 0,05s 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
    Learning discrete mathematics with ISETL

    Learning discrete mathematics with ISETL von Baxter, Nancy, Dubinsky, Ed, Levin, Gary

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Proof rules for communicating sequential processes

    Proof rules for communicating sequential processes von Levin, Gary M.

    Veröffentlicht 1980
    Abschlussarbeit Mikrofilm Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A procedure call proof rule (with a simple explanation)

    A procedure call proof rule (with a simple explanation) von Gries, David, Levin, Gary

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A proof technique for communicating sequential processes (with an example)

    A proof technique for communicating sequential processes (with an example) von Levin, Gary M.

    Veröffentlicht 1979
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Learning discrete mathematics with ISETL

    Learning discrete mathematics with ISETL von Baxter Hastings, Nancy, Dubinsky, Ed, Levin, Gary

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Computing a Fibonacci number in log time

    Computing a Fibonacci number in log time von Gries, David, Levin, Gary

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Proof rules for communicating sequential processes

    Proof rules for communicating sequential processes von Levin, Gary M.

    Veröffentlicht 1980
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: