En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Jouannaud, Jean-Pierre 3 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 413 p.
Cote : 00013407
algorithme distribué # analyse des algorithmes # architecture # langage de programmation # machine virtuel # parallélisme # programmation # prolog # récursivité des langages de programmation # spécification # technique de programmation
Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 440 p.
Cote : 00013420
algèbre de l'informatique # intelligence artificielle # programmation automatique # réecriture de système # système de réecriture # théorie de l'informatique

68Q42

Localisation : Collection 1er étage

Sélection Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 367p.
Cote : 00030115
informatique # logique de programmation par contrainte # programmation automatique # calcul symbolique

00B25 ; 68-06 ; 68N17 ; 68W30

Localisation : Collection 1er étage

Sélection Signaler une erreur

Filtrer

Auteurs
Codes MSC
Langue