Publications

Export 228 results:
Author Title Type [ Year(Desc)]
1997
J. J. Domínguez-Jiménez and Fernández-Barcell, M., Comunicaciones en UNIX. Cádiz: Servicio de publicaciones del Departamento de Lenguajes y Sistemas Informáticos, 1997.
J. Pizarro-Junquera, Jiménez-Millán, J. A., and de-Castro-Cabrera, M. -del- C., Introducción a la programación lógica. Cádiz: Universidad de Cádiz, 1997.
J. J. Domínguez-Jiménez and Fernández-Barcell, M., Introducción al Sistema Operativo UNIX y a X Window. Cádiz: Servicio de publicaciones del Departamento de Lenguajes y Sistemas Informáticos, 1997.
J. J. Domínguez-Jiménez and Fernández-Barcell, M., Visión interna y administración del Sistema Operativo Linux. Cádiz: Servicio de publicaciones del Departamento de Lenguajes y Sistemas Informáticos, 1997.
1998
A. Estero-Botaro, Fernández-Barcell, M., and Domínguez-Jiménez, J. J., Introducción al Shell Bash. Cádiz: Servicio de publicaciones del Departamento de Lenguajes y Sistemas Informáticos, 1998.
J. J. Domínguez-Jiménez, Introducción al Sistema Operativo UNIX y a X Windows. Cádiz: Servicio de publicaciones del Departamento de Lenguajes y Sistemas Informáticos, 1998.
I. Medina-Bulo, Palomo-Lozano, F., and Aburruzaga-García, G., La biblioteca estándar de C. Cádiz: Universidad de Cádiz, 1998.
J. J. Domínguez-Jiménez and Estero-Botaro, A., Linux. Aspectos internos. Cádiz: Servicio de publicaciones del Departamento de Lenguajes y Sistemas Informáticos, 1998.
I. Medina-Bulo, Palomo-Lozano, F., and Aburruzaga-García, G., Por fin, C ISO: un curso de C estándar. Cádiz: Universidad de Cádiz, 1998.
1999
J. J. Domínguez-Jiménez and García-Horcajadas, M. - T., Introducción a Windows NT Workstation. Edición especial para la 50 edición de los cursos de verano de la UCA. Cádiz: Servicio de publicaciones del Departamento de Lenguajes y Sistemas Informáticos, 1999.
A. Estero-Botaro and Domínguez-Jiménez, J. J., Introducción al Shell Bash. Cádiz: Servicio de publicaciones del Departamento de Lenguajes y Sistemas Informáticos, 1999.
I. Medina-Bulo and Riscos-Fernández, A., Lambda-Cálculo clásico: estrategias de reducción. Departamento de Ciencias de la Computación e Inteligencia Artificial. Universidad de Sevilla, 1999.
J. J. Domínguez-Jiménez and Estero-Botaro, A., Linux. Administración y configuración. Cádiz: Servicio de publicaciones del Departamento de Lenguajes y Sistemas Informáticos, 1999.
J. A. Jiménez-Millán and Frías-Delgado, A., Parsing Categorial Grammars in natural deduction, Boletín de la Sociedad Española para el procesamiento del lenguaje natural, vol. 25, p. 121, 1999.
2000
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jiménez, J. A., Automatic verification of polynomial rings fundamental properties in ACL2,, ACL2 Workshop 2000 Proceedings, vol. Part A. Universidad de Texas, Department of Computer Sciences. Technical Report TR--00--29, Austin (USA), pp. 136-155, 2000.
J. J. Domínguez-Jiménez and García-Horcajadas, M. - T., Introducción a Windows NT Workstation. Cádiz: Servicio de publicaciones del Departamento de Lenguajes y Sistemas Informáticos, 2000.
A. Estero-Botaro and Domínguez-Jiménez, J. J., Introducción al Sistema Operativo Linux. Cádiz: Servicio de publicaciones del Departamento de Lenguajes y Sistemas Informáticos, 2000.
A. Estero-Botaro and Domínguez-Jiménez, J. J., Introducción al Sistema Operativo Linux. ED. Especial 50 edición cursos de verano de la UCA. Cádiz: Servicio de publicaciones del Departamento de Lenguajes y Sistemas Informáticos, 2000.
F. Palomo-Lozano, Alonso-Jiménez, J. A., and Medina-Bulo, I., Reasoning about matrix arithmetic in ACL2, Workshop AOC. Lyon (France), 2000.

Pages