% This file was created with JabRef 2.10.
% Encoding: UTF-8

@Book{conchon2014apprendre,
 author = {Conchon, Sylvain},
 title = {Apprendre à programmer avec OCaml algorithmes et structures de données},
 publisher = {Eyrolles},
 year = {2014},
 address = {Paris},
 isbn = {9782212136784}
 }

@Book{dowek2011une,
 author = {Dowek, Gilles},
 title = {Une introduction à la science informatique pour les enseignants de la discipline en lycée},
 publisher = {Centre régional de documentation pédagogique de l'académie de Paris},
 year = {2011},
 address = {Paris},
 isbn = {9782866311889}
 }

@Book{kernighan1999the,
 author = {Kernighan, Brian},
 title = {The practice of programming},
 publisher = {Addison-Wesley},
 year = {1999},
 address = {Reading, MA},
 isbn = {9780201615869}
 }

@Book{cormen2010algorithmique,
 author = {Cormen, Thomas},
 title = {Algorithmique : cours avec 957 exercices et 158 problèmes},
 publisher = {Dunod},
 year = {2010},
 address = {Paris},
 isbn = {9782100545261}
 }

@Book{bentley2000programming,
 author = {Bentley, Jon},
 title = {Programming pearls},
 publisher = {Addison-Wesley},
 year = {2000},
 address = {Reading, Mass},
 isbn = {9780201657883}
 }

@Book{dowek2012isn,
 author = {Dowek et al.},
 title = {Informatique et sciences du numérique : spécialité ISN en terminale S, avec des exercices corrigés et idées de projets},
 publisher = {Eyrolles},
 year = {2012},
 address = {Paris},
 isbn = {9782212135435}
 }

@Book{lonzano2013,
  author = 	 {Vincent Lonzano},
  title = 	 {Tout ce que vous avez toujours voulu savoir sur LaTeX sans jamais oser le demander},
  publisher = 	 {Framasoft},
  year = 	 {2013},
  edition = 	 {2\up{e}},
  month = 	 {Décembre},
  note = 	 {\url{http://framabook.org/tout-sur-latex/}}
  }

@Book{david2003introduction,
 author = {David, René},
 title = {Introduction à la logique : théorie de la démonstration: cours et exercices corrigés},
 publisher = {Dunod},
 year = {2003},
 address = {Paris},
 isbn = {9782100067961}
 }