| Vista previa | Título | Autor | Fecha de publicación |
 | Un sistema de tipos recursivos parcialmente ordenado | García García, Juan Manuel | 1994 |
 | Sofia: un sistema de recuperacion de informacion por indexacion de triadas | Vega Hernández, Gerardo | 1994 |
 | Un sistema de administración de bases de datos en ANSI C | Rodriguez Buenfil, Jorge E. | 1994 |
| Ayuda de corrección de estilo para textos en español, traducidos del inglés | Galicia Haro, Sofía N. | 1994 |
 | Estudio y análisis de algoritmos distribuidos para hallar arboles generadores minimos | Cajias de la Vega, Isabel Margarita | 1993 |
 | Adquisicion del conocimiento | Sanchez Rivera, Sandra Virginia | 1993 |
 | Desarrollo e implantacion de nuevos mecanismos para la comunicacion y sincronziacion en OCCAM y transputers | Romero Salcedo, Manuel | 1993 |
 | Manganeso en sitios tetragonales de Cs2 Na LA Cl6 | Quintanar Sierra, José Jesús Carlos | 1992 |
 | Implantacion de un lenguaje orientado a reglas para la programacion de sistemas expertos | Aranda de Dios, Norma Angélica | 1991 |
 | Una biblioteca de módulos reusables polimórficos en ML | Ibarguengoitia González, María Guadalupe Elena | 1991 |
 | Catalogo de componentes reusables de software : prototipo en algres | Hernandez Solis, Armando | 1991 |
 | Implementacion de una red neuronal multi-capa para el reconocimiento de patrones | Fernandez Ayala, Aranzazu | 1991 |
 | Programa supervisor para una red de control distribuido | López Caloca, Sergio Fernando | 1989 |
 | LPC: Un paradigma de la programacion concurrente | Benveniste Kuehne, Marc Vincent Jerome | 1988 |
 | Analisis de mecanismos de control de concurrencia en lenjuajes paralelos | Villavicencio Fernandez, Sergio Ramon | 1988 |
 | Un programa auxiliar en el diseño de circuitos : Su implantacion mediante codigo hilvanado | Rosenblueth Laguette, David Arturo | 1983 |
 | Sistema grafico auxiliar a la docencia para ilustrar mecanismos de reacciones quimicas y estructuras moleculares | Cruz Almanza, Graciano | 1987 |
