Consultation par discipline - Équipe Verification de Systèmes Temporisés Critiques 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
Systèmes embarqués 62
Logique en informatique [cs.LO] 39
Génie logiciel [cs.SE] 21
Théorie et langage formel [cs.FL] 13
Robotique [cs.RO] 9
Calcul parallèle, distribué et partagé [cs.DC] 7
Modélisation et simulation 5
Informatique et langage [cs.CL] 4
Algorithme et structure de données [cs.DS] 4
Calcul formel [cs.SC] 3
Automatique 2
Réseaux et télécommunications [cs.NI] 2
Système d'exploitation [cs.OS] 2
Langage de programmation [cs.PL] 2
Architectures Matérielles [cs.AR] 1
Cryptographie et sécurité [cs.CR] 1
Autre [cs.OH] 1
Performance et fiabilité [cs.PF] 1
Web 1