Estos libros forman el núcleo del currículo de ciencias de la computación y la lista de lectura profesional. Cubren algoritmos, sistemas, lenguajes, teoría y la artesanía más amplia de la ingeniería de software: lectura esencial para cualquier persona seria sobre CS.
Libros Fundamentales de CS
Libros que establecen las bases teóricas y prácticas de la ciencia de la computación.
| Libro | Autor | Año | Nivel | Descripción |
|---|---|---|---|---|
| Estructura e Interpretación de Programas de Computadora 2ª Edición, MIT Press | Harold Abelson, Gerald Jay Sussman, Julie Sussman | 1996 | Intermedio-Avanzado | El legendario 'SICP' - posiblemente el libro de texto de CS más influyente jamás escrito. Enseña la computación como un modelo mental utilizando Scheme. Disponible gratuitamente en línea. |
| Introducción a los Algoritmos 4ª Edición, MIT Press | Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein | 2022 | Intermedio-Avanzado | El libro de texto definitivo sobre algoritmos ('CLRS') utilizado en más de 1,000 universidades. Cobertura rigurosa de todos los algoritmos estándar con pruebas y análisis. |
| Sistemas de Computadora: La Perspectiva de un Programador 3ª Edición, Pearson | Randal E. Bryant, David R. O'Hallaron | 2015 | Intermedio-Avanzado | El 'CSAPP' de CMU - la mejor introducción a los sistemas de computación desde el punto de vista de un programador. Cubre código máquina, memoria, enlace, procesos y redes. |
Teoría de la Computación
Autómatas, computabilidad, teoría de la complejidad y lógica.
| Libro | Autor | Año | Nivel | Descripción |
|---|---|---|---|---|
| Introducción a la Teoría de la Computación 3ª Edición, Cengage | Michael Sipser | 2012 | Intermedio-Avanzado | El libro de texto estándar de teoría para pregrado. Tratamiento claro y riguroso de autómatas, computabilidad y complejidad con pruebas elegantes. |
| Complejidad Computacional: Un Enfoque Moderno Cambridge University Press | Sanjeev Arora, Boaz Barak | 2009 | Avanzado | Teoría de complejidad moderna de posgrado que cubre P vs NP, aleatorización, derandomización, complejidad cuántica y pruebas interactivas. Disponible gratuitamente en línea. |
| Introducción a la Teoría de Autómatas, Lenguajes y Computación 3ª Edición, Pearson | John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman | 2006 | Avanzado | Tratamiento clásico y riguroso de lenguajes formales y teoría de autómatas. |
Sistemas Operativos y Programación de Sistemas
Cómo funcionan los sistemas operativos y cómo programarlos.
| Libro | Autor | Año | Nivel | Descripción |
|---|---|---|---|---|
| Sistemas Operativos: Tres Piezas Fáciles Arpaci-Dusseau Books | Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau | 2018 | Intermedio | Libro de texto moderno, gratuito y excepcionalmente bien escrito sobre sistemas operativos organizado en torno a la virtualización, la concurrencia y la persistencia. El mejor libro de texto gratuito de CS. |
| Conceptos de Sistemas Operativos 10ª Edición, Wiley | Abraham Silberschatz, Peter B. Galvin, Greg Gagne | 2018 | Intermedio | El 'libro de dinosaurios' - libro de texto estándar de sistemas operativos con cobertura integral. |
| La Interfaz de Programación de Linux No Starch Press | Michael Kerrisk | 2010 | Avanzado | La referencia definitiva para la programación de sistemas en Linux. Cobertura exhaustiva de llamadas al sistema y APIs POSIX. |
Lenguajes de Programación y Compiladores
Diseño de lenguajes, implementación y paradigmas de programación.
| Libro | Autor | Año | Nivel | Descripción |
|---|---|---|---|---|
| Compiladores: Principios, Técnicas y Herramientas 2ª Edición, Pearson | Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman | 2006 | Avanzado | El 'Libro Dragón' - libro de texto estándar sobre compiladores que cubre análisis léxico, análisis sintáctico, verificación de tipos, optimización y generación de código. |
| Pragmática de Lenguajes de Programación 4ª Edición, Morgan Kaufmann | Michael L. Scott | 2015 | Intermedio-Avanzado | Tratamiento integral de los lenguajes de programación y su implementación. |
| Tipos y Lenguajes de Programación MIT Press | Benjamin C. Pierce | 2002 | Avanzado | El libro de texto canónico sobre teoría de tipos. Esencial para cualquier persona interesada en la teoría de lenguajes de programación o métodos formales. |
Artesanía del Software y Clásicos
Libros que todo programador profesional debería leer sobre la artesanía de la programación.
| Libro | Autor | Año | Nivel | Descripción |
|---|---|---|---|---|
| El Arte de la Programación de Computadoras Addison-Wesley | Donald E. Knuth | 1968-en curso | Avanzado | La monumental obra en varios volúmenes de Knuth ('TAOCP'). No es una lectura ligera, pero es la referencia definitiva sobre algoritmos fundamentales. |
| El Programador Pragmático 20ª Edición Aniversario, Addison-Wesley | David Thomas, Andrew Hunt | 2019 | Principiante-Intermedio | Sabiduría destilada de dos desarrolladores experimentados sobre la artesanía de la programación. Lectura obligatoria para nuevos ingenieros de software. |
| Código Completo 2ª Edición, Microsoft Press | Steve McConnell | 2004 | Intermedio | La guía más completa sobre la práctica de la construcción de software jamás escrita. |