m

Documents  Cousineau, Guy | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 208 p.
ISBN 978-3-540-17184-3

Lecture notes in computer science , 0242

Localisation : Collection 1er étage

calcul lambda # informatique théorique # langage # langage de programmation # langage de programmation combinatoire # langage de programmation fonctionnel # logique # programmation # programmation automatique # sémantique # système # technique de programmation

68N05 ; 68N15 ; 68Q40 ; 68R15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 428 p.
ISBN 978-2-84074-114-5

Localisation : Ouvrage RdC (COUS)

analyse syntaxique # application # arithmétique exacte # compilation # dessin # filtrage # fonction d'arbre # graphe # géométrie # implémentation # programmation fonctionnelle # structure de données # sémantique # terme # variable # équilibre d'arbre

68N05 ; 68P05 ; 68Q55 ; 68Q65 ; 68R10

... Lire [+]

Z