Introduction to Automata Theory, Languages, and Computation	John E. Hopcroft, Jeffrey D. Ullman	Addison-Wesley, 1979
Data Structures and Algorithms	Alfred V. Aho, John E. Hopcroft, Jeffrey Ullman	Addison-Wesley, 1983
Algorithms in C	Robert Sedgewick	Addison-Wesley, 2000
Compilers : Principles, Techniques, and Tools	Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman	Addison-Wesley, 1985
Modern Compiler Implementation in C	Andrew W. Appel	Cambridge University Press, 1999
Digital Design	M. Morris Mano	Prentice Hall, 1995
Computer Organization and Design: The Hardware/Software Interface	David A. Patterson, John L. Hennessy	Morgan Kaufmann, 1997
Computer Architecture : A Quantitative Approach	John L. Hennessy, David A. Patterson	Morgan Kaufmann, 1996
Operating System Concepts	Abraham Silberschatz, Peter Baer Galvin	John Wiley & Sons, 1998
Modern Operating Systems	Andrew S. Tanenbaum	Prentice Hall, 1992
Fundamentals of Database Systems	Ramez A. Elmasri, Shamkant B. Navathe	Addison-Wesley, 1999
Structure and Interpretation of Computer Programs	Harold Abelson, Gerald Jay Sussman, Julie Sussman	MacGraw-Hill, 1996
Introduction to Mathematical Logic	Elliott Mendelson	Thomson Learning, 1997
Logic for Mathematicians	A.G. Hamilton	Cambridge University Press, 1998
Mathematical Logic for Computer Science	M. Ben-Ari	Prentice Hall, 1993
Introduction to Combinators and Lambda Calculus	J. Roger Hindley, Jonathan P. Seldin	Cambridge University Press, 1986
ML for the Working Programmer	Lawrence C. Paulson	Cambridge University Press, 1996
Introduction to Coding Theory	Jacobus Hendricus Van Lint	Springer Verlag, 1992
Graphs and hypergraphs	Claude Berge
Cours de Mathématiques 1 - Algèbre	J.M. Arnaudiès, H. Fraysse	Dunod Université, 1987
Cours de Mathématiques 2 - Analyse	J.M. Arnaudiès, H. Fraysse	Dunod Université, 1987
Cours de Mathématiques 3 - Compléments d'analyse	J.M. Arnaudiès, H. Fraysse	Dunod Université, 1987
Cours de Mathématiques 4 - Algèbre bilinéaire et géométrie	J.M. Arnaudiès, H. Fraysse	Dunod Université, 1987