Mostrando 1 - 7 Resultados de 7 Para Buscar '', tiempo de consulta: 0.26s Limitar resultados
  1. 1
    por Nederpelt, Rob, Geuvers, Herman
    Publicado 2014
    Libro

    Type theory and formal proof an introduction
  2. 2
    Libro

    Multivariate public key cryptosystems
  3. 3
    por Penrose, Roger
    Publicado 1989
    Libro

    The emperor's new mind concerning computers, minds, and the laws of physics
  4. 4
    por Shore, John
    Publicado 1986
    Libro

    The Sachertorte algorithm and other antidotes to computer anxiety
  5. 5
    por Silver, Gerald A.
    Publicado 1986
    Libro

    Computers and information processing
  6. 6
    Publicado 1983
    Libro

    Applied cryptology, cryptographic protocols, and computer security models.
  7. 7
    por Shelly, Gary B.
    Publicado 1980
    Libro

    Introduction to computers and data processing
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda