Publications

Export 228 results:
Author Title Type [ Year(Asc)]
2001
J. J. Domínguez-Jiménez and Estero-Botaro, A., Administración del Sistema Operativo LInux. Cádiz: Servicio de publicaciones de la Universidad de Cádiz, 2001.
B. - M. Nuñez-Moraleda, Silva-Ramírez, E. - L., Laguna-Bonillo, M., de-Castro-Cabrera, M. -del- C., and Hurtado-Rodriguez, N., Apuntes de metodología y tecnología de la programación. Cádiz: Servicio de publicaciones del Departamento de Lenguajes y Sistemas Informáticos, 2001.
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jiménez, J. A., Certification of matrix multiplication algorithms. Strassen's algorithm in ACL2,, 14th International Conference on Theorem Proving in Higher Order Logics. Division of Informatics, Edinburgh (Scotland), pp. 283-298, 2001.
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jiménez, J. A., A certified algorithm for translating formulas into polynomials. An ACL2 approach, International Joint Conference on Automated Reasoning (CADE + FTP + TABLEAUX) , Siena (Italy). 2001.
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jiménez, J. A., A certified polynomial-based decision procedure for propositional logic, Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOL 2001), Edinburgh (Scotland), vol. LNCS 2152. pp. 297-312, 2001.
I. Medina-Bulo, Palomo-Lozano, F., and Alonso-Jiménez, J. - A., A certified polynomial-based decision procedure for propositional logic, Lecture Notes in Computer Science, vol. 2152, p. 312, 2001.
G. Aburruzaga-García, Medina-Bulo, I., and Palomo-Lozano, F., Fundamentos de C++. Primera edición. Cádiz: Servicio de publicaciones de la Universidad de Cádiz, 2001.
S. Lozano-Segura, Domínguez-Jiménez, J. J., Guerrero-López, F., and Smith, K., Genetic line search, Lecture Notes in Computer Science, vol. 2074, p. 326, 2001.
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.
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.
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.

Pages