Resultados da pesquisa

  • A mostrar 1 - 2 resultados de 2
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 Electrónico livro electró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 Electrónico Conference Proceeding livro electrónico