Sup Galilée Informatique -- Bibliographie
INFO1
U.E. Programmation
- Informatique de base
- P. Dax, Langage C, Eyrolles, 1992 (à la BU)
- C.Delannoy, Programmer en langage C: Cours et exercices corrigés, Eyrolles, 2002 (à la BU)
- S. Harbisson, Langage C, Eyrolles, 1989
- B.W. Kernighan et D.M. Ritchie, The C programming language, Prentice-Hall, Inc. 1978
- B.W. Kernighan et D.M. Ritchie, Langage C : Norme ANSI, Eyrolles, 2004 (traduction française de
The C programming language
, disponible à la BU)
- Polycopié langage C (L. Létocart, S. Toulouse)
- Quelques exos en vrac (Paris 13)
- Unix
- J-P. Arspach, P. Colin, F. Ostré-Waerzeggers, Unix Initiation et utilisation, Dunod, 1999 (à la BU)
- J-M. Riffet, La programmation sous Unix, Ediscience, 1999 (à la BU)
- Polycopié Unix (S. Borne, L. Létocart)
- Génie logiciel I
- Architecture des ordinateurs
- David Patterson and John Hennessy, Computer organization and design, 3rd edition, Morgan Kaufmann, Amsterdam, 2005 (traduction française
Architecture des ordinateurs : Une approche quantitative
disponible à la BU)
- Sivarama P. Dandamundi, Fundamentals of computer organization and design, Springer, New York, 2003
- Système d'exploitation
U.E. Outils Mathématiques et Algorithmiques
- Mathématiques de base
- Probabilités et Statistiques
- Méthodes Numériques
- Traitement Numérique du Signal
- Algorithmique
- T. Cormen, C. Leiserson & R. Rivest, Introduction à l'algorithmique, Dunod, 1997 (à la BU)
- J. Kleinberg, É. Tardos, Algorithm design, Addison Wesley, 2005 (à la BU)
- N. D. Jones, Computability and Complexity from a Programmer's perspective, MIT press, 1997 (à la BU)
- Documents pédagogiques (J.-Y. Moyen)
U.E. Outils et projets
- Projets
- Infographie
- Bases de données
- Programmation objet
INFO2
U.E. Culture d'Entreprise
- Simulation entretiens d'embauche
Le savoir-vivre en entreprise
Sophie de MentonRéussissez dans vos nouvelles fonctions
Bruno Barjou et Delphine Barrais
U.E. Algorithmique
- Algorithmique de Graphes
- Graphes et Hypergraphes ; Claude Berge, DUNOD ed (non disponible à la BU, mais les ouvrages plus récents
Graphes
et Hypergraphes : combinatoire des ensembles finis
du même auteur y sont)
- Graphes et algorithmes ; Michel Gondran et Michel Minoux. (à la BU)
- Polycopié (L. Létocart)
- Programmation Linéaire
- Linear Programming ; V. Chvatal, W.H.Freeman & Co Ltd ed (à la BU)
- Programmation linéaire ; J. Teghem, editions de l'université de Bruxelles
- Programmation Fonctionnelle
U.E. Outils
- Génie Logiciel Avancé
- C++
- C++ Primer Stanlet Lippman Ed Addison and Wesley (traduction française
L'essentiel du C++
disponible à la BU)
- Programmation en C++ Jean Paul Bodeveix Intereditions
- Polycopiés (J. Bourrely)
- Programmation Logique
- J.-M. Alliot, T. Schiex, P. Brisset, F. Garcia, Intelligence Artificielle et Informatique Théorique, 2ème ed., 2002
- P. Flach, Simply Logical: Intelligent Reasoning by Example, John Wiley 1994
- M. R. Genesereth et N. J. Nilsson, Logical Foundations of Artificial Intelligence, Morgan Kaufmann, 1987
- L. Sterling et E. Shapiro, The Art of Prolog: Advanced Programming Techniques, 2nd ed, 1994
- Web Sémantique et IA
- Projet
U.E. Fondamentaux
- Optimisation Combinatoire
- Réseaux I
- Réseaux locaux et Internet de Laurent Toutain, éditions Hermes (il faut prendre la dernière version > 3). (3ème édition disponible à la BU)
- Les réseaux. Pujolle. 5ème édition. Eyrolles. 2005. (il faut prendre la dernière version > 5) (6ème édition disponible à la BU)
- Réseaux, cours et exercices. Andrew Tanenbaum. DUNOD Prentice Hall. 3ème édition. 1999. ISBN 2 10 004315 3 (à la BU)
- Bases de Données Avancées
- Ingénierie des Connaissances
- Modélisation cognitive et résolution de problèmes Guy Caplat Presses Polytechniques et Universitaires Romanes 2002 Ontology (à la BU)
- La représentation des connaissances D. Kayser ed. Hermès (à la BU)
- The Description Logic Handbook Theory, Implementation, and Applications 2nd Edition
- Ontological engineering with examples from the areas of Knowledge Management, e-Commerce and the Semantic Web
- Administration Système
- UNIX (utilisation, administration, réseau) Christian Pellisier. Hermès Lavoisier
- Documentation SUN,
Howto
Linux, etc.
- Interface Graphique
- K. Arnold & J. Gosling, Le langage Java, The java series, Addison Wesley, traduction française de
The java programming Language
, publiée chez International Thomson Publishing, France. (à la BU)
- I. Horton, Maîtrisez Java 2, traduction de Beginning Java 2 - JDK 1.3 Edition, Wrox Press, chez Wrox, Campus Press. (à la BU)
- Polycopiés (C. Recanati : JavaSurvey1.pdf, JavaFurther2.pdf, JavaSwing3.pdf, JavaSwing4.pdf, JavaSwing5.pdf, JavaSwing6.pdf et JavaRMI.pdf)
- Tutoriel Swing
INFO3
Tronc commun
- Sécurité et Cryptographie
- Gestion des réseaux informatiques
- "Réseaux locaux et Internet" de Laurent Toutain, éditions Hermes (il faut prendre la dernière version > 3). (à la BU)
- Les réseaux. Pujolle. 5ème édition. Eyrolles. 2005. (il faut prendre la dernière version > 5) (6ème édition disponible à la BU)
- Réseaux - Andrew Tanenbaum - Pearson Education (à la BU)
- Routing in the Internet - Christian Huitema - Paperback Edition
- Théorie des Langages
- Hopcroft, Ullmann - Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 1979. (à la BU)
- Sipser - Introduction to the Theory of Computation, 2nd edition. Course Technology, 2006
- Compilation
- Aho, Lam, Sethi, Ullmann - Compilers: Principles, Techniques, and Tools, 2nd edition. Addison-Wesley, 2007 (disponible à la BU, ainsi que la traduction française
Compilateurs : Principes, techniques et outils
)
- Programmation Web Avancée
- Traitement Informatique des Données
- Algorithmique Parallèle et Distribuée
Option ADO
- Aide à la décision
- Optimisation et Logiciels
- Planification et Contraintes
- Résolution de Problèmes de Grande Taille
- Étude de cas
Option CHMDE
- Hypertextes Adaptatifs
- Traitement des Données Vocales
- L. Rabiner, B.-H. Juang : Fundamentals of Speech Recognition, Prentice Hall PTR, 1993.
- R. Boîte, H. Bourlard, H. Dutoit, J. Hancq, H. Leich : Traitement de la parole, Presse Polytechnique Universitaires romandes, 1999.
- X. Huang, A. Acero, H.-W. Hon : Spoken language Processing, Prentice Hall PTR, 2001.
- Traitement des Données Visuelles
- Traitement Automatique des Langues
- The Oxford Handbook Of Computational Linguistics, Mitkov, R, Oxford University Press, 2003.
- Foundations of Statistical Natural Language Processing, Manning C. Schütze H, MIT Press, 1999.
- Les linguistiques de corpus, Habert H. et al., Masson, 1997 (à la BU)
- Michel Chambreuil (sous la direction de) : Sémantiques. Hermès, 1998 (à la BU)
- Jacques Moeschler et Anne Reboul : Dictionnaire Encyclopédique de Pragmatique Éditions du Seuil, 1994
- Techniques de Manipulation des Documents Textuels
- Recherche d'Information