Argitalpenak (12) Ikertzaileren baten partaidetza izan duten argitalpenak

1987

  1. A More Accurate Explicit Scheme to Solve Certain Quantum Operator Equations of Motion

    Zeitschrift fur Naturforschung - Section A Journal of Physical Sciences

  2. Automating the computation of authenticators for interbank telex messages

    Computers and Security, Vol. 6, Núm. 5, pp. 396-402

  3. FORMAL SPECIFICATION APPROACH TO LOCAL AREA NETWORKS SCENARIOS IN THE CONTEXT OF OSI REFERENCE MODEL.

    Sin título en SCOPUS

  4. Introducción al modelo de arquitectura de interconexión de sistemas abiertos (OSI)

    Universidad Politécnica de Madrid

  5. La Informática aplicada a la enseñanza

    EUDEMA Universidad

  6. Método de colocación de punto de test mediante etiquetado de un diagrafo

    Revista de informática y automática, Año 20, Núm. 2, pp. 54-61

  7. Real spectra of complete local rings

    Manuscripta Mathematica, Vol. 58, Núm. 1-2, pp. 155-177

  8. Real strict localizations

    Mathematische Zeitschrift, Vol. 194, Núm. 3, pp. 429-441

  9. Stability of nonlinear spinor fields with application to the Gross-Neveu model

    Physical Review D, Vol. 36, Núm. 8, pp. 2422-2428

  10. TEACHING MICROPROGRAMMABLE ARCHITECTURES: HARDWARE/FIRMWARE DESIGN PROJECTS.

    Proceedings - Frontiers in Education Conference

  11. Un método de Tableaux para la lógica dinámica proposicional

    XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987

  12. Un sistema de verificación para lenguajes de programación tipo funcional

    XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987