Showing 1 - 7 results of 7 for search 'Levin, Gary', query time: 0.04s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Learning discrete mathematics with ISETL

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

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Learning discrete mathematics with ISETL

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

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Proof rules for communicating sequential processes

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

    Published 1980
    Thesis Microfilm Book Interlibrary loan Place Request


    Saved in:
  4. 4
    A procedure call proof rule (with a simple explanation)

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

    Published 1979
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    A proof technique for communicating sequential processes (with an example)

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

    Published 1979
    Book Interlibrary loan Place Request


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

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

    Published 1980
    Book Interlibrary loan Place Request


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

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

    Published 1980
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: