Consultation par discipline - Modélisation et Vérification des Systèmes embarqués 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
Autre [cs.OH] 37
Bio-informatique [q-bio.QM] 15
Logique en informatique [cs.LO] 10
Modélisation et simulation 5
Théorie et langage formel [cs.FL] 4
Génie logiciel [cs.SE] 4
Réseaux et télécommunications [cs.NI] 2
Calcul formel [cs.SC] 2
Complexité [cs.CC] 1
Informatique et langage [cs.CL] 1
Vision par ordinateur et reconnaissance de formes [cs.CV] 1
Base de données [cs.DB] 1
Algorithme et structure de données [cs.DS] 1
Systèmes embarqués 1
Informatique et théorie des jeux [cs.GT] 1
Ingénierie assistée par ordinateur 1
Recherche d'information [cs.IR] 1
Système multi-agents [cs.MA] 1
Langage de programmation [cs.PL] 1
Recherche opérationnelle [math.OC] 1
Web 1