Publicaciones (16) Publicaciones en las que ha participado algún/a investigador/a

1990

  1. A first order logic for partial functions

    Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69

  2. Algorítmica: concepción y análisis

    Masson

  3. An approach to minimal-time scheduling of micro-operations

    Microprocessing and Microprogramming, Vol. 28, Núm. 1-5, pp. 301-304

  4. Analysis of Four Numerical Schemes for a Nonlinear Klein-Gordon Equation

    Applied Mathematics and Computation, Vol. 35, Núm. 1, pp. 61-94

  5. Existence of standing waves for dirac fields with singular nonlinearities

    Communications in Mathematical Physics, Vol. 133, Núm. 1, pp. 53-74

  6. GRF-induced GH response in attention-deficit hyperactivity disorder

    Methods and Findings in Experimental and Clinical Pharmacology, Vol. 12, Núm. 1, pp. 79-85

  7. HARDWARE ALLOCATION IN FIDIAS SYSTEM

    PROCEEDINGS OF THE 1990 IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND SOFTWARE ENGINEERING

  8. Hardware allocation in FIDIAS system

    Proc 1990 IEEE Int Conf Comput Syst Software Eng COMPEURO 90

  9. La enseñanza asistida por computadora

    Métodos informáticos aplicados a la psicología (Madrid: Pirámide), pp. 459-477

  10. Laser-induced thermomagnetic detection of a metastable band in bismuth

    Physical Review B, Vol. 41, Núm. 15, pp. 10372-10376

  11. Procedimiento de datos en UNIX con INFORMIX - SQL, ESQL/C, C-ISAM y TURBO

    McGraw-Hill Interamericana de España

  12. QuickBASIC: manual de referencia

    Madrid : McGraw-Hil, D.L. 1990

  13. Realización española de un sistema de enseñanza automática.

    Informática y automática: revista de la Asociación Española de Informática y Automática, Vol. 23, Núm. 2, pp. 53-60

  14. Relation between two variational methods to calculate the energy levels

    Physics Letters A, Vol. 144, Núm. 1, pp. 15-16

  15. TRIP: An implementation of clausal rewriting

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  16. Ventura: Manual de referencia

    McGraw-Hill Interamericana de España