Showing 1 - 16 results of 16 for search 'Schneider, Fred B.', query time: 0.03s Refine Results
  1. 1
    On concurrent programming /

    On concurrent programming / by Schneider, Fred B.

    Published 1997
    Book
    Save to List
    Saved in:
  2. 2
    Putting time into proof outlines

    Putting time into proof outlines by Schneider, Fred B.

    Published 1993
    Government Document Microfilm Book
    Save to List
    Saved in:
  3. 3
    On Concurrent Programming /

    On Concurrent Programming / by Schneider, Fred B.

    Published 1997
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  4. 4
    Putting time into proof outlines

    Putting time into proof outlines by Schneider, Fred B.

    Published 1991
    Government Document Microfilm Book
    Save to List
    Saved in:
  5. 5
    Trust in cyberspace /

    Trust in cyberspace /

    Published 1999
    Other Authors: “…Schneider, Fred B.…”
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  6. 6
    Trust in cyberspace /

    Trust in cyberspace /

    Published 1999
    Other Authors: “…Schneider, Fred B.…”
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  7. 7
    Trust in cyberspace /

    Trust in cyberspace /

    Published 1999
    Other Authors: “…Schneider, Fred B.…”
    Full Text (via EBSCO)
    eBook
    Save to List
    Saved in:
  8. 8
    A Logical Approach to Discrete Math /

    A Logical Approach to Discrete Math / by Gries, David

    Published 1993
    Other Authors: “…Schneider, Fred B.…”
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  9. 9
    A Logical Approach to Discrete Math /

    A Logical Approach to Discrete Math / by Gries, David

    Published 1993
    Other Authors: “…Schneider, Fred B.…”
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  10. 10
    Trust in cyberspace /

    Trust in cyberspace /

    Published 1999
    Other Authors: “…Schneider, Fred B.…”
    Access full-text online
    Book
    Save to List
    Saved in:
  11. 11
    Trust in cyberspace /

    Trust in cyberspace /

    Published 1999
    Other Authors: “…Schneider, Fred B.…”
    Book
    Save to List
    Saved in:
  12. 12
    Refinement for fault-tolerance an aircraft hand-off protocol /

    Refinement for fault-tolerance an aircraft hand-off protocol / by Marzullo, Keith

    Published 1994
    Other Authors: “…Schneider, Fred B.…”
    Government Document Microfilm Book
    Save to List
    Saved in:
  13. 13
    Derivation of sequential, real-time, process-control programs

    Derivation of sequential, real-time, process-control programs by Marzullo, Keith

    Published 1991
    Other Authors: “…Schneider, Fred B.…”
    Government Document Microfilm Book
    Save to List
    Saved in:
  14. 14
    Refinement Calculus : a Systematic Introduction.

    Refinement Calculus : a Systematic Introduction. by Back, Ralph-Johan

    Published 1998
    Other Authors:
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  15. 15
    Automata and Computability.

    Automata and Computability. by Kozen, Dexter C.

    Published 1997
    Other Authors:
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
  16. 16
    Trust in Cyberspace.

    Trust in Cyberspace. by Council, National Research

    Published 1998
    Other Authors:
    Full Text (via ProQuest)
    eBook
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search