- Portada
- Nosotros
- [...]
- Monografías, folletos, etc.
- Informática y ciencias afines
Informática y ciencias afines
- Fortran IV / F. Briones
- Memoria del trabajo realizado con una beca del fondo IBM para iniciación y ayuda a la investigación (1968-69) / Fernando Sáez Vacas, José M. Hernando Rábanos, Bernardo Fontana Sanchis
- Cálculo numérico / F. Briones
- Clases de fórmulas aritméticas en la 1-reducibilidad / José F. Prida, Fernando Orejas
- Creatividad y completitud / José F. Prida
- Generalización del teorema de la forma normal de Kleene al caso de la recursividad relativa / J.F. Prida
- El problema de decisión del cálculo de predicados
- Cálculo numérico. I y II / F. Briones
- Cálculo numérico. III y IV / F. Briones
- Cálculo numérico. IX y X / F. Briones
- Lenguaje de simulación analógico-digital SIAL/72 : manual de uso
- Una prueba algebraica de los teoremas de Skolem-Löwenheim y Gödel / J.F. Prida
- Una prueba de los teoremas de Gödel y de Rosser / José F. Prida
- [Centro de Cálculo de la Universidad Complutense de Madrid : calendarios de cursos]
- Sistema "IBM 360/65" : sistema operativo : nota de trabajo nº 1
- 104 problemas resueltos de teoría de la computabilidad / José F. Prida, Fernando Orejas
- Coloquio sobre lógica simbólica : Madrid, Febrero 1975 / [organizado por el Centro de Cálculo de la Universidad Complutense ; J.F. Prida...(et al.)]
- Seminario sobre informática y planificación, 23-27 junio 1975
- Seminario sobre programación matemática
- Modelos estadísticos aplicados a tratamiento de datos / por Miguel Sánchez García
- Sistema de creación y mantenimiento de bancos de información / Isidro Ramos Salavert, Calixto Jorge Lozano Pueyo, Alfonso Muñoz Herrero