Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 157p.
Cote : 00041806
analyse numérique
68M17
Localisation : Ouvrage RdC (GARD)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 114 p.
Cote : 00013911
logique # programmation logique # programmation parallèle # spécification de programme # vérification de programme
68M17 ; 68Q10
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 32 p.
Cote : 00015729
contrainte redondante # logique avec contrainte # programmation logique # programmation par contrainte # resclution de contrainte linéaire # élimination de variables
41A29 ; 68M17
Localisation : Ouvrage RdC (IMBE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 164 p.
Cote : 00015730
contrainte redondante # logique avec contrainte # programmation logique # programmation par contrainte # resclution de contrainte linéaire # élimination de variables
41A29 ; 68M17
Localisation : Ouvrage RdC (IMBE)
English