Facultad
Informática
Publicacións (16) Publicacións nas que participase algún/ha investigador/a
1990
-
A first order logic for partial functions
Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69
-
Algorítmica: concepción y análisis
Masson
-
An approach to minimal-time scheduling of micro-operations
Microprocessing and Microprogramming, Vol. 28, Núm. 1-5, pp. 301-304
-
Analysis of Four Numerical Schemes for a Nonlinear Klein-Gordon Equation
Applied Mathematics and Computation, Vol. 35, Núm. 1, pp. 61-94
-
Existence of standing waves for dirac fields with singular nonlinearities
Communications in Mathematical Physics, Vol. 133, Núm. 1, pp. 53-74
-
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
-
HARDWARE ALLOCATION IN FIDIAS SYSTEM
PROCEEDINGS OF THE 1990 IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND SOFTWARE ENGINEERING
-
Hardware allocation in FIDIAS system
Proc 1990 IEEE Int Conf Comput Syst Software Eng COMPEURO 90
-
La enseñanza asistida por computadora
Métodos informáticos aplicados a la psicología (Madrid: Pirámide), pp. 459-477
-
Laser-induced thermomagnetic detection of a metastable band in bismuth
Physical Review B, Vol. 41, Núm. 15, pp. 10372-10376
-
Procedimiento de datos en UNIX con INFORMIX - SQL, ESQL/C, C-ISAM y TURBO
McGraw-Hill Interamericana de España
-
QuickBASIC: manual de referencia
Madrid : McGraw-Hil, D.L. 1990
-
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
-
Relation between two variational methods to calculate the energy levels
Physics Letters A, Vol. 144, Núm. 1, pp. 15-16
-
TRIP: An implementation of clausal rewriting
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Ventura: Manual de referencia
McGraw-Hill Interamericana de España