Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 232 p.
Cote : 00010510
68-06 ; 68B10 ; 68B20
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 305 p.
Cote : 00011511
algorithme # architecture et réseau # circuit intégré # classe de complexité # gestion des systèmes informatiques # grammaire # implementation # logique mathématiques # structure des données # système de réecriture
68Mxx ; 68Q05 ; 68Q30 ; 68Q50 ; 68Qxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 181 p.
Cote : 00013876
informatique graphique # intelligence artificielle # programmation dynamique # structure de données
68P05 ; 68Pxx ; 68Q65 ; 68Q99 ; 90C39
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 256 p.
Cote : 00014316
algorithme # langage formel # logique mathématique # structure de donnée # théorème de la preuve
68P05 ; 68Q45 ; 68Q50 ; 68Q55
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 521 p.
Cote : 00015254
algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de programmation
[-]
algorithme non numérique # analyse d'algorithmes # analyse numérique # calcul par dispossitif abstrait # complexité # fondement mathématique de l'informatique # grammaire # informatique théorique # ingénieurie de logiciel # langage de programmation # langage formel # logique des programmes # logique mathématique # mathématique discrète # signification des programmes # structure des données # système de réécriture # sémantique des langages de ...
[+]
68-06 ; 68-50 ; 68Nxx ; 68Qxx ; 68Rxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 719 p.
Cote : 00015257
algorithme de graphes # algorithme géométrique # analyse d'algorithme # automate fini # calcul parallèle # calcul symbolique # complexité de Kolmogorov # développement de programme # grammaire de graphes # langage # langage formel # logique # modèle # programmation # spécification de temps # sémantique concurrence # équivalence de processus
68Q10 ; 68Q25 ; 68Q30 ; 68Q50 ; 68R10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 634 p.
Cote : 00037190
algorithme # arbre # liste linéaire # programmation # théorie des nombres élémentaires
11B39 ; 11B68 ; 68N05 ; 68P05
Localisation : Ouvrage RdC (KNUT)
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
- 683 p.
Cote : 00018579
algorithme # apprentissage # automate # calculabilité # codage # complexité de calcul # concurrence # fondement de la programmation # langage formel # protocole de communication # robotique # sémantique
68-06 ; 68Nxx ; 68Qxx ; 68Txx ; 94Axx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 219 p.
Cote : 00020973
calcul # gestion de système d'information # gestion des fichiers # informatique # modélisation # méthodologie # simulation # structure des données # système d'information # traitement des donées
68P05 ; 68Pxx ; 68Qxx ; 68U20 ; 68Uxx
Localisation : Collection 1er étage