Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 427 p.
Cote : 00015258
gestion de base de données # informatique théorique # intelligence artificielle # langage de programmation # logique de l'informatique # logique stable # manipulation algébrique # mathématique de calcul # mathématique discrète # problème de Church # réseau de Petri # système de réécriture de terme
68-06 ; 68P15 ; 68Q42 ; 68Rxx ; 68Txx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 351 p.
Cote : 00017369
analyse de flux de données basée sur grammaire pour arrêter # arbre et algèbre en programmation # automate non déterministe # chemin coloré # grammaire de graphe # lambda-mu-calcul # langage d'arbre libre de contexte de sommet # ordonner des contraintes sur des arbres # programme de logique de contraintes # réseau de Pétri # schéma de programmes récursif du premier ordre # système de réécriture des termes à partage de constructeur # transducteur d'arbres
[-] analyse de flux de données basée sur grammaire pour arrêter # arbre et algèbre en programmation # automate non déterministe # chemin coloré # grammaire de graphe # lambda-mu-calcul # langage d'arbre libre de contexte de sommet # ordonner des contraintes sur des arbres # programme de logique de contraintes # réseau de Pétri # schéma de programmes récursif du premier ordre # système de réécriture des termes à partage de constructeur # tr...
[+] 68P05 ; 68Q10 ; 68Qxx ; 68R10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 782 p.
Cote : 00021722
algorithme # algorithme de communication # algorithme des graphes # automate asynchrone # automate cellulaire # chiffrement des données # complexité aléatoire # complexité du calcul informatique # concordance avec un modèle # concurence # configuration machine # connectivité # encryptage des donnés # graphe # géométrie de l'informatique # informatique graphique # informatique théorique # langage et programmation d'automate # langage formel # logique # mathématique discrète # réseau d'interconnection # réécriture des systèmes # structure des données # sémantique # technique de programmation # vérification de programme
[-] algorithme # algorithme de communication # algorithme des graphes # automate asynchrone # automate cellulaire # chiffrement des données # complexité aléatoire # complexité du calcul informatique # concordance avec un modèle # concurence # configuration machine # connectivité # encryptage des donnés # graphe # géométrie de l'informatique # informatique graphique # informatique théorique # langage et programmation d'automate # langage formel # ...
[+] 68P05 ; 68Pxx ; 68Q25 ; 68Q68 ; 68Q80
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 193 p.
Cote : 00005160
application canonique # minimalité # nombre de Chern # résolution des coupes # singularité # surface algébrique # surface modulaire d'Hilbert # variété modulaire d'Hilbert
10D21 ; F
Localisation : Salle de manutention
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 483 p.
Cote : 00013965
analyse numérique # combinatoire # environnement de la programmation # informatique théorique # mathématique discrète # théorie des graphes
68N05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 762 p.
Cote : 00014021
algorithme # automate # complexité # langage des automates # langage forme # programmation fonctionnelle # programmation # programmation logique
68Q68
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 426 p.
Cote : 00014027
algorithme # algorithmique # architecture parallèle # combinatoire # complexe # géométrie algébrique # géométrie de l'informatique # informatique théorique # langage formel # sémantique
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 548 p.
Cote : 00014055
algorithme # calcul parallèle # complexité # démonstration # informatique théorique # logique # sémantique # syntaxe
68N15 ; 68Pxx ; 68Q25 ; 68Q50 ; 68Qxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 245 p.
Cote : 00015500
chiffrement des données # classe de complexité # communication # complexité d'un problème # corps finis # cryptographie # cryptosystème à clé publique # information # informatique # informatique théorique # standard de chiffrement des données # théorie algébrique du codage # théorie des données
68-XX ; 68P25 ; 68Pxx ; 94A60 ; 94Axx
Localisation : Ouvrage RdC (SALO)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 376 p.
Cote : 00016070
automate # automatisation # contrôle # image # informatique # ingineering # intelligence artificielle # logiciel # logique symbolique # programmation # reconnaissance # robotique # science cognitive # sciences de l'ingénieur # signal # software # système cognitif # théorie du signal # vision
68D99 ; 68Q40 ; 68Q68 ; 68Txx ; 94A12
Localisation : Collection 1er étage
English