| Abelson, Sussman, Sussman |
Structure and interpretation of computer programs |
|
| Aho, Hopcroft, Ullman |
Structures de données et algorithmes |
|
| Appel A.W |
Modern compiler implementation |
|
| Arpaci-Dusseau |
Operating Systems: Three Easy Pieces |
|
| Autebert |
Calculabilité et décidabilité |
|
| Autebert |
Théorie des langages et des automates |
|
| Baase, van Gelder |
Computer algorithms. Introduction to design & analysis |
|
| Bajard |
Exercices d’algorithmique |
|
| Balabonski et al. |
Spécialité Numérique et sciences informatiques 1re: 30 leçons avec exercices corrigés |
|
| Balabonski et al. |
Spécialité Numérique et sciences informatiques : leçons avec exercices corrigés – Terminale |
|
| Balabonski et al |
MP2I/MPI |
|
| Behrouz A. Forouzan |
Data Communications and Networking |
|
| Bernhard Korte , Jens Vygen |
Combinatorial Optimization |
|
| Bishop |
Pattern recognition and machine learning |
|
| Bryant et O’Hallaron |
Computer Systems – A Programmer’s Perspective |
|
| Carton |
Langages formels, calculabilité et complexité |
|
| Conchon, Filliâtre |
Apprendre à programmer avec OCaml |
|
| Cori, Lascar |
Logique mathématique |
T1 - T2 |
| Cormen, Leiserston, Rivest |
Introduction à l’algorithmique |
|
| Cousineau, Mauny |
Approche fonctionnelle de la programmation |
|
| Damphousse |
Petite introduction à l’algorithmique |
|
| David, Nour, Raffali |
Introduction à la logique |
|
| Dehornoy |
Complexité et décidabilité |
|
| Donahoo et Calvert |
TCP/IP Sockets in C: Practical Guide for Programmers |
|
| Dürr, Vie |
Programmation efficace : Les 128 algorithmes qu’il faut avoir compris et codés dans sa vie |
|
| Erikson Jeff |
Algorithms |
|
| Garey, Johnson |
Computers & intractability |
|
| Goossens |
Guide to computer processor architecture |
|
| Granjon |
Informatique, algorithmes en Pascal et en C |
|
| Gusfield |
Algorithms on strings, trees and sequences |
|
| Herlihy, Maurice, Shavit, Nir |
The Art of Multiprocessor Programming |
|
| Hopcroft & al |
Introduction to automata theory, languages and computation |
|
| Kernighan et Ritchie |
Le langage C – 2e éd |
|
| Knuth |
The art of computer programming vol 1,2,3,4 |
T1 - T2 - T3 - T4 - T4A - T4B |
| Kurose et Ross |
Computer Networking: A Top-Down Approach |
|
| Lacomme et al |
Algorithmes de graphes |
|
| Lalement |
Logique, réduction, résolution |
|
| Love |
Linux System Programming |
|
| Lynch Nancy |
Distributed Algorithms |
|
| Minsky, Madhavapeddy |
Real World OCaml |
|
| Mitchell |
Concepts in programming languages |
|
| Mitzenmacher Michael and Upfal Eli |
Probability and computing |
|
| Nielson & Nielson |
Semantics With Applications: An Appetizer |
|
| Okasaki |
Purely Functional Data Structures |
|
| Papadimitriou |
Computational complexity |
|
| Patterson et Hennessy |
Computer Organization and Design RISC-V Edition: The hardware software interface |
|
| Petazzoni |
Seize problèmes d’informatique |
|
| Sedgewick |
Algorithms |
2 générique en anglais, 1 en Java en français, 1 en C en français |
| Sedgewick, Wayne |
Algorithms 4th edition |
|
| Silberschatz Abraham , Gagne Greg , Galvin Peter B |
Operating System Concepts |
|
| Sipser |
Introduction to the theory of computation |
|
| Tanenbaum, Feamster, Wetherall |
Computer networks |
|
| Warren |
Hacker’s Delight |
|
| Waterman |
Introduction to computational biology |
|