Bibliographies and thematic resources

 

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

Thematic resources

1 - Networks and systems

• Operating systems
  
  • SOR (INRIA's project )

2 - Software Engineering and Symbolic Computing

• Algorithms
  • ALGO (INRIA's project)
    
  • Encyclopedia of Combinatorial Structures

• Cryptography,
  • CODES (INRIA's project)

• Computing languages
  • Liste des langages de programmation
  • Ada France, ressources sur Ada
  • The Caml language
  • The Caml Light system, documentation and user's guide
  • Javacorner

3 - Human-Computer Interaction, Image Processing, Data Management, Knowledge Systems

• Hypermedia, Knowledge Management, Data Mining
  • AID (INRIA's project)