Informática

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