Bibliographies et ressources thématiques

Bibliographies

• Aline BAGGIO's Bibliography on Mobile Computing
• Bibliography on Attribute Grammars
• The Collection of Computer Science Bibliographies
• Complex Systems Links in the WWW
• DBLP Bibliography - Database Systems & Logic Programming
• The HCI Bibliography - Human-Computer Interaction Publications and Resources
• Méthodes numériques probabilistes INRIA Sophia Antipolis, projet OMEGA
• Bibliographie pour le domaine du test de logiciel projet LANDE, IRISA/INRIA Rennes
• The Computer Vision Home Page
• UML, the Unified Modeling Language

Pages de ressources thématiques

1 - Réseaux et systèmes

• Systèmes d'exploitation
  
  • SOR (projet INRIA)

2 - Génie logiciel et calcul symbolique

• Algorithmes
  • ALGO (projet INRIA)
    
  • Encyclopedia of Combinatorial Structures

• Cryptographie, Calcul formel
  • CODES (projet INRIA)

• Langages de programmation
  • Liste des langages de programmation (en anglais)
  • Ada France, ressources sur Ada
  • The Caml language
  • The Caml Light system, documentation and user's guide
  • Javacorner

3 - Interaction homme-machine, images, données, connaissances

• Hypermédia, Knowledge Management, Data Mining
  • AID (projet INRIA)