Search Results

Suggested Topics within your search.
  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    Cover Image

    Partitioning implementations for IBM e-server p5 servers by Irving, Nic

    Published 2005
    Full text (MFA users only)
    Electronic eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    Formal Logical Methods for System Security and Correctness. by Grumberg, O.

    Published 2008
    Full text (MFA users only)
    Electronic eBook

    Save to List
    Saved in:
  3. 3
    Cover Image

    Logics and languages for reliability and security

    Published 2010
    Full text (MFA users only)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
  4. 4
    Cover Image

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

    Published 1998
    Full text (MFA users only)
    Electronic eBook

    Save to List
    Saved in:
  5. 5
    Cover Image

    The logician and the engineer : how George Boole and Claude Shannon created the information age by Nahin, Paul J.

    Published 2012
    Full text (MFA users only)
    Electronic eBook

    Save to List
    Saved in:

Search Tools: