Consultation par discipline - Laboratoire Preuves, Programmes et Systèmes Accéder directement au contenu

Informatique [cs]

Diagramme circulaire représentant la répartition des différents domaines des dépôts et permettant la navigation entre ces domaines (une liste alternative est disponible grâce au bouton suivant).

Disciplines Documents Action
Langage de programmation [cs.PL] 134
Logique en informatique [cs.LO] 122
Calcul parallèle, distribué et partagé [cs.DC] 23
Théorie et langage formel [cs.FL] 12
Génie logiciel [cs.SE] 11
Bio-informatique [q-bio.QM] 9
Informatique mobile 9
Multimédia [cs.MM] 5
Cryptographie et sécurité [cs.CR] 4
Algorithme et structure de données [cs.DS] 4
Système multi-agents [cs.MA] 4
Réseaux et télécommunications [cs.NI] 3
Web 3
Base de données [cs.DB] 2
Logiciel mathématique [cs.MS] 2
Biotechnologie 1
Complexité [cs.CC] 1
Ingénierie, finance et science [cs.CE] 1
Informatique et langage [cs.CL] 1
Mathématique discrète [cs.DM] 1
Technologies Émergeantes [cs.ET] 1
Littérature générale [cs.GL] 1
Informatique et théorie des jeux [cs.GT] 1
Interface homme-machine [cs.HC] 1
Informatique ubiquitaire 1
Apprentissage [cs.LG] 1
Modélisation et simulation 1
Autre [cs.OH] 1
Système d'exploitation [cs.OS] 1
Performance et fiabilité [cs.PF] 1