Utilisateur:Zooky/Références

Informatique

ISN

• Gilles Dowek et al., Introduction à la science informatique : pour les enseignants de la discipline en lycée, Canopé, coll. « Repères pour agir », 2011 (ISBN 978-2866311889, lire en ligne)
• Gilles Dowek et al., Informatique et sciences du numérique : Spécialité ISN en terminale S, Eyrolles, coll. « Noire », 2012, 301 p. (ISBN 978-2212135435)

Algorithmique

• Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest et Clifford Stein (trad. de l'anglais), Algorithmique : Cours avec 957 exercices et 158 problèmes, Dunod, 2010 [détail de l’édition]
• Christine Froidevaux, Marie-Claude Gaudel et Michèle Soria, Types de données et algorithmes, McGraw-Hill, 1990, 577 p. (ISBN 2-7042-1217-1, lire en ligne)

Langages formels

• Olivier Carton, Langages formels, calculabilité et complexité, Vuibert, 2008, 236 p. (ISBN 978-2711720774)

Programmation

• Gui Cousineau et Michel Mauny, Approche fonctionnelle de la programmation, Ediscience international, 1995, 428 p. (ISBN 978-2840741145)
• Jacquelin Charbonnel, Langage C++ : Le standard ANSI/ISO expliqué, Dunod, 1999, 2^e éd. (1^re éd. 1997), 353 p. (ISBN 978-2100048090)

Autres

• Jean-Paul Delahaye, Complexités : Aux limites des mathématiques et de l'informatique, Belin/Pour la science, coll. « Bibliothèque scientifique », 2006, 256 p. (ISBN 978-2842450823)
• (en) Shun-ichi Amari (trad. du japonais), Information Geometry and Its Applications, Springer, coll. « Applied Mathematical Science », 2016, 364 p. (ISBN 978-4-431-55977-1 et 978-4-431-55978-8, ISSN 0066-5452 et 2196-968X)