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 results

Filter
Select: All / None
Q
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 413 p.
Call n° : 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
Location : Collection 1er étage

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 440 p.
Call n° : 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

Location : Collection 1er étage

Bookmarks Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 367p.
Call n° : 00030115
informatique # logique de programmation par contrainte # programmation automatique # calcul symbolique

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

Location : Collection 1er étage

Bookmarks Report an error

Filter

Authors
MSC Codes
Language