Jeffrey D. Ullman

Este libro proporciona una introducción exhaustiva a los principios fundamentales del diseño de compiladores, explorando técnicas de análisis léxico, sintáctico y semántico, así como la generación de código eficiente.

Un texto fundamental que cubre los fundamentos teóricos y prácticos del diseño e implementación de sistemas de bases de datos, incluyendo modelos de datos, lenguajes de consulta, normalización y optimización.

Un texto fundamental que explora desde una perspectiva matemática y teórica los fundamentos del cálculo relacional y su aplicación en la construcción y optimización de bases de datos.

Este libro es un texto clásico que introduce los fundamentos teóricos y prácticos de los sistemas de bases de datos, incluyendo modelos conceptuales, lenguajes de consulta, normalización y optimización.

Este ensayo presenta un estudio fundamental de los principios y técnicas para diseñar y analizar programas concurrentes, abarcando modelos de concurrencia y sus propiedades.

Este libro ofrece una introducción profunda a la teoría de la computación, cubriendo conceptos clave como autómatas, gramáticas y complejidad computacional, proporcionando una base teórica esencial para entender los límites de lo que se puede computar.

Este libro ofrece una introducción clara y exhaustiva a los algoritmos, cubriendo tanto teorías fundamentales como aplicaciones prácticas, y es considerado un recurso esencial para estudiantes y profesionales en ciencias de la computación.

Este libro proporciona una introducción comprensiva a la teoría de autómatas, lenguajes formales y la computación, explorando conceptos fundamentales y técnicas teóricas que son esenciales para entender la computación moderna.