Resultados da busca

  • Mostrando 1 - 4 resultados de 4
Refinar Resultados
  1. 1

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

    Publicado em 2005
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  2. 2

    Formal logical methods for system security and correctness

    Publicado em 2008
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico
  3. 3

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

    Publicado em 2005
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico livro eletrônico
  4. 4

    Formal logical methods for system security and correctness

    Publicado em 2008
    An electronic book accessible through the World Wide Web; click to view
    Recurso Eletrônico Anais de Congresso livro eletrônico