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
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
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